Abstract
The evolution of today’s markets and the high volatility of business requirements put an increasing emphasis on the flexibility of systems, i.e. on the ability for systems to accommodate the changes required by new or different organisational needs with a minimum impact on the implemented services. In this paper, we put forward an extension of UML with a semantic primitive — contract — for representing explicitly the rules that determine the way object interaction needs to be coordinated to satisfy business requirements, as well as the mechanisms that make it possible to reflect changes of the business requirements without having to modify the basic objects that compose the system. Contracts are proposed as extended forms of association classes whose semantics rely on principles that have been used in Software Architectures and Distributed System Design for supporting dynamic reconfiguration.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G.A. Agha, ACTORS: A model of Concurrent Computation in Distributed Systems, MIT Press 1986.
K. Chandy and J. Misra, Parallel Program Design-A Foundation, Addison-Wesley 1988.
J.L. Fiadeiro and T. Maibaum, “Categorical Semantics of Parallel Program Design”, Science of Computer Programming 28, 1997, 111–138.
J.L. Fiadeiro and A. Lopes, “Semantics of Architectural Connectors”, in TAPSOFT’97, LNCS 1214, Springer-Verlag 1997, 505–519.
N. Francez and I. Forman, Interacting Processes, Addison-Wesley 1996.
E. Gamma, R. Helm, R. Johnson and J. Vlissides, Design Patterns: Elements of Reusable Object Oriented Software, Addison-Wesley 1995.
J. Goguen, “Categorical Foundations for General Systems Theory”, in F. Pichler and R. Trappl (eds) Advances in Cybernetics and Systems Research, Transcripta Books 1973, 121–130.
S. Katz, “A Superimposition Control Construct for Distributed Systems”, ACM TOPLAS 15(2), 1993, 337–356.
H. Kilov and J. Ross, Information Modeling: an Object-oriented Approach, Prentice-Hall 1994.
A. Lopes and J.L. Fiadeiro, “Using Explicit State to Describe Architectures”, in Proc. International Conference on Fundamental Aspects of Software Engineering (FASE’99), J-P. Finance (ed), LNCS 1577, Springer-Verlag 1999, 144–160.
J. Magee and J. Kramer, “Dynamic Structure in Software Architecures”, in 4th Symp. on Foundations of Software Engineering, ACM Press 1996, 3–14.
B. Meyer, “Applying Design by Contract”, IEEE Computer, Oct.1992, 40–51.
N. Minsky and D. Rozenshtein, “A Law-based Approach to Object-oriented Programming”, in Proc. OOPSLA’87, ACM Sigplan Notices 22(12), 1987, 482–493.
N. Minsky, “Law-governed Regularities in Object Systems; Part1: an Abstract Model”, in TAPOS II(4), 1996.
M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall 1996.
M. Wermelinger and J.L. Fiadeiro, “Towards an Algebra of Architectural Connectors: a Case Study on Synchronisation for Mobility”, in Proc. 9th International Workshop on Software Specification and Design, IEEE Computer Society Press 1998, 135–142.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andrade, L.F., Fiadeiro, J.L. (1999). Interconnecting Objects via Contracts. In: France, R., Rumpe, B. (eds) «UML»’99 — The Unified Modeling Language. UML 1999. Lecture Notes in Computer Science, vol 1723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46852-8_40
Download citation
DOI: https://doi.org/10.1007/3-540-46852-8_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66712-4
Online ISBN: 978-3-540-46852-3
eBook Packages: Springer Book Archive