Abstract
Coordination contracts [1][2] are a modelling primitive, based on methodological and mathematical principles [8],[3], that facilitates the evolution of software systems. The use of coordination contracts encourages the separation of computation from coordination aspects, and the analysis of which are the “stable” and “unstable” entities of the system regarding evolution. Coordination contracts encapsulate the coordination aspects, i.e., the way components interact, and as such may capture the business rules [7] or the protocols [6] that govern interactions within the application and between the application and its environment.
Chapter PDF
Similar content being viewed by others
References
L. Andrade and J. L. Fiadeiro. Interconnecting objects via contracts. In UML’99-Beyond the Standard, LNCS 1723, pp. 566–583. Springer-Verlag, 1999.
L. Andrade and J. L. Fiadeiro. Coordination technologies for managing information system evolution. In Proc. CAiSE’01, LNCS 2068, pp. 374–387. Springer-Verlag, 2001.
L. Andrade and J. L. Fiadeiro. Coordination: the evolutionary dimension. In Proc. TOOLS 38, pp. 136–147. IEEE Computer Society Press, 2001.
L. Andrade, J. L. Fiadeiro, and M. Wermelinger. Enforcing business policies through automated reconfiguration. In Proc. of the 16th IEEE Intl. Conf. on Automated Software Engineering, pp. 426–429. IEEE Computer Society Press, 2001.
J. Gouveia, G. Koutsoukos, L. Andrade, and J. L. Fiadeiro. Tool support for coordination-based software evolution. In Proc. TOOLS 38, pp. 184–196. IEEE Computer Society Press, 2001.
G. Koutsoukos, J. Gouveia, L. Andrade, and J. L. Fiadeiro. Managing evolution in telecommunication systems. In New Developments in Distributed Applications and Interoperable Systems, pp. 133–139. Kluwer, 2001.
G. Koutsoukos, T. Kotridis, L. Andrade, J. L. Fiadeiro, J. Gouveia, and M. Wermelinger. Coordination technologies for business strategy support: a case study in stock trading. In Proc. of the ECOOP Workshop on Object Oriented Business Solutions, pp. 41–52, 2001. Invited paper.
A. Lopes and J. L. Fiadeiro. Using explicit state to describe architectures. In Proc. of Fundamental Approaches to Software Engineering, LNCS 1577, pp. 144–160. Springer-Verlag, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gouveia, J., Koutsoukos, G., Wermelinger, M., Andrade, L., Fiadeiro, J.L. (2002). The Coordination Development Environment. In: Kutsche, RD., Weber, H. (eds) Fundamental Approaches to Software Engineering. FASE 2002. Lecture Notes in Computer Science, vol 2306. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45923-5_22
Download citation
DOI: https://doi.org/10.1007/3-540-45923-5_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43353-8
Online ISBN: 978-3-540-45923-1
eBook Packages: Springer Book Archive