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). 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 Dates14.07.2003 Position Papers Submission Deadline 31.07.2003 Notification of Acceptance 24.09.2003 Workshop
10:15 Opening and Keynote - Klaus Turowski (Augsburg University, Germany)
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 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 onthology 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 on Component Engineering Methodology. Erfurt, pp. 1-12.
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 |
||||||
 |
1 st International Workshop on Component Engineering Methodology (WCEM'03) |
| WI-KobAS (Arbeitskreis 5.10.3) |
Home 
Veranstaltungen WCEM 03
Veranstaltungen WCEM 03