Managing the development of large software systems: concepts and techniques
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Communications of the ACM
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
A normal form for relational databases that is based on domains and keys
ACM Transactions on Database Systems (TODS)
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
A relational model of data for large shared data banks
Communications of the ACM
A trace model for system requirements changes on embedded systems
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Management of Change in Structured Verification
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Temporal Data and the Relational Model
Temporal Data and the Relational Model
Managing inconsistent repositories via prioritized repairs
Proceedings of the 2004 ACM symposium on Document engineering
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Workflows for the management of change in science, technologies, engineering and mathematics
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Maintaining islands of consistency via versioned links
Proceedings of the 29th ACM international conference on Design of communication
SmartTies --- management of safety-critical developments
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Hi-index | 0.00 |
Software Engineering or other design processes produce a variety of different documents written in different formats and formalizations, and interwoven by various relations and dependencies. Working on such document collections is not a simple progression of developing one document after the other, but it's the art of orchestrating a synchronous development of the entire document collection. Design decisions made in one document influence the appearance of others and modifications made to one document have to be propagated along the various interrelations throughout the document collection. In contrast, tool support typically focuses on individual document types ignoring dependencies between different document types, which likely results in inconsistencies between individual documents of the collection. In this paper we will advocate a semantic management of heterogeneous documents that orchestrates the evolution of the individual documents with the help of specialized tools. Such a management monitors the design process, takes care of the various dependencies between documents, analyses the consequences of changes made in one document to others, and engineers the synchronization steps necessary to obtain a consistent document collection. The semantic basis of such an approach are ontologies formalizing the structuring mechanisms and interrelations of individual document types.