Validation of Visual Contracts for Services

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

Abstract

Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks such as the difficulty in representing the effects of services (or actions). We have developed a Visual Contract notation that describes, within one diagram, a service and its effects. This paper presents the semantics of this notation and the verification and validation capability provided by the mapping between our notation and the Alloy lightweight specification language. This validation and verification capability of the Visual Contracts contributes to business/IT alignment.

References

  1. De la Cruz, J. D., Lê, L.-S., Wegmann, A.: VISUAL CONTRACTS: A way to reason about states and cardinalities in IT system specifications. In: Proc. 8th International Conference on Enterprise Information Systems - ICEIS 2006 (2006) Accepted for publication
  2. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11 (2002) 256-290
  3. Wegmann, A., Balabko, P., Le, L.-S., Regev, G., Rychkova, I.: A Method and Tool for Business-IT Alignment in Enterprise Architecture. In: Proc. CAiSE'05 (2005)
  4. OMG. (2004) Unified Modeling Language: Superstructure 2.0 Final adopted specification, ptc/03-08-02.[Online]. Available: http://www.omg.org/docs/ptc/03-08-02.pdf
  5. Dori, D.: Why significant UML change is unlikely. Communications of the ACM (CACM) 45 (2002) 82-85
  6. Argawal, R., Sinha, A. P.: Object-oriented modeling with UML: a study of developers' perceptions. Communications of the ACM (CACM) 46 (2003) 248-256
  7. Rumbaugh, J. R., Blaha, M. R., Lorensen, W., Eddy, F., Premerlani, W.: Object-Oriented Modeling and Design. Prentice Hall (1991)
  8. Meyer, B.: Applying "Design by Contract". IEEE Computer 25 (1992) 40-51
  9. Helm, R., Holland, I. M., Gangopadhyay, D.: Contracts: Specifying Behavioural Compositions in Object-Oriented Systems. In: Proc. OOPSLA/ECOOP 1990 (1990) pp. 169-180
  10. Wirfs-Brock, R., Wilkerson, B., Wiener, L.: Designing Object-Oriented Software. 1 edn. Prentice Hall, Englewood Cliffs (1990)
  11. D'Souza, D. F., Cameron Wills, A.: Objects, components, and frameworks with UML: The Catalysis approach. 1 edn. Addison Wesley Longman, inc. (1998)
  12. Lohmann, M., Sauer, S., Engels, G.: Executable Visual Contracts. In: Proc. IEEE VL/HCC'05 (2005)
  13. De la Cruz, J. D., Wegmann, A., Regev, G. Expressing Systemic Contexts in Visual Models of System Specifications. CEUR Workshop Proceedings [Online]. Available: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol144/04_deLaCruz.pdf
  14. (WfMC), W. M. C. (2005) WfMC Documents and Interfaces.[Online]. Available: http://www.wfmc.org/standards/standards.htm
  15. OMG. (2005) Business Process Modeling Notation (BPMN) Information.[Online]. Available: http://www.bpmn.org/
  16. Le, L. S., Wegmann, A.: Definition of an Object-Oriented Modeling Language for Enterprise Architecture. In: Proc. Hawaii International Conference on System Sciences (HICSS'05) (2005) 222-231
Download


Paper Citation


in Harvard Style

D. de la Cruz J., Lê L. and Wegmann A. (2006). Validation of Visual Contracts for Services . In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 147-156. DOI: 10.5220/0002502501470156


in Bibtex Style

@conference{msvveis06,
author={José D. de la Cruz and Lam-Son Lê and Alain Wegmann},
title={Validation of Visual Contracts for Services},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={147-156},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002502501470156},
isbn={978-972-8865-49-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - Validation of Visual Contracts for Services
SN - 978-972-8865-49-8
AU - D. de la Cruz J.
AU - Lê L.
AU - Wegmann A.
PY - 2006
SP - 147
EP - 156
DO - 10.5220/0002502501470156