Frequently occurring patterns in behavioral specification of software components

Proceedings of the Conference on Component-Oriented Enterprise Applications, COEA 2005

Volumn , Issue , 2005, Pages 41-56

  Ackermann, Jörg ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

Behavioral specification; Component based software engineering; Software component specification; Specification patterns

Indexed keywords

BEHAVIORAL SPECIFICATION; BLACK-BOX COMPONENTS; COMPONENT-BASED SOFTWARE ENGINEERING; ERROR PRONES; SOFTWARE COMPONENT; SPECIFICATION PATTERNS;

INDUSTRY; SOFTWARE ENGINEERING;

SPECIFICATIONS;

EID: 77958604522     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

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)
2. 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)
3. Baar, T.; Hähnle, R.; Sattler, T.; Schmitt, P.H.: Entwurfgesteuerte Erzeugung von OCLConstraints. In: Softwaretechnik-Trends 3 (2000) (In German)
4. Beugnard, A.; Jézéquel, J.-M.; Plouzeau, N.; Watkins, D.: Making Components Contract Aware. In: IEEE Computer 7 (1999) 38-44
5. Cheesman, J.; Daniels, J.: UML Components. Addison-Wesley, Boston (2001)
6. D'Souza, D.F.; Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)
7. Fettke, P.; Loos, P.; Tann, M. v. d.: Eine Fallstudie zur Spezifikation von Fachkomponenten eines Informationssystems für Virtuelle Finanzdienstleister - Beschreibung und Schlussfolgerungen. In: Turowski, K. (ed.): 2. Workshop Modellierung und Spezifikation von Fachkomponenten. Bamberg (2001) 75-94 (In German)
8. Fettke, P.; Loos, P.: Specification of Business Components. In: Mezini, M.; Aksit, M.; Unland, R. (eds.): Objects, Components, Architectures, Services, and Applications for a Networked World - International Conference NetObjectDays. Erfurt (2002) 62-75
9. 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
10. Hall, A.: Seven Myths of Formal Methods. In: IEEE Software 5 (1990) 11-19
11. Han, J.: A Comprehensive Interface Definition Framework for Software Components. In: Proceedings of 1998 Asia-Pacific Software Engineering Conference. Taipei (1998) 110-117
12. Keiblinger, A.; Turowski, K.; Zaha, J.M.: Component Market Specification Demand and Standardized Specification of Business Components. In: Assar, S.; Semmak, F.; Barkhi, R. (eds.): 1st International Workshop on Component-Based Business Information Systems Engineering (CBBISE '03). Geneva (2003) 10-23
13. 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
14. McIlroy, M.D.: Mass Produced Software Components. In: Naur, P.; Randell, B. (eds.): Software Engineering: Report on a Conference by the NATO Science Committee. Brussels (1968) 138-150
15. Meyer, B.: Applying "Design by Contract". In: IEEE Computer 10 (1992) 40-51
16. OMG (ed.): Unified Modeling Language: UML 2.0 OCL Specification. Final adopted specification, 2003-10-14. URL: http://www.omg.org/technology/documents, Date of Call: 2005-04-25 (2003)
17. OMG (ed.): Unified Modeling Language: UML 2.0 Superstructure Specification. FTF convenience document, 2004-10-02. URL: http://www.omg.org/ technology/documents, Date of Call: 2005-04-25 (2004)
18. 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 Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World (NODe 2004). Erfurt (2004)
19. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. 2. ed. Addison-Wesley, Harlow (1998)
20. Turowski, K.: Spezifikation und Standardisierung von Fachkomponenten. In: Wirtschaftsinformatik 3 (2001) 269-281 (In German)
21. Turowski, K. (ed.): Standardized Specification of Business Components: Memorandum of the working group 5.10.3 Component Oriented Business Application System, February 2002. University of Augsburg, Augsburg 2002. URL: http://www.fachkomponenten.de. Date of Call: 2003-03-07