Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Autexier, S., Hutter, D.: Formal software development in MAYA. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 407–432. Springer, Heidelberg (2005)
Beck, K.: Embracing change with extreme programming. IEEE Computer 32(10) (1999)
Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Communications of the ACM 13(6), 377–387 (1970)
Codd, E.F.: Recent Investigations into Relational Data Base Systems. IBM Research Report RJ1385 (April 23, 1974); Republished in Proc. 1974 Congress (Stockholm, Sweden, 1974). North-Holland, New York (1974)
Date, C.J., Darwen, H., Lorentzos, N.: Temporal Data and the Relational Model. Morgan Kaufmann, San Francisco (2002)
T.AB, Doors XT, http://www.telelogic.com
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)
Fagin, R.: A Normal Form for Relational Databases That Is Based on Domains and Keys. Communications of the ACM 6, 387–415 (1981)
Gotel, O.C.Z., Finkelstein, A.C.W.: An analysis of the requirements traceability problem. In: IEEE International Conference on Requirements Engineering, ICRE 1994 (1994)
Grundy, J., Hosking, J., Mugridge, R.: Inconsistency management for multiple-view software development environments. IEEE Transactions on Software Engineering 24(11), 960–981 (1998)
Hutter, D.: Management of change in structured verification. In: Proceedings of Automated Software Engineering, ASE 2000. IEEE Computer Society, Los Alamitos (2000)
INCOSE Requirements working group, http://www.incose.org
Jarke, M.: Requirements tracing. Communication of the ACMÂ 41(12) (1998)
Graph Rewrite Generator GrGen.NET, http://www.info.uni-karlsruhe.de/software/grgen/
Mossakowski, T., Autexier, S., Hutter, D.: Development graphs – proof management for structured specifications. Journal of Logic and Algebraic Programming 67(1–2), 114–145 (2006)
Ramesh, B., Jarke, M.: Towards reference models for requirements traceability. IEEE Transactions on Software Engineering 27(1) (2001)
Royce, W.: Managing the development of large software systems: concepts and techniques. In: Proceedings of the 9th International Conference on Software Engineering (1987)
Scheffczyk, J., Borghoff, U.M., Rödig, P., Schmitz, L.: Managing inconsistent repositories via prioritized repairs. In: Munson, E., Vion-Dury, J. (eds.) Proceedings of the ACM Symposium on Document Engineering (2004)
von Knethen, A.: Automatic change support based on a trace model. In: Proceedings of the Traceability Workshop, Edinburgh, UK (2002)
von Knethen, A.: A trace model for system requirements changes on embedded systems. In: 4th International Workshop on Principles of Software, pp. 17–26 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hutter, D. (2009). Semantic Management of Heterogeneous Documents. In: Aguirre, A.H., Borja, R.M., GarciĂ¡, C.A.R. (eds) MICAI 2009: Advances in Artificial Intelligence. MICAI 2009. Lecture Notes in Computer Science(), vol 5845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05258-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-05258-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05257-6
Online ISBN: 978-3-642-05258-3
eBook Packages: Computer ScienceComputer Science (R0)