This paper presents a method called I/sup 2/AM (interaction and intention-based agent method), which is an attempt to bridge the gap between system analysis and its formal specification. The method integrates the agent ontology and timed Petri net, an extension of the colored Petri net. The agent ontology allows expressive elicitation and representation of knowledge. An agent is an entity considered to be subject of interactions and intentions. An interaction is a collective action wherein one agent takes an action or a decision influenced by other agents. An intention characterizes some attitudes such as belief, knowledge, desire, commitment, or choice. Modeling such an intentional system provides an abstraction useful in requirement analysis. The I/sup 2/AM method allows one to prove non-functional properties expressed with temporal logic on such multi-agent systems.<>


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal specification of software critical systems with agents


    Contributors:
    Coriat, M. (author)


    Publication date :

    1995-01-01


    Size :

    1695582 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Formal Specification of Software Critical Systems with Agents

    Coriat, M. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1995


    Formal System Specification and Testing of Critical Real-time Vehicle Control Software

    Michael, J. B. / Segal, A. C. | British Library Conference Proceedings | 1994