Abstract
Coordination contracts are a software analysis and design construct which enable separation between the stable components of a system and the rules which define the interactions of these components. This separation supports rapid evolution of rules without requiring modification to components. In this paper we show that contracts can be defined in UML, and we define an MDA-based development process which makes use of contracts.
Similar content being viewed by others
References
Androutsopoulos, K.: The RSDS Tool. Department of Computer Science, King’s College (2001) http://www. dcs.kcl.ac.uk/ pg/kelly/
ATX Software, CDE Documentation. http://www.atxsoftware.com/ agility.html
Andrade, L.F., Fiadeiro, J.L.: Interconnecting objects via contracts. In: France, R., Rumpe, B. (eds.) UML’99 – Beyond the Standard, no. 1723 in LNCS, pp. 566–583. Springer-Verlag (1999)
Back, R., Kurki-Suonio, R.: Distributed cooperation with action systems. ACM TOPLAS 10(4), 513–554 (1988)
Berard, B. et al.: Systems and Software Verification: Model-Checking Techniques and Tools. Springer-Verlag (1999).
Katz, S: A superimposition control construct for distributed systems. ACM TOPLAS 15(2), 337–356 (1993)
Lano, K., Clark, D., Androutsopoulos, K., Kan, P.: Invariant-based synthesis of fault-tolerant systems. FTRTFT (2000)
Lano, K., Fiadeiro, J.L., Andrade, L.F.: Advanced System Design in Java. Palgrave-MacMillen (2002)
Lano, K., Clark, D., Androutsopoulos, K.: UML To B: Formal Verification of Object-oriented Models, IFM ‘04. Springer-Verlag LNCS (2004)
Meyer, B.: Applying design by contract. IEEE Computer, pp. 40–51 (1992)
The Model-Driven Architecture. http://www.omg.org/mda
The object constraint language version 2.0. http://www.omg.org/
Snoeck, M., Dedene, G., Verhels, M., Depuydt, A.-M.: Object-oriented Enterprise Modelling with MERODE. Leuvense Universitaire Press (1999)
Wermelinger, M., Koutsoukos, G., Avillez, R., Gouveia, J., Andrade, L.F., Fiadeiro, J.L.: Using Coordination Contracts for Flexible Adaptation to Changing Business Rules. IWPSE 2003 pp. 115–120. IEEE Computer Society Press (2003)
Wermelinger, M., Koutsoukos, G., Loureno, H., Avillez, R., Gouveia, J., Andrade, L., Fiadeiro, J.L.: Enhancing dependability through flexible adaptation to changing requirements. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds), Architecting Dependable Systems II. Vol. 3069. Lecture Notes in Computer Science, pp. 3–24. Springer (2004)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jos Warmer
Rights and permissions
About this article
Cite this article
Lano, K., Fiadeiro, J.L. Extending UML with coordination contracts. Softw Syst Model 5, 110–120 (2006). https://doi.org/10.1007/s10270-005-0095-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-005-0095-0