A library of OCL specification patterns for behavioral specification of software components

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

Volumn 4001 LNCS, Issue , 2006, Pages 255-269

  Ackermann, Jörg ^a   Turowski, Klaus ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

Component Based Information Systems; OCL Specification Patterns; Software Component Specification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; ERROR ANALYSIS; INFORMATION THEORY; SECURITY OF DATA; SPECIFICATIONS;

COMPONENT-BASED INFORMATION SYSTEMS; OBJECT CONSTRAINT LANGUAGE (OCL); OCL SPECIFICATION PATTERNS; SOFTWARE COMPONENT SPECIFICATION;

COMPUTER SOFTWARE;

EID: 33746065254     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767138_18     Document Type: Conference Paper

References (25)

1. Ackermann, J.: Fallstudie zur Spezifikation von Fachkomponenten. In: Turowski, K. (ed.):
2. Workshop Modellierung und Spezifikation von Fachkomponenten. Bamberg (2001) 1-66 (In German)
3. Ackermann, J.: Zur Spezifikation der Parameter von Fachkomponenten. In: Turowski, K. (ed.): 5. Workshop Komponentenorientierte betriebliche Anwendungssysteme (WKBA 5). Augsburg (2003) 47-154 (In German)
4. Ackermann, J.: Frequently Occurring Patterns in Behavioral Specification of Software Components. In: Turowski, K.; Zaha, J.M. (eds.): Component-Oriented Enterprise Applications. Proceedings of the COEA 2005. Erfurt (2005) 41-56
5. Ackermann, J.: Formal Description of OCL Specification Patterns for Behavioral Specification of Software Components. In: Baar, T. (ed.): Proceedings of the MoDELS'05 Conference Workshop on Tool Support for OCL and Related Formalisms - Needs and Trends. Montego Bay, Jamaica (2005) 15-29
6. Ackermann, J., Turowski, K.: Specification of Customizable Business Components. In: Chroust, G.; Hofer, S. (eds.): Euromicro Conference 2003. Belek-Antalya, Turkey (2003) 391-394
7. Baar, T.; Hähnle, R.; Sattler, T.; Schmitt, P.H.: Entwurfgesteuerte Erzeugung von OCL-Constraints. In: Softwaretechnik-Trends 3 (2000) (In German)
8. Beugnard, A.; Jézéquel, J.-M.; Plouzeau, N.; Watkins, D.: Making Components Contract Aware. In: IEEE Computer 7 (1999) 38-44
9. . Cheesman, J.; Daniels, J.: UML Components. Addison-Wesley, Boston (2001)
10. D'Souza, D.F.; Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)
11. 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)
12. 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)
13. Hähnle, R.; Johannisson, K.; Ranta, A.: An Authoring Tool for Informal and Formal Requirements Specifications. In: Kutsche, R.-D.; Weber, H. (eds.): Fundamental Approaches to Software Engineering, 5th International Conference FASE. Grenoble (2002) 233-248
14. Hall, A.: Seven Myths of Formal Methods. In: IEEE Software 5 (1990) 11-19
15. Hemer, D.; Lindsay, P.: Specification-based retrieval strategies for module reuse. In: Grant, D.; Sterling, L. (eds.): Proceedings 2001 Australian Software Engineering Conference. IEEE Computer Society. Canberra (2001) 235-243
16. Ledru, Y.; Dupuy-Chessa, S.; Fadil, H.: Towards Computer-aided Design of OCL Constraints. In: Grundspenkis, J.; Kirikova, M. (eds.): CAiSE Workshops 2004, Vol. 1. Riga (2004) 329-338
17. Meyer, B.: Applying "Design by Contract". In: IEEE Computer 10 (1992) 40-51
18. OMG (ed.): Unified Modeling Language: UML 2.0 Infrastructure Specification, 2004-10-16 URL: http://www.omg.org/technology/documents, Date of Call: 2005-09-09 (2004)
19. OMG (ed.): Unified Modeling Language: UML 2.0 OCL Specification, 2005-06-06. URL: http://www.omg.org/technology/documents, Date of Call: 2005-09-09 (2005)
20. OMG (ed.): Unified Modeling Language: UML 2.0 Superstructure Specification, 2005-07-04. URL: http://www.omg.org/technology/documents, Date of Call: 2005-09-09 (2005)
21. 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)
22. 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'03). Big Island (2003)
23. 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). URL: http://www.fachkomponenten.de. Date of Call: 2005-09-09
24. Wallnau, K.C.; Hissam, S.A.; Seacord, R.C.: Building Systems from Commercial Components. Addison-Wesley (2002)
25. Yellin, D.; Strom, R.: Protocol Specifications and Component Adaptors. In: ACM Transactions on Programming Languages and Systems 19 (1997) 292-333