We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniques, we propose a flexible process model for component-based development based on process patterns. The presented techniques and concepts serve as building blocks of an overall methodology for componentware which is the focus of our current work.
|
3620
|
Design Patterns. Elements of Reusable Object-Oriented Software
– Gamma, Helm, et al.
- 1998
|
|
196
|
Client/Server Programming with Java and CORBA
– Orfali, Harkey
- 1998
|
|
118
|
The Design of Distributed Systems, An Introduction to FOCUS", Internal Report TU-Munich
– Dederichs, Fuchs, et al.
- 1992
|
|
42
|
AutoFocus: A tool for distributed systems specification
– Huber, Schätz, et al.
|
|
41
|
Towards a formalization of the unified modeling language
– Breu, Hinkel, et al.
- 1997
|
|
39
|
Java in a Nutshell. O'Reilly
– Flanagan
- 1996
|
|
32
|
A componentware development methodology based on process patterns
– Bergner, Rausch, et al.
- 1998
|
|
25
|
Towards a precise semantics for object-oriented modeling techniques
– Breu, Grosu, et al.
- 1997
|
|
24
|
A graphical description technique for communication in software architectures
– Broy, Hofmann, et al.
- 1997
|
|
23
|
Enhancing the syslab system model with state
– Grosu, Klein, et al.
- 1996
|
|
23
|
Graphical Development of Consistent System Specifications
– Schätz, Hußmann, et al.
- 1996
|
|
22
|
Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab Systemmodell
– Rumpe, Klein, et al.
- 1995
|
|
15
|
A Formal Model for Componentware
– Bergner, Rausch, et al.
- 2000
|
|
15
|
Autofocus – Ein Werkzeugkonzept zur Beschreibung verteilter Systeme
– Huber, Schatz, et al.
- 1996
|
|
12
|
Unified Modeling Language. Version 1.1
– Group
- 1997
|
|
11
|
Modeling dynamic component interfaces
– Huber, Rausch, et al.
- 1998
|
|
8
|
Using UML for modeling a distributed Java application
– Bergner, Rausch, et al.
- 1997
|
|
8
|
A formally founded description technique for business processes
– Thurner
- 1997
|
|
5
|
Component-oriented redesign of the CASE-tool AutoFocus
– Bergner, Huber, et al.
- 1997
|
|
5
|
Towards a mathematical model of a component and its use
– Broy
- 1996
|
|
5
|
Formale Methodik für den Entwurf verteilter objektorientierter Systeme
– Rumpe
- 1996
|
|
4
|
Entity/Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen
– Hettler
- 1995
|
|
4
|
Die neue HOAI
– Hinz
- 1997
|
|
3
|
A component-oriented system architecture for the CASEtool AutoFocus
– Bergner, Huber, et al.
- 1998
|
|
3
|
Dokumentenorientierte Software-Entwicklung
– Denert
- 1993
|
|
3
|
Using the SysLab method - a case study
– Vilbig, Deifel, et al.
- 1997
|
|
2
|
MicroSoft VisualBasic homepage
– Corporation
- 1998
|
|
2
|
Formal foundations for SSADM — an approach integrating the formal and pragmatic worlds of requirements engineering
– Hußmann
- 1994
|
|
2
|
Indirect use of formal methods in software engineering: Position statement
– Hußmann
- 1995
|
|
2
|
Anforderungsspezifikation mit Transitionssystemen und Szenarien
– Klein
- 1997
|
|
2
|
Java Studio homepage,http://www. sun.com/studio
– Microsystems
- 1998
|
|
2
|
Indirect use of formal methods in software engineering: Position statement
– Humann
- 1995
|
|
2
|
Java Studio homepage, http://www. sun.com/studio
– Microsystems
- 1998
|
|
1
|
WCOP’98 call for papers http://www
– Szyperski
- 1998
|
|
1
|
Formal foundations for SSADM --- an approach integrating the formal and pragmatic worlds of requirements engineering
– Humann
- 1994
|
|
1
|
WCOP’98 call for papershttp://www. fit.qut.edu.au/˜szypersk/wcop98/cfp. html
– Szyperski
- 1998
|
