{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T18:40:36Z","timestamp":1791052836030,"version":"4.1.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767138_18","type":"book-chapter","created":{"date-parts":[[2006,7,28]],"date-time":"2006-07-28T10:32:54Z","timestamp":1154082774000},"page":"255-269","source":"Crossref","is-referenced-by-count":22,"title":["A Library of OCL Specification Patterns for Behavioral Specification of Software Components"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Ackermann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus","family":"Turowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Ackermann, J.: Fallstudie zur Spezifikation von Fachkomponenten. In: Turowski, K. (ed.) 2. Workshop Modellierung und Spezifikation von Fachkomponenten, Bamberg, pp. 1\u201366 (2001) (in German)"},{"key":"18_CR2","unstructured":"Ackermann, J.: Zur Spezifikation der Parameter von Fachkomponenten. In: Turowski, K. (ed.) 5. Workshop Komponentenorientierte betriebliche Anwendungssysteme (WKBA 5), Augsburg, pp. 47\u2013154 (2003) (in German)"},{"key":"18_CR3","unstructured":"Ackermann, J.: Frequently Occurring Patterns in Behavioral Specification of Software Components. In: Proceedings of the Component-Oriented Enterprise Applications, COEA 2005, Erfurt, pp. 41\u201356 (2005)"},{"key":"18_CR4","unstructured":"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\u201329 (2005)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Ackermann, J., Turowski, K.: Specification of Customizable Business Components. In: Chroust, G., Hofer, S. (eds.) Euromicro Conference 2003, Belek-Antalya, Turkey, pp. 391\u2013394 (2003)","DOI":"10.1109\/EURMIC.2003.1231619"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Baar, T., H\u00e4hnle, R., Sattler, T., Schmitt, P.H.: Entwurfgesteuerte Erzeugung von OCL-Constraints. In: Softwaretechnik-Trends 3 (2000) (in German)","DOI":"10.1007\/978-3-642-58322-3_30"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"7","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Watkins, D.: Making Components Contract Aware. IEEE Computer\u00a07, 38\u201344 (1999)","journal-title":"IEEE Computer"},{"key":"18_CR8","volume-title":"UML Components","author":"J. Cheesman","year":"2001","unstructured":"Cheesman, J., Daniels, J.: UML Components. Addison-Wesley, Boston (2001)"},{"key":"18_CR9","volume-title":"Objects, Components, and Frameworks with UML: The Catalysis Approach","author":"D.F. D\u2019Souza","year":"1998","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICCBSS.2006.26"},{"key":"18_CR11","unstructured":"Giese, M., H\u00e4hnle, R., Larsson, D.: Rule-Based Simplification of OCL Constraints. In: Workshop on OCL and Model Driven Engineering at UML 2004, Lisbon (2004)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45923-5_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. H\u00e4hnle","year":"2002","unstructured":"H\u00e4hnle, 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.\u00a02306, pp. 233\u2013248. Springer, Heidelberg (2002)"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"5","author":"A. Hall","year":"1990","unstructured":"Hall, A.: Seven Myths of Formal Methods. IEEE Software\u00a05, 11\u201319 (1990)","journal-title":"IEEE Software"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1109\/ASWEC.2001.948517","volume-title":"Proceedings 2001 Australian Software Engineering Conference","author":"D. Hemer","year":"2001","unstructured":"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\u2013243. IEEE Computer Society, Canberra (2001)"},{"key":"18_CR15","unstructured":"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.\u00a01, pp. 329\u2013338 (2004)"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"10","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying Design by Contract. IEEE Computer\u00a010, 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"18_CR17","unstructured":"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"},{"key":"18_CR18","unstructured":"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"},{"key":"18_CR19","unstructured":"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"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"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\u2019Object Days, Erfurt (2004)","DOI":"10.1007\/978-3-540-30196-7_13"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/HICSS.2003.1174886"},{"key":"18_CR22","unstructured":"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"},{"key":"18_CR23","volume-title":"Building Systems from Commercial Components","author":"K.C. Wallnau","year":"2002","unstructured":"Wallnau, K.C., Hissam, S.A., Seacord, R.C.: Building Systems from Commercial Components. Addison-Wesley, Reading (2002)"},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. Yellin","year":"1997","unstructured":"Yellin, D., Strom, R.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems\u00a019, 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767138_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:21:00Z","timestamp":1555752060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767138_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783319981765","9783319981772"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11767138_18","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}