Generative Programming and Component Engineering
MotivationComponent Specifications are an important part of component-based engineering methodologies. They build the methodological basis for component development, cataloguing, search, assessment, and configuration. Furthermore, they serve as input to predict the behaviour and quality of configurations (i.e. component-based applications). Establishing a standardized framework that determines the scope and formats of component specification endorses the emergence of interoperable tools that are able work together and exchange information about components. Modern component technologies like Web Services already recognized the importance of specifications and provide a specification standard (e.g. UDDI). However, today’s standards are not sufficient to support component-based software engineering, since they merely concentrate on specifying (low-level) interface definitions.
This workshop aims at tying together important aspects of component specification in general and at identifying applications for specifications within the process of component-based software engineering. Its goal is to establish a working group that focuses on creating a standardized specification framework for software components as the basis of future methodologies.
A component specification aims at providing a complete documentation of (the outer view of) components. A specification framework determines the extent and formats of component specifications. It ought to be formal, normative, modular (extensible), technology-independent, and methodically substantiated. Furthermore, it should provide both machine- and human-understandable specifications.
A preliminary specification framework to specify business components has been standardized by a working group located within the German Society of Informatics (GI) and is available under www.fachkomponenten.de. It may serve as a starting point to open discussions.
TopicsTopics of interest include but are not limited to:
* Aspects of component specifications
(e.g. assertions, behaviour, architecture, method coordination, variability, and non- functional/quality characteristics)
* Applications for component specifications
(e.g. component search, assessment, dynamic configuration, formal models to predict configuration behavior)
* Formal validation and certification of component specifications
(e.g. certification methods)
* Standardization of component specifications
(e.g. existing approaches and specification frameworks)
Submissions and ParticipationAttendance will be limited to 20 participants. To participate in the workshop, acceptance of a submitted position statement is required and at most two authors per accepted submission can participate. All submissions will be formally reviewed (double-blind reviewing process). Authors of accepted papers need to participate in the workshop and have to register for the conference. Notification of acceptance will be sent before the conference early registration deadline.
The workshop will be organized as mixture of presentations (position papers) and discussions. At the end of the workshop, a consolidating session (in the form of a kick-off meeting) will tie together workshop results and try to establish a working group that starts standardization of a specification framework (i.e. task forces and a control board to develop the overall framework structure will be instantiated).
14.07.2003 Position Papers Submission Deadline
31.07.2003 Notification of Acceptance
10:15 Opening and Keynote - Klaus Turowski (Augsburg University, Germany)
Peter Fettke, Peter Loos (Paper /Slides)
Onthological Evaluation of the Specification Framework proposed by the "Standardized Specification of Business Components" Memorandum - Some Preliminary Results
Steffen Becker, Ralf H. Reussner, Viktoria Firus (Paper /Slides)
Specifying Contractual Use, Protocols, and Quality Attributes for Software Components
Hans-Ludwig Hausen (Paper /Slides)
On Practical Component Acceptance Testing
Lars Grunske (Paper /Slides)
Annotation of Component Specifications with Modular Analysis Models for Safety Properties
Rosario Girardi, Carla Gomes de Faria (Paper /Slides)
A Generic onthology for the Specification of Domain Models
Jörg Ackermann (Paper /Slides )
Specification Proposals for Customizable Business Components
Fettke, P.; Loos, P. (2003): oOnthological Evaluation of the Specification Framework proposed by the "Standardized Specification of Business Components" Memorandum - Some Preliminary Results. In S. Overhage, K. Turowski (Eds.): Proceedings of the 1st Int. Workshop on Component Engineering Methodology. Erfurt, pp. 1-12.
Prof. Dr. Klaus Turowski
Chair of Business Information Systems, University of Augsburg
Tel.: +49 (821) 598 - 4431
Fax: +49 (821) 598 - 4432
Oversoft Software / Chair of Business Information Systems, University of Augsburg