Components, contracts, and connectors for the unified modelling language UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2021 LNCS, Issue , 2001, Pages 259-277

  Pahl, Claus ^a  

^a DUBLIN CITY UNIVERSITY   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; MODELING LANGUAGES; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE;

COMPONENT CONCEPT; FLEXIBLE COMPONENTS; FLEXIBLE CONTRACTS; KEY ELEMENTS; SERVICE PROVIDER; PRE- AND POSTCONDITION;

FORMAL METHODS;

EID: 24944469377     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45251-6_15     Document Type: Conference Paper

References (32)

1. Bertrand Meyer. Applying Design by Contract. Computer, pages 40-51, October 1992.
2. G.T. Leavens and A.L. Baker. Enhancing the Preand 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.
3. 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.
4. E.K. Nordhagen. A Computational Framework for Verifying Object Component Substitutability. PhD thesis, University of Oslo, November 1998.
5. G.T. Leavens and M. Sitamaran. Foundations of Component-Based Systems. Cambridge University Press, 2000.
6. precise UML Group. Response to UML 2.0 Request for Information, 1999. http://www.cs.york.ac.uk/puml.
7. 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.
8. L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
9. L. Lamport. Specifying Concurrent Systems with TLA+. In M. Broy and R. Steinbrüggen, editors, Calculational System Design. IOS Press, Amsterdam, 1999.
10. R. Milner, J. Parrow, and D. Walker. A calculus of Mobile Processes, part I. Information and Computation, 100(1):1-40, 1992.
11. R. Milner, J. Parrow, and D. Walker. A calculus of Mobile Processes, part II. Information and Computation, 100(1):41-77, 1992.
12. R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
13. Object Management Group. UML 1.3 Specification, 1999. http://www.omg.org/technology/uml.
14. 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).
15. 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.
16. Object Management Group. Action Semantics for the UML - RFP, 1998. http://www.omg.org/technology/uml.
17. 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.
18. 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.
19. J. Goguen and G. Malcolm. A Hidden Agenda. Theoretical Computer Science, 2000. Special Issue on Algebraic Engineering - to appear.
20. L. Lamport. Refinement in State-based Formalisms. SRC Technical Note 1996-001, Digital Equipment Corporation, Systems Research Center, 1996.
21. R.J.R. Back. A Calculus of Refinements for Program Derivations. Acta Informatica, 25:593-624, 1988.
22. J.M. Morris. Programs from Specifications. In E.D. Dijkstra, editor, Formal Development of Programs and Proofs. Addison-Wesley, 1990.
23. C. Morgan. Programming from Specification 2e. Addison-Wesley, 1994.
24. D. D'Souza and A.C. Wills. Objects, Components and Frameworks in UML: the Catalysis approach. Addison-Wesley, 1998.
25. 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.
26. 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.
27. M. Büchi and E. Sekerinski. Formal Methods for Component Software: The Refinement 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.
28. 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.
29. L.M.G. Feijs. The calculus λπ. In Algebraic Methods: Theory, Tools and Applications, pages 307-328. Springer-Verlag, 1989.
30. L.M.G Feijs and H.B.M Jonkers. Formal Specification and Design. Cambridge University Press, 1992.
31. D. Walker. Objects in the π-Calculus. Information and Computation, 115:253-271, 1995.
32. 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.