Due to increasing complexity of hardware and software systems, configuration management has been receiving more and more attention in nearly all engineering domains (e.g. electrical, mechanical, and software engineering). This observation has driven us to develop a domain--independent and adaptable configuration management model (called CoMa) for managing systems of engineering design documents. The CoMa model integrates composition hierarchies, dependencies, and versions into a coherent framework based on a sparse set of essential configuration management concepts. In order to give a clear and comprehensible specification, the CoMa model is defined in a high--level, multi--paradigm specification language (PROGRES) which combines concepts from various disciplines (database systems, knowledge--based systems, graph rewriting systems, programming languages). Finally, we also present an implementation which conforms to the formal specification and provides graphical, structure--oriented tools offering a bunch of sophisticated commands and operating in a heterogeneous environment. 1.
|
1070
|
The Entity-Relationship Model – Toward a Unified View of Data
– Chen
- 1976
|
|
594
|
Systematic Software Development Using VDM
– Jones
- 1990
|
|
268
|
Make-A Program for Maintaining Computer Programs
– Feldman
- 1979
|
|
239
|
The source code control system
– Rochkind
- 1975
|
|
208
|
A Specifier’s Introduction to Formal Methods
– Wing
- 1990
|
|
181
|
Towards a Unified Framework for Version Modeling in Engineering Databases
– Katz
- 1990
|
|
171
|
Understanding Z: A Specification Language and its Formal Semantics, vol 3 of Cambridge Tracts in Theoretical
– Spivey
- 1988
|
|
131
|
Gandalf: Software development environments
– Habermann, Notkin
- 1986
|
|
110
|
The Synthesizer Generator
– REPS, TEITELBAUM
|
|
70
|
Configuration Management Models in Commercial Environments
– Feiler
- 1991
|
|
67
|
Neptune: A hypertext system for CAD applications
– Delisle, Schwartz
- 1986
|
|
63
|
Writing Larch interface language specifications
– Wing
- 1987
|
|
62
|
The CM Challenge: Configuration Management That Works
– Leblang
|
|
59
|
Tools for Software Configuration Management
– Tichy
- 1988
|
|
57
|
The Adele Configuration Manager
– Estublier, Casallas
|
|
52
|
Graph Grammar Engineering with PROGRES
– Schürr, Winter, et al.
|
|
51
|
DAMOKLES − A database system for software engineering environments
– Dittrich, Gotthard, et al.
- 1986
|
|
41
|
PCTE: The Standard for Open Repositories
– Wakeman, Jowett
- 1993
|
|
40
|
The 02 system
– Deux
- 1991
|
|
36
|
Database System Support for Software Engineering
– Bernstein
- 1987
|
|
28
|
Configuration management for large-scale software development efforts
– LEBLANG, MCLEAN
- 1985
|
|
16
|
Versions and Change Notification in an Object-Oriented Database System
– Chou, Kim
- 1988
|
|
15
|
On the Architecture of a CAD Framework: The NELSIS Approach
– Wolf, Bingley, et al.
- 1990
|
|
13
|
Revision Control in an Integrated Software Development Environment
– Westfechtel
- 1989
|
|
12
|
Using programmed graph rewriting for the formal specification of a configuration management system
– WESTFECHTEL
- 1994
|
|
11
|
Integrated Product and Process Management for Engineering Design Applications
– Westfechtel
- 1996
|
|
10
|
A Specification Environment for Graph Grammars
– Nagl, Schurr
- 1991
|
|
10
|
Westfechtel B.: Integrated Data Managment in a Heterogeneous CIM Environment
– Schwartz
- 1993
|
|
9
|
PROGRES: A VHL-Language Based on Graph Grammars
– Schrr
- 1991
|
|
8
|
RCS --- A System for Version Control", Software --- Practice and Experience
– Tichy
- 1985
|
|
7
|
The design and implementation of a version server for computer-aided design data
– Chang, Gedye, et al.
- 1989
|
|
6
|
Mapping a Version Model to a Complex-Object Data Model
– Kfer, Schning
- 1992
|
|
6
|
Operational Specification with Programmed Graph Rewriting Systems
– Schrr
- 1991
|
|
5
|
Parallels in computer--aided design frameworks and software development environments efforts
– Dart
- 1992
|
|
4
|
Heterogeneous configuration management with dsee
– Lubkin
- 1991
|
|
4
|
Characterization of the IPSEN Project
– Nagl
- 1990
|
|
4
|
TEXPROS: An Intelligent Document Processing System
– Wang, Ng
- 1992
|
|
4
|
Sch��rr A.: Nondeterministic Control Structures for Graph Rewriting Systems; in: [SchmiBer 92
– Z��ndorf
- 1992
|
|
3
|
den Bussche, "Concepts for graph-oriented object manipulation
– Andties, Gemis, et al.
- 1992
|
|
3
|
The Software Development Workbench WSDW
– Lucia, Imperatore, et al.
- 1992
|
|
3
|
The SUKITS Project: An approach to a posteriori Integration of CIM Components
– Eversheim, Weck, et al.
- 1992
|
|
3
|
Data Access Protocols for Integrated Engineering Environments
– Hermanns
- 1993
|
|
2
|
Constructing software engineering environments using the Software Backplane
– Aslett
- 1991
|
|
2
|
The GemStone Object Dabase Management System
– Butterworth, Otis, et al.
- 1991
|
|
2
|
Design, Implementation and Evaluation of a Distributed File Service for Collaborative Engineering Environments
– Hermanns, Engbrocks
- 1994
|
|
2
|
et al., "The Objectstore Database System
– Lamb, Landis, et al.
- 1991
|
|
2
|
Extended Algebraic Graph Transformation
– L��we
- 1991
|
|
2
|
et.al "Computer support for concurrent Engineering", IEEEComputer
– Reddy, Srinivas, et al.
- 1993
|
|
2
|
Logic Based Programmed Structure Rewriting Systems
– Sch��rr
- 1996
|
|
2
|
Revision and Consistency Control in an Integrated Software Development Environment (in German), Informatik Fachberichte 280
– Westfechtel
- 1991
|
|
