VISUAL CONTRACTS - A Way to Reason About States and Cardinalities in IT System Specifications

José D. De la Cruz, Lam-Son Lê, Alain Wegmann

2006

Abstract

Visual modeling languages propose specialized diagrams to represent behaviour and concepts necessary to specify IT systems. As a result, to understand a specification, the modeller needs to analyze these two types of diagrams and, often, additional statements that make explicit the relationships between them. In this paper, we define a visual contract notation that integrates behaviour and concepts. Thanks to this notation, the modeler can specify, within one diagram, an action and its effects on the specified IT system. The notation semantics is illustrated by a mapping to Alloy, a light weight formal language.

References

  1. De la Cruz, J. D., Wegmann, A., & Regev, G. (2005). Expressing Systemic Contexts in Visual Models of System Specifications. In T. Bui & A. Gachet (Eds.), Proceedings of the Workshop on Context Modeling and Decision Support, CONTEXT05 Workshops (Vol. CEUR 144). Retrieved October 31, 2005, from http://CEUR-WS.org/Vol144/04_deLaCruz.pdf
  2. D'Souza, D. F., & Cameron Wills, A. (1998). Objects, components, and frameworks with UML: The Catalysis approach (1 ed.): Addison Wesley Longman, Inc.
  3. Heckel, R., & Sauer, S. (2001). Strengthening UML Collaboration Diagrams by State Transformations. Paper presented at the FASE 2001, Genova, Italy.
  4. Helm, R., Holland, I. M., & Gangopadhyay, D. (1990). Contracts: Specifying Behavioural Compositions in Object-Oriented Systems. Paper presented at the OOPSLA/ECOOP 1990, Ottawa, Canada.
  5. Hoare, C. A. R. (1969). An Axiomatic Basis for Computer Programming. Communications of the ACM (CACM), 12(10), 576-580.
  6. ISO/IEC, & ITU-T. (1998). Recommendation X.901, X.902, X.903, X.904, "Open Distributed Processing - Reference Model" (Recommendation): ISO and ITUT.
  7. Jackson, D. (2002). Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol., 11(2), 256-290.
  8. Le, L. S., & Wegmann, A. (2005). Definition of an ObjectOriented Modeling Language for Enterprise Architecture. Paper presented at the HICSS'05, Hawaii, USA.
  9. Lohmann, M., Sauer, S., & Engels, G. (2005). Executable Visual Contracts. Paper presented at the IEEE VL/HCC'05, Dallas, Texas, USA.
  10. Meyer, B. (1992, Oct.). Applying "Design by Contract". IEEE Computer, 25, 40-51.
  11. OMG. (2005). Unified Modeling Language (UML), from www.omg.org
  12. Rik Eshuis, R. W. (2001). A Real-Time Execution Semantics for UML Activity Diagrams. Paper presented at the FASE 2001, Genova, Italy.
  13. Schätz, B., Pretschner, A., Huber, F., & Philipps, J. (2002). Model-based development of embedded systems. In J.-M. Bruel & Z. Bellahsene (Eds.), Advances in Object-Oriented Information Systems, OOIS 2002 Workshops (Vol. LNCS 2426, pp. 298- 312). Montpellier, France: Springer.
  14. Stevens, P. (2001). On Use Cases and Their Relationships in the Unified Modelling Language. Paper presented at the FASE 2001, Genova, Italy.
  15. Varró, D., & Pataricza, A. (2003, Aug.). VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Software and Systems Modeling, 2(3), 187-210.
  16. Wegmann, A., Balabko, P., Le, L.-S., Regev, G., & Rychkova, I. (2005). A Method and Tool for BusinessIT Alignment in Enterprise Architecture. Paper presented at the CAiSE'05, Porto, Portugal.
  17. Wirfs-Brock, R., Wilkerson, B., & Wiener, L. (1990). Designing Object-Oriented Software (1 ed.). Englewood Cliffs: Prentice Hall.
Download


Paper Citation


in Harvard Style

D. De la Cruz J., Lê L. and Wegmann A. (2006). VISUAL CONTRACTS - A Way to Reason About States and Cardinalities in IT System Specifications . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 298-303. DOI: 10.5220/0002462402980303


in Bibtex Style

@conference{iceis06,
author={José D. De la Cruz and Lam-Son Lê and Alain Wegmann},
title={VISUAL CONTRACTS - A Way to Reason About States and Cardinalities in IT System Specifications},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={298-303},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002462402980303},
isbn={978-972-8865-43-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - VISUAL CONTRACTS - A Way to Reason About States and Cardinalities in IT System Specifications
SN - 978-972-8865-43-6
AU - D. De la Cruz J.
AU - Lê L.
AU - Wegmann A.
PY - 2006
SP - 298
EP - 303
DO - 10.5220/0002462402980303