A case study of combining i*framework and the Z notation

ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems

Volumn , Issue , 2004, Pages 192-200

  Krishna, Aneesh ^a   Vilkomir, Sergiy ^a   Ghose, Aditya ^a  

^a UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

Agent Oriented Conceptual Modelling; Framework; I*; Requirements engineering; Z notation

Indexed keywords

ASYNCHRONOUS TRANSFER MODE; COMPUTER SIMULATION; INFORMATION ANALYSIS; MAINTENANCE; MATHEMATICAL MODELS; PHASE DIAGRAMS;

CONCEPTUAL MODELING; NON-FUNCTIONAL REQUIREMENTS (NFR); NOTATION;

FORMAL LANGUAGES;

EID: 8444226368     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Bert, D., Bowen, J. P., King, S., and M. Walden, e. (2003). Formal Specification and Development in Z and B, Third International Conference of B and Z Users (ZB2003), Turku, Finland, June 4-6, 2003, Proceedings. LNCS 2651. Springer.
2. Bowen, J. P. (1996). Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press.
3. Chung, L., Nixon, B. A., Yu, E., and Mylopoulos, J. (2000). Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers.
4. Fuxman, A., Pistore, M., Mylopoulos, J., and Traverso, P. (2001). Model checking early requirements specifications in tropos. In Proceedings of Fifth IEEE International Symposium on Requirements Engineering, 27-31 August 2001, pages 174-181, Toronto, Canada.
5. Heitmeyer, C., Jeffords, R., and Labow, B. (1996). Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, pages 231-261.
6. Mahony, B. and Dong, J. S. (2000). Timed communicating object z. IEEE Transactions on Software Engineering, 26(2):150-177.
7. Spivey, J. M. (1992). The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition.
8. Unni, A., Krishna, A., Ghose, A. K., and Hyland, P. (2003). Practical early phase requirements engineering via agent-oriented conceptual modelling. In To appear in Proceedings of ACIS-2003: The 2003 Australasian Conference on Information Systems, 26-28 November 2003. Perth, Australia.
9. Vilkomir, S., Ghose, A. K., and Krishna, A. (2004). Combining agent-oriented conceptual modeling with formal methods. In Submitted to Australian Software Engineering Conference (ASWEC-2004), 13-16 April 2004. Melbourne, Australia.
10. Wang, X. and Lesprance, Y. (2001). Agent-oriented requirements engineering using congolog and i*. In Proceedings of 3rd International Bi-Conference Workshop Agent-Oriented Information Systems (AOIS-2001), pages 59-78, Berlin, Germany.
11. Yu, E. (1994). Towards modelling strategic actor relationships for information systems development - with examples from business process reengineering. In Proceedings of 4th Workshop on Information Technologies and Systems, 17-18 December 1994, pages 21-28, Vancouver, B.C., Canada.
12. Yu, E. (1995). Modelling strategic relationships for process. reengineering. Technical report, PhD Thesis. Dept. of Computer Science, University of Toronto.
13. Yu, E. (1997). Towards modelling and reasoning support for early-phase requirements engineering. In Proceedings of 3rd IEEE International Symposium on Requirements Engineering, 6-8 January 1997, pages 226-235, Washington D.C., USA.
14. Yu, E. (2001). Agent orientation as a modelling paradigm. Wirtschaftsinformatik, 43(2):123-132.
15. Yu, E. and Mylopoulos, J. (1994). Understanding why in software process modelling, analysis, and design. In Proceedings of 16th International Conference on Software Engineering, 16-21 May 1994, pages 159-168, Sorrento, Italy.