Thumbnail Image
Publication

'Loosely-coupled' consistency between agent-oriented conceptual models and Z specifications

Date
2005
Abstract
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.
Supervisor
Description
non-peer-reviewed
Publisher
Citation
Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE '05);
Collections
SQRL - Software Quality Research Laboratory
Show all metadata
Files
Thumbnail Image
09SQRL1027.pdf
Adobe PDF, 595.5 KB
Keywords
agent-oriented conceptual modelling
ULRR Identifiers
https://researchrepository.ul.ie/handle/10344/155
 https://doi.org/10.34961/9060
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/
License