By Topic

Formal specification of software critical systems with agents

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Coriat, M. ; MASI Lab., Inst. Blaise Pascal, Paris

This paper presents a method called I2AM (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 I2AM method allows one to prove non-functional properties expressed with temporal logic on such multi-agent systems

Published in:

Aerospace Applications Conference, 1995. Proceedings., 1995 IEEE

Date of Conference:

4-11 Feb 1995