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.<>
Formal specification of software critical systems with agents
1995 IEEE Aerospace Applications Conference. Proceedings ; 2 ; 317-336 vol.2
1995-01-01
1695582 byte
Conference paper
Electronic Resource
English
Formal Specification of Software Critical Systems with Agents
British Library Conference Proceedings | 1995
|Formal System Specification and Testing of Critical Real-time Vehicle Control Software
British Library Conference Proceedings | 1994
|Formal specification and verification of Ada software
NTRS | 1991
|Formal specification and verification of Ada software
AIAA | 1991
|