Skip to main content

Semantic Management of Heterogeneous Documents

  • Conference paper
MICAI 2009: Advances in Artificial Intelligence (MICAI 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5845))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. Beck, K.: Embracing change with extreme programming. IEEE Computer 32(10) (1999)

    Google Scholar 

  3. Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Communications of the ACM 13(6), 377–387 (1970)

    Article  MATH  Google Scholar 

  4. 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)

    Google Scholar 

  5. Date, C.J., Darwen, H., Lorentzos, N.: Temporal Data and the Relational Model. Morgan Kaufmann, San Francisco (2002)

    Google Scholar 

  6. T.AB, Doors XT, http://www.telelogic.com

  7. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  8. Fagin, R.: A Normal Form for Relational Databases That Is Based on Domains and Keys. Communications of the ACM 6, 387–415 (1981)

    MATH  Google Scholar 

  9. 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)

    Google Scholar 

  10. Grundy, J., Hosking, J., Mugridge, R.: Inconsistency management for multiple-view software development environments. IEEE Transactions on Software Engineering 24(11), 960–981 (1998)

    Article  Google Scholar 

  11. Hutter, D.: Management of change in structured verification. In: Proceedings of Automated Software Engineering, ASE 2000. IEEE Computer Society, Los Alamitos (2000)

    Google Scholar 

  12. INCOSE Requirements working group, http://www.incose.org

  13. Jarke, M.: Requirements tracing. Communication of the ACM 41(12) (1998)

    Google Scholar 

  14. Graph Rewrite Generator GrGen.NET, http://www.info.uni-karlsruhe.de/software/grgen/

  15. 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)

    Article  MathSciNet  MATH  Google Scholar 

  16. Ramesh, B., Jarke, M.: Towards reference models for requirements traceability. IEEE Transactions on Software Engineering 27(1) (2001)

    Google Scholar 

  17. Royce, W.: Managing the development of large software systems: concepts and techniques. In: Proceedings of the 9th International Conference on Software Engineering (1987)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. von Knethen, A.: Automatic change support based on a trace model. In: Proceedings of the Traceability Workshop, Edinburgh, UK (2002)

    Google Scholar 

  20. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics