Menu Content/Inhalt
 Organizers

Generative Programming and Component Engineering
Second International Conference on Generative Programming and Component Engineering

German Informatics Society (GI), Working Group WI-KobAS (5.10.3)

Call for Papers and Participation

Motivation

Component 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.

Topics

Topics 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 Participation

Attendance 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).

Position statements should clearly state how they relate to the workshop theme, which problems they address in particular, what solutions they suggest and how this solution advances component specifications and/or the process of component-based software engineering. Statements should be five to ten pages (12pt times, single-spaced A4 or letter) in length and state the author’s affiliation and contact address. Position statement should be submitted as Word RTF or editable PDF (preferred) via e-mail to Diese E-Mail-Adresse ist gegen Spam-Bots geschützt, Sie müssen Javascript aktivieren, damit Sie es sehen können

Important Dates

14.07.2003  Position Papers Submission Deadline
31.07.2003  Notification of Acceptance
24.09.2003  Workshop
 
Agenda

10:15  Opening and Keynote - Klaus Turowski (Augsburg University, Germany)
10:20  Standardized Specification of Business Components - Jörg Ackermann (Augsburg University, Germany)
10:45  Ontological Evaluation of the Specification Framework Proposed by the Standardized Specification of Business Components Memorandum - Some Preliminary Results - Peter Fettke, Peter Loos (Mainz University, Germany)
11:15  Specifying Contractual Use, Protocols and Quality Attributes for Software Components - Steffen Becker, Ralf H. Reussner, Viktoria Firus (Oldenburg University, Germany)
11:45  Coffee Break
12:00  On Practical Component Acceptance Testing - H.-L. Hausen (GMD Sankt Augustin, Germany)
12:30  Annotation of Component Specifications with Modular Analysis Models for Safety Properties - L. Grunske (Potsdam University, Germany)
13:00  A Generic Ontology for the Specification of Domain Models - Rosario Girardi and Carla Gomes de Faria (Federal University of Maranhao, Brazil)
13:30  Lunch
15:30  Specification Proposals for Customizable Business Components - Jörg Ackermann (Augsburg University)
16:00  Break-Out Sessions
17:00  Coffee Break
17:15  Break-Out Sessions (cont.)
17:45  Results
18:00  Closing


Proceedings

Individual Contributions

1 
Peter Fettke, Peter Loos (Paper /Slides)
Onthological Evaluation of the Specification Framework proposed by the "Standardized Specification of Business Components" Memorandum - Some Preliminary Results
   
13
Steffen Becker, Ralf H. Reussner, Viktoria Firus (Paper /Slides)
Specifying Contractual Use, Protocols, and Quality Attributes for Software Components
 
23
Hans-Ludwig Hausen (Paper /Slides)
On Practical Component Acceptance Testing   
 
31
Lars Grunske (Paper /Slides)
Annotation of Component Specifications with Modular Analysis Models for Safety Properties   
 
41
Rosario Girardi, Carla Gomes de Faria (Paper /Slides)
A Generic o­nthology for the Specification of Domain Models   
 
51
Jörg Ackermann (Paper /Slides )
Specification Proposals for Customizable Business Components   

Proceedings complete
Proceedings

Quotation (Example):
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 o­n Component Engineering Methodology. Erfurt, pp. 1-12.

Organisation

Prof. Dr. Klaus Turowski
Chair of Business Information Systems, University of Augsburg
Universität Augsburg
Universitätsstr. 16
86135 Augsburg   

Tel.: +49 (821) 598 - 4431
Fax: +49 (821) 598 - 4432
E-Mail: Diese E-Mail-Adresse ist gegen Spam-Bots geschützt, Sie müssen Javascript aktivieren, damit Sie es sehen können
URL: http://wi2.wiwi.uni-augsburg.de
   

Sven Overhage
Oversoft Software / Chair of Business Information Systems, University of Augsburg
E-Mail: Diese E-Mail-Adresse ist gegen Spam-Bots geschützt, Sie müssen Javascript aktivieren, damit Sie es sehen können