FORMAL SPECIFICATION USING AGENTS CONCEPTUALIZATION

This paper tries to bridge the gap from agent conceptualization to formal specification in the field of requirement engineering. The IAM (Intentionnal Agent Method) approach aims to integrate the agent ontology with Time Petri Nets (TPN) in the development process helps in the construction of efficient and safe large software system. TPNs deals formally with concurrency. Mathematically, it allows formal verification of safety (what a program is allowed to do), liveness (what a program must do) or quantitative properties (performance, response time, message delivering,...).

[1]  John Mylopoulos,et al.  Understanding "why" in software process modelling, analysis, and design , 1994, Proceedings of 16th International Conference on Software Engineering.

[2]  Leslie Lamport,et al.  Basic Concepts , 1981, Advanced Course: Distributed Systems.

[3]  R. Lathe.  Phd by thesis , 1988, Nature.

[4]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[5]  Serge Haddad,et al.  Regular stochastic Petri nets , 1989, Applications and Theory of Petri Nets.

[6]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[7]  M. Coriat,et al.  Stepwise development of correct agents: a behavioural approach based on colored Petri nets , 1993, Proceedings of Canadian Conference on Electrical and Computer Engineering.

[8]  Carl Hewitt,et al.  The Scientific Community Metaphor , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[9]  Serge Haddad,et al.  A reduction theory for coloured nets , 1988, European Workshop on Applications and Theory in Petri Nets.

[10]  Victor R. Lesser,et al.  Functionally Accurate, Cooperative Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[11]  Matthew K. O. Lee,et al.  The B-Method , 1991, VDM Europe.

[12]  Javier Martínez,et al.  Linear invariants in commutative high level nets , 1989, Applications and Theory of Petri Nets.

[13]  Peter Huber,et al.  Reachability Trees for High-level Petri Nets , 1986, Theor. Comput. Sci..