|
'Loosely-coupled' consistency between agent-oriented conceptual models and Z specifications |
Krishna, Aneesh; Ghose, Aditya K.; Vilkomir, Sergiy A.
|
|
|
|
Agent-oriented conceptual modelling (AOCM) is a relatively new technique that offers significant benefits in the modelling and development of complex computer systems.
It is highly effective in answering questions such that what are the main goals of the system, how key actors depend on each other, and what alternatives exist. A formal method can benefit any stage of the software development lifecycle
and improves the quality of the computer systems. The paper defines an approach that allows to complement requirements modelling notations with formal specifications, while preserving the consistency between them.
|
|
Keyword(s):
|
agent-oriented conceptual modelling |
Publication Date:
|
2005 |
|
Type:
|
Conference item |
|
Peer-Reviewed:
|
No |
|
Language(s):
|
English |
|
Institution:
|
University of Limerick |
|
Funder(s):
|
Science Foundation Ireland |
|
Citation(s):
|
Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE '05); |
|
First Indexed:
2009-12-08 02:53:56 Last Updated:
2015-12-18 05:29:35 |
