Using Alloy in process modelling

Information and Software Technology

Volumn 45, Issue 15, 2003, Pages 1031-1043

  Wallace, Chris ^a  

^a UNIVERSITY OF THE WEST OF ENGLAND   (United Kingdom)

Author keywords

Alloy; Data modelling; Model analysis; OCL; Process modelling; State machine; UML

Indexed keywords

ALLOYS; COMPUTER SIMULATION; DATA STRUCTURES; PROCESS CONTROL; SOCIETIES AND INSTITUTIONS;

STATE MACHINES;

INFORMATION TECHNOLOGY;

EID: 0141895009     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(03)00131-9     Document Type: Conference Paper

References (23)

1. Alexander C. Notes on the Synthesis of Form. 1964;Harvard University Press, Cambridge, MA.
2. A. Andoni, D. Daniliuc, S. Khurshid, D. Marinov, Evaluating the "Small Scope Hypothesis", MIT Laboratory for Computer Science.
3. Bustard D., Kawalek P., Norris M. System Modeling for Business Process Improvement. 2000;Artech House.
4. Campbell B. System dynamics in information systems analysis: an evaluative case study. Bustard D., Kawalek P., Norris M. System Modeling for Business Process Improvement. 2000;33-46 Artech House.
5. Checkland P. Systems Thinking, Systems Practice. 1982;Wiley, London.
6. Cook S., Daniels J. Designing Object Systems: Object-Oriented Modeling with Syntropy. 1994;Prentice-Hall, Englewood Cliffs, NJ.
7. D'Souza D.F., Wills A.C. Objects, Components and Frameworks with UML: The Catalysis Approach. 1998;Addison-Wesley, Reading, MA.
8. Fowler M. Analysis Patterns. 1997;Addison-Wesley, Reading, MA.
9. Fowler M., Scott K. UML Distilled. 1997;Addison-Wesley, Reading, MA.
10. Gogolla M., Richters M. Development of UML descriptions with USE. Shafazand H., Min Tjoa A. Proceedings of the First Eurasian Conference on Information and Communication Technology (EURASIA'2002). 2002;228-238.
11. Jackson D., Shlyakhter I., Sridharan M. A Micromodularity Mechanism. Proceedings of the ACM SIGSOFT Conference on Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC '01), Vienna. 2001;. September.
12. Jackson D. Automating First-Order Relational Logic. Proceedings of the ACM SIGSOFT Conference on Foundations of Software Engineering. 2000;. November.
13. D. Jackson, Personal communication, June 2003.
14. Jackson M.A. Systems Development. 1983;Prentice-Hall, Englewood Cliffs, NJ.
15. Jackson M.A. Problem Frames. 2001;Addison-Wesley, Reading, MA.
16. Kawalek P., Greenwood R.M. The organisation, the process and the model. Bustard D., Kawalek P., Norris M. System Modeling for Business Process Improvement. 2000;61-80 Artech House.
17. Kent S. Constraint Diagrams: Visualising Invariants in Object Oriented Models. In: Proceedings of OOPSLA97. 1997;ACM Press, New York.
18. Ould M.A. Business Processes - Modelling and Analysis for Re-engineering and Improvement. 1995;Wiley, Chichester.
19. Spivey J.M. The Z Notation. 1992;Prentice-Hall, Englewood Cliffs, NJ.
20. Warmer J., Kleppe A. The Object Constraint Language: Precise Modeling with UML. 1998;Addison-Wesley, Reading, MA.
21. http://alloy.mit.edu.
22. http://www.cems.uwe.ac.uk/̃cjwallac/alloy.
23. http://nusmv.irst.itc.it/.