Skip to main content
SpringerLink
Log in

Executable visual software modeling—the ZOOM approach

  • Published:
Software Quality Journal Aims and scope Submit manuscript

Abstract

In this paper, we introduce a new executable visual software modeling approach called ZOOM (Z-Based Object Oriented Modeling). ZOOM extends a subset of UML-2 notations by providing UI modeling notations and a formal integration mechanism. ZOOM allows software modeling using both graphical and textual views for its structural, behavioral and UI models. Through a pre-defined event model, ZOOM integrates these models, and provides the runtime execution semantics for both code generation and software animation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13

Similar content being viewed by others

References

  • Agrawal, A., Levendovszky, T., Sprinkle, J., Shi, F., 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.

  • Buschmann, F., Meunier, R., Rohnert, H. Pattern-Oriented Software Architecture. John Wiley and Sons. ISBN 0-471-95869-7.

  • 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.

  • Clarke, E.M., Wing, J.M. 1996. Formal methods: state of the art and future directions. ACM Computing Surveys 28(4):626–643.

    Article  Google Scholar 

  • da Silva, P.P., Paton, N.W. 2003. User interface modeling in UMLi. IEEE SOFTWARE 20(4):62–69.

    Article  Google Scholar 

  • Dupuy, S., Ledru, Y., Chabre-Peccoud, M. 1997. Integrating OMT and Object-Z. In: Proceedings of BCS FACS/EROS ROOM Workshop.

  • 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.

  • 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.

  • Jia, X. 2004. The ZOOM Notation—A Reference Manual, Technical Report, DePaul University.

  • 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.

  • 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.

  • Lopes, C., Hrsh, W. 1995. Separation of Concerns, Technical Report. Computer Science School, Northeastern University, Boston, US.

    Google Scholar 

  • Meyer, B. 1992. Applying ‘design by contract’ 25(10):40–51.

    Google Scholar 

  • Meyer, B. 1997. Object-Oriented Software Construction, 2nd ed. Prentice Hall PTR, Upper Saddle River, NJ.

    MATH  Google Scholar 

  • Object Management Group, UML 2.0 Superstructure Specification.

  • 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.

  • 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.

    Article  Google Scholar 

  • Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall.

    Google Scholar 

  • Spivey, J.M. 1992. The Z Notation: A Reference Manual, 2nd ed.

  • Stephen, M., Marc, B. 2002. Executable UML: A Foundation for Model-Driven Architecture. Addison Wesley, Boston, MA.

    Google Scholar 

  • Warmer, J., Kleppe, A. 1999. The Object Constraint Language. Addison Wesley, Boston, MA.

    Google Scholar 

  • Wordsworth, J.B. 1992. Software Development with Z Addison-Wesley.

  • Woodcock, J., Davies, J. 1996. Using Z Specification, Refinement, and Proof. Prentice Hall Europe.

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, Telecommunications and Information Systems, DePaul University, Chicago, IL, USA

    Xiaoping Jia, Adam Steele, Lizhang Qin, Hongming Liu & Chris Jones

Authors
  1. Xiaoping Jia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Adam Steele
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lizhang Qin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hongming Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Chris Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xiaoping Jia.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jia, X., Steele, A., Qin, L. et al. Executable visual software modeling—the ZOOM approach. Software Qual J 15, 27–51 (2007). https://doi.org/10.1007/s11219-006-9002-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11219-006-9002-3

Keywords

Search

Navigation