Abstract
Software evolution is a major challenge to software development. When adapting a system model to new, altered or deleted requirements, existing requirements should not unintentionally be violated. One requirement can affect several possibly unassociated elements of a system. A new constraint technique is introduced in this paper: One context-based constraint (CoCon) specifies a requirement for those system (model) elements that belong to the related context. The constrained elements are indirectly selected via their meta-information. Thus, verifying compliance with requirements can be supported automatically when a system’s model is modified, during (re-)configuration and at runtime.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download to read the full chapter text
Chapter PDF
References
Stefan Berner, Martin Glinz, and Stefan Joos. A classification of stereotypes for object-oriented modeling languages. In B. Rumpe and R.B. France, editors, 2nd International Conference on the Unified Modeling Language, Colorado, USA, volume 1723 of LNCS, pages 249–264. Springer, 1999.
Felix Bübl. The context-based component constraint language CCL. Technical report, Technical University Berlin, available at http://www.CoCons.org, 2002.
Felix Bübl and Andreas Leicher. Desiging distributed component-based systems with DCL. In 7 th IEEE Intern. Conference on Engineering of Complex Computer Systems ICECCS, Skövde, Sweden. IEEE Computer Soc. Press, June 2001.
John Cheesman and John Daniels. UML Components. Addison-Wesley, 2000.
Steve Cook, Anneke Kleppe, Richard Mitchell, Jos Warmer, and Alan Wills. Defining the context of OCL expressions. In B. Rumpe and R.B. France, editors, 2nd International Conference on the Unified Modeling Language, Colorado, USA, volume 1723 of LNCS. Springer, 1999.
Bill Curtis, Herb Krasner, and Neil Iscoe. A field study of the software design process for large systems. Comm. ACM, 31(11):1268–1287, 1988.
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Zanker. Contextual diagrams as structuring mechanism for designing configuration knowledge bases in UML. In A. Evans, S. Kent, and B. Selic, editors, 3rd International Conference on the Unified Modeling Language, York, United Kingdom, volume 1939 of LNCS. Springer, 2000.
Robert W. Floyd. Algorithm 97 (shortest path). Communications of the ACM, 5(6):345, 1962.
Tom Mens and Theo D’Hondt. Automating support for software evolution in UML. Automated Software Engineering, 7(1):39–59, 2000.
Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
Thomas P. Moran and John M. Carroll, editors. Design Rationale: Concepts, Techniques, and Use (Computers, Cognition, and Work). Lawrence Erlbaum Associates, Inc., 1996.
Bashar Nuseibeh. Weaving the software development process between requirements and architecture. In Proceedings of ICSE-2001 International Workshop: From Software Requirements to Architectures (STRAW-01) Toronto, Canada, 2001.
Jason E. Robbins and David F. Redmiles. Software architecture critics in the argo design environment. Knowledge-Based Systems. Special issue: The Best of IUI’98, 5(1):47–60, 1998.
Clemens Szyperski. Component Software— Beyond Object-Oriented Programming. Addison-Wesley, Reading, 1997.
Jos B. Warmer and Anneke G. Kleppe. Object Constraint Language— Precise modeling with UML. Addison-Wesley, Reading, 1999.
Stephan Warshall. A theorem on boolean matrices. Journal of the ACM, 9(1):11–12, 1962.
Herbert Weber. Continuous engineering of information and communication infrastructures (extended abstract). In Jean-Pierre Finance, editor, Fundamental Approaches to Software Engineering FASE’99 Amsterdam Proceedings, volume 1577 of LNCS, pages 22–29, Berlin, March 22–28 1999. Springer.
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
Bübl, F. (2002). Introducing Context-Based Constraints. 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_17
Download citation
DOI: https://doi.org/10.1007/3-540-45923-5_17
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