Abstract
One important aspect in building trusted information systems is the precise specification of systems and system parts. This applies even more for information systems built from COTS components. To specify behavioral aspects of software components the UML Object Constraint Language (OCL) is well suited. One current problem in component specifications comes from the fact that editing OCL constraints manually is time consuming and error-prone. To simplify constraint definition we propose to use specification patterns for which OCL constraints can be generated automatically. In this paper we outline this solution proposal and present a library of reusable OCL specification patterns.
Chapter PDF
Similar content being viewed by others
Keywords
References
Ackermann, J.: Fallstudie zur Spezifikation von Fachkomponenten. In: Turowski, K. (ed.) 2. Workshop Modellierung und Spezifikation von Fachkomponenten, Bamberg, pp. 1–66 (2001) (in German)
Ackermann, J.: Zur Spezifikation der Parameter von Fachkomponenten. In: Turowski, K. (ed.) 5. Workshop Komponentenorientierte betriebliche Anwendungssysteme (WKBA 5), Augsburg, pp. 47–154 (2003) (in German)
Ackermann, J.: Frequently Occurring Patterns in Behavioral Specification of Software Components. In: Proceedings of the Component-Oriented Enterprise Applications, COEA 2005, Erfurt, pp. 41–56 (2005)
Ackermann, J.: Formal Description of OCL Specification Patterns for Behavioral Specification of Software Components. In: Baar, T. (ed.) Proceedings of the MoDELS 2005 Conference Workshop on Tool Support for OCL and Related Formalisms - Needs and Trends, Montego Bay, Jamaica, pp. 15–29 (2005)
Ackermann, J., Turowski, K.: Specification of Customizable Business Components. In: Chroust, G., Hofer, S. (eds.) Euromicro Conference 2003, Belek-Antalya, Turkey, pp. 391–394 (2003)
Baar, T., Hähnle, R., Sattler, T., Schmitt, P.H.: Entwurfgesteuerte Erzeugung von OCL-Constraints. In: Softwaretechnik-Trends 3 (2000) (in German)
Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: Making Components Contract Aware. IEEE Computer 7, 38–44 (1999)
Cheesman, J., Daniels, J.: UML Components. Addison-Wesley, Boston (2001)
D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)
Geisterfer, C.J.M., Ghosh, S.: Software Component Specification: A Study in Perspective of Component Selection and Reuse. In: Proceedings of the 5th International Conference on COTS Based Software Systems (ICCBSS), Orlando, USA (2006)
Giese, M., Hähnle, R., Larsson, D.: Rule-Based Simplification of OCL Constraints. In: Workshop on OCL and Model Driven Engineering at UML 2004, Lisbon (2004)
Hähnle, R., Johannisson, K., Ranta, A.: An Authoring Tool for Informal and Formal Requirements Specifications. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 233–248. Springer, Heidelberg (2002)
Hall, A.: Seven Myths of Formal Methods. IEEE Software 5, 11–19 (1990)
Hemer, D., Lindsay, P.: Specification-based retrieval strategies for module reuse. In: Grant, D., Sterling, L. (eds.) Proceedings 2001 Australian Software Engineering Conference, pp. 235–243. IEEE Computer Society, Canberra (2001)
Ledru, Y., Dupuy-Chessa, S., Fadil, H.: Towards Computer-aided Design of OCL Constraints. In: Grundspenkis, J., Kirikova, M. (eds.) CAiSE Workshops 2004, Riga, vol. 1, pp. 329–338 (2004)
Meyer, B.: Applying Design by Contract. IEEE Computer 10, 40–51 (1992)
OMG. (ed.): Unified Modeling Language: UML 2.0 Infrastructure Specification, 2004-10-16, Date of Call: 2005-09-09 (2004), http://www.omg.org/technology/documents
OMG. (ed.): Unified Modeling Language: UML 2.0 OCL Specification, 2005-06-06. Date of Call: 2005-09-09 (2005), http://www.omg.org/technology/documents
OMG. (ed.): Unified Modeling Language: UML 2.0 Superstructure Specification, 2005-07-04. Date of Call: 2005-09-09 (2005), http://www.omg.org/technology/documents
Overhage, S.: UnSCom: A Standardized Framework for the Specification of Software Components. In: Weske, M., Liggesmeyer, P. (eds.) Object-Oriented and Internet-Based Technologies, Proceedings of the 5th Net’Object Days, Erfurt (2004)
Roussev, B.: Generating OCL specifications and class diagrams from use cases: A newtonian approach. In: Proceedings of 36th Annual Hawaii International Conference on System Sciences (HICSS 2003), Big Island (2003)
Turowski, K. (ed.): Standardized Specification of Business Components: Memorandum of the working group 5.10.3 Component Oriented Business Application Systems. University of Augsburg (2002). Date of Call: 2005-09-09 (2005), http://www.fachkomponenten.de
Wallnau, K.C., Hissam, S.A., Seacord, R.C.: Building Systems from Commercial Components. Addison-Wesley, Reading (2002)
Yellin, D., Strom, R.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems 19, 292–333 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ackermann, J., Turowski, K. (2006). A Library of OCL Specification Patterns for Behavioral Specification of Software Components. In: Dubois, E., Pohl, K. (eds) Advanced Information Systems Engineering. CAiSE 2006. Lecture Notes in Computer Science, vol 4001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767138_18
Download citation
DOI: https://doi.org/10.1007/11767138_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34652-4
Online ISBN: 978-3-540-34653-1
eBook Packages: Computer ScienceComputer Science (R0)