Executable visual software modeling-the ZOOM approach

Software Quality Journal

Volumn 15, Issue 1, 2007, Pages 27-51

  Jia, Xiaoping ^a   Steele, Adam ^a   Qin, Lizhang ^a   Liu, Hongming ^a   Jones, Chris ^a  

^a DEPAUL UNIVERSITY   (United States)

Author keywords

Model animation; Model integration; UML; Visual modeling

Indexed keywords

SEMANTICS;

INTEGRATION MECHANISMS; MODEL ANIMATIONS; MODEL INTEGRATION; OBJECT ORIENTED MODEL; RUN-TIME EXECUTION; UML; VISUAL MODEL; VISUAL SOFTWARE MODELS;

ANIMATION;

EID: 33846830053     PISSN: 09639314     EISSN: 15731367     Source Type: Journal    
DOI: 10.1007/s11219-006-9002-3     Document Type: Conference Paper

References (22)

1. Agrawal, A., Levendovszky, T., Sprinkle, J., Shi, E, Karsai, G. 2002. Generative programming via graph transformations in the model-driven architecture, OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, USA.
2. Buschmann, F., Meunier, R., Rohnert, H. Pattern-Oriented Software Architecture. John Wiley and Sons. ISBN 0-471-95869-7.
3. Carlsen, N.V., Christensen, N.J., Tucker, H.A. 1989. An event language for building user interface frameworks. In: Proceedings of the 2nd Annual ACM SIGGRAPH Symposium on User Interface Software and Technology, Williamsburg, Virginia, United States pp. 133-139.
4. Clarke, E.M., Wing, J.M. 1996. Formal methods: state of the art and future directions. ACM Computing Surveys 28(4):626-643.
5. da Silva, P.P., Paton, N.W. 2003. User interface modeling in UMLi. IEEE SOFTWARE 20(4):62-69.
6. Dupuy, S., Ledru, Y., Chabre-Peccoud, M. 1997. Integrating OMT and Object-Z. In: Proceedings of BCS FACS/EROS ROOM Workshop.
7. France, R.B., Bruel, J.-M., Larrondo-Petrie, M.M., Shroff, M. 1997. Exploring the semantics of UML type structures with Z. In: Proc 2nd IFIP Conference, Formal Methods for Open Object-Based Distributed Systems(FMOODS'97), Chapman and Hall, pp. 247-260.
8. Ho, W.-M., Pennaneac'h, F., Plouzeau, N. 2000. UMLAUT: A framework for weaving UML-based aspect-oriented designs. In: Proceedings of TOOLS 33, St. Malo, France, pp. 324-334.
9. Jia, X. 2004. The ZOOM Notation - A Reference Manual, Technical Report, DePaul University.
10. Jia, X. 1995. An approach to animating Z specifications. In: Proceedings of the 19th Annual IEEE International Computer Software and Applications Conference (COMPSAC'95), Dallas, Texas, USA, pp. 108-113.
11. Kohler, H.J., Nickel, U., Niere, J., Zundorf, A. 2000. Integrating UML diagrams for production control systems. In: Proc 22nd International Conf. on Software Engineering (ICSE2000), Limerick, Ireland, pp. 241-251.
12. Lopes, C., Hrsh, W. 1995. Separation of Concerns, Technical Report. Computer Science School, Northeastern University, Boston, US.
13. Meyer, B. 1992. Applying 'design by contract' 25(10):40-51
14. Meyer, B. 1997. Object-Oriented Software Construction, 2nd ed. Prentice Hall PTR, Upper Saddle River, NJ. Object Management Group, UML 2.0 Superstructure Specification.
15. Object Management Group 2001. Model Driven Architecture (MDA), 9 July 2001 draft, edited by J. Miller and J. Mukerji, available at http://doc.omg.org/ormsc/2001-07-01.
16. Robert, B.F. Ghosh, S. Dinh-Trong, T. Solberg, A. 2006. Model-driven development using uml 2.0: Promises and pitfalls. Computer 39(2):59.
17. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall.
18. Spivey, J.M. 1992. The Z Notation: A Reference Manual, 2nd ed.
19. Stephen, M., Marc, B. 2002. Executable UML: A Foundation for Model-Driven Architecture. Addison Wesley, Boston, MA.
20. Warmer, J., Kleppe, A. 1999. The Object Constraint Language. Addison Wesley, Boston, MA.
21. Wordsworth, J.B. 1992. Software Development with Z Addison-Wesley.
22. Woodcock, J., Davies, J. 1996. Using Z Specification, Refinement, and Proof. Prentice Hall Europe.