• DocumentCode
    3626788
  • Title

    Middle-Agents Interactions as Finite State Processes: Overview and Example

  • Author

    Amelia Badica;Costin Badica;Valentin Litoiu

  • Author_Institution
    Univ. of Craiova, Craiova
  • fYear
    2007
  • fDate
    6/1/2007 12:00:00 AM
  • Firstpage
    12
  • Lastpage
    17
  • Abstract
    We propose the use of finite state process algebra for modeling interactions between requesters, providers and middle-agents in global environments like the Internet. The results are threefold: (i) precise specification of interactions depending on type of middle-agent; (ii) understanding the requirements of parties involved in interactions; (iii) improvement of communication between designers and developers and enable of formal verification.
  • Keywords
    "Algebra","Formal verification","Software tools","Internet","Information analysis","Joining processes","Virtual environment","Electronic learning","Knowledge acquisition","Computer languages"
  • Publisher
    ieee
  • Conference_Titel
    Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on
  • ISSN
    1524-4547
  • Print_ISBN
    0-7695-2879-1;978-0-7695-2879-3
  • Type

    conf

  • DOI
    10.1109/WETICE.2007.4407119
  • Filename
    4407119
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3626788