Components, Contracts, and Connectors for the Unified Modelling Language UML
- Claus Pahl
- … show all 1 hide
Purchase on Springer.com
$29.95 / €24.95 / £19.95*
* Final gross prices may vary according to local VAT.
The lack of a component concept for the UML is widely acknowledged. Contracts between components can be the starting point for introducing components and component interconnections. Contracts between service providers and service users are formulated based on abstractions of action and operation behaviour using the pre- and postcondition technique. A valid contract allows to establish an interconnection - a connector - between the provider and the user. The contract concept supports the re-use of components by providing means to establish and modify component interconnections. A flexible contract concept shall be based on a refinement relation for operations and classes, derived from operation abstractions. Abstract behaviour, expressed by pre- and postconditions, and refinement are the key elements in the definition of a formal and flexible component and component interconnection approach.
- Bertrand Meyer. Applying Design by Contract. Computer, pages 40–51, October 1992.
- G.T. Leavens and A.L. Baker. Enhancing the Pre-and Postcondition Technique for More Expressive Specifications. In R. France and B. Rumpe, editors, Proceedings 2nd Int. Conference UML’99-The Unified Modeling Language. Springer Verlag, LNCS 1723, 1999.
- W. Weck. Inheritance Using Contracts & Object Composition. In Proceedings 2nd International Workshop on Component-Oriented Programming WCOP’ 97. Turku Center for Computer Science, General Publication No.5-97, Turku University, Finland, 1997.
- E.K. Nordhagen. A Computational Framework for Verifying Object Component Substitutability. PhD thesis, University of Oslo, November 1998.
- G.T. Leavens and M. Sitamaran. Foundations of Component-Based Systems. Cambridge University Press, 2000.
- precise UML Group. Response to UML 2.0 Request for Information, 1999. http://www.cs.york.ac.uk/puml.
- C. Stirling. Modal and Temporal Logics. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, Vol. II, pages 477–563. Oxford University Press, 1992.
- L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, May 1994. CrossRef
- L. Lamport. Specifying Concurrent Systems with TLA+. In M. Broy and R. Steinbrüggen, editors, Calculational System Design. IOS Press, Amsterdam, 1999.
- R. Milner, J. Parrow, and D. Walker. A calculus of Mobile Processes, part I. Information and Computation, 100(1):1–40, 1992. CrossRef
- R. Milner, J. Parrow, and D. Walker. A calculus of Mobile Processes, part II. Information and Computation, 100(1):41–77, 1992. CrossRef
- R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
- Object Management Group. UML 1.3 Speci_cation, 1999. http://www.omg.org/technology/uml.
- C. Pahl. Modal Logics for Reasoning about Object-based Component Composition. In Proc. 4rd Irish Workshop on Formal Methods, July 2000, Maynooth, Ireland. BCS, eWiC series, 2000. (to appear).
- M. Lumpe, F. Achermann, and O. Nierstrasz. A Formal Language for Composition. In G.T. Leavens and M. Sitamaran, editors, Foundations of Component-Based Systems. Cambridge University Press, 2000.
- Object Management Group. Action Semantics for the UML-RFP, 1998. http://www.omg.org/technology/uml.
- C. Pahl. A Model for Dynamic State-based Systems. In A.S. Evans and D.J. Duke, editors, Proc. Northern Formal Methods Workshop, Sept.’96, Bradford, UK. Springer-Verlag, 1997.
- J. Goguen. Hidden Algebra for Software Engineering. In Proceedings Conference on Discrete Mathematics and Theoretical Computer Science, Auckland, New Zealand, pages 35–59. Australian Computer Science Communications, Volume 21, Number 3, 1999.
- J. Goguen and G. Malcolm. A Hidden Agenda. Theoretical Computer Science, 2000. Special Issue on Algebraic Engineering-to appear.
- L. Lamport.Refinement in State-based Formalisms. SRC Technical Note 1996-001, Digital Equipment Corporation, Systems Research Center, 1996.
- R.J.R. Back. A Calculus of Refinements for Program Derivations. Acta Informatica, 25:593–624, 1988. CrossRef
- J.M. Morris. Programs from Specifications. In E.D. Dijkstra, editor, Formal Development of Programs and Proofs. Addison-Wesley, 1990.
- C. Morgan. Programming from Specification 2e. Addison-Wesley, 1994.
- D. D’Souza and A.C. Wills. Objects, Components and Frameworks in UML: the Catalysis approach. Addison-Wesley, 1998.
- L.F. Andrade and J.L. Fiadero. Interconnecting Objects via Contracts. In R. France and B. Rumpe, editors, Proceedings 2nd Int. Conference UML’99-The Unified Modeling Language. Springer Verlag, LNCS 1723, 1999. CrossRef
- R.-J. Back, L. Petre, and I.P. Paltor. Analysing UML Use Cases as Contracts. In R. France and B. Rumpe, editors, Proceedings 2nd Int. Conference UML’99-The Unified Modeling Language. Springer Verlag, LNCS 1723, 1999.
- M. Büchi and E. Sekerinski. Formal Methods for Component Software: The Re-finement Calculus Perspective. In Proceedings 2nd International Workshop on Component-Oriented Programming WCOP’ 97. Turku Center for Computer Science, General Publication No.5-97, Turku University, Finland, 1997.
- C. Atkinson, J. Bayer, O. Laitenberger, and J. Zettel. Component-Based Software Engineering: The KobrA Approach. In Proc. Internal Workshop on Component-Based Software Engineering, Limerick, Ireland. 2000. ICSE (International Conference on Software Engineering) Workshop.
- L.M.G. Feijs. The calculus λπ. In Algebraic Methods: Theory, Tools and Applications, pages 307–328. Springer-Verlag, 1989.
- L.M.G Feijs and H.B.M Jonkers. Formal Specification and Design. Cambridge University Press, 1992.
- D. Walker. Objects in the π-Calculus. Information and Computation, 115:253–271, 1995.
- A. Moormann Zaremski and J.M. Wing. Specification Matching of Software Components. In Gail E. Kaiser, editor, Proc. ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 6–17. ACM Software Engineering Notes 20 (4), October 1995.
- Components, Contracts, and Connectors for the Unified Modelling Language UML
- Book Title
- FME 2001: Formal Methods for Increasing Software Productivity
- Book Subtitle
- International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
- pp 259-277
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Industry Sectors
- eBook Packages
To view the rest of this content please follow the download PDF link above.