• DocumentCode
    3629987
  • Title

    Specification and verification of agent interactions in matchmaking processes using FSP and FLTL

  • Author

    Amelia Badica;Costin Badica

  • Author_Institution
    University of Craiova, Business Information Systems Dept., A.I.Cuza 13, 200585, Romania
  • fYear
    2008
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    In this note we show how our framework for formal specification and verification using FSP process algebra and FLTL temporal logic can be practically applied to check properties of agent systems that contain matchmakers.
  • Keywords
    "Algebra","Joining processes","Information systems","Software engineering","Formal specifications","Logic functions","Multiagent systems","Information analysis","Formal verification","Virtual environment"
  • Publisher
    ieee
  • Conference_Titel
    Computer and Information Sciences, 2008. ISCIS ´08. 23rd International Symposium on
  • Print_ISBN
    978-1-4244-2880-9
  • Type

    conf

  • DOI
    10.1109/ISCIS.2008.4717962
  • Filename
    4717962
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3629987