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.<>


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal specification of software critical systems with agents


    Beteiligte:
    Coriat, M. (Autor:in)


    Erscheinungsdatum :

    01.01.1995


    Format / Umfang :

    1695582 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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