Abstract
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and – in contrast to published research mathematics – subject to continual change. Unfortunately, machine support for change management has either been very coarse grained and thus barely useful, or restricted to formal languages, where automation is possible. In this paper, we report on an effort to extend change management to collections of semi-formal documents which flexibly intermix mathematical formulas and natural language and to integrate it into a semantic publishing system for mathematical knowledge. We validate the long-standing assumption that the semantic annotations in these flexiformal documents that drive the machine-supported interaction with documents can support semantic impact analyses at the same time. But in contrast to the fully formal setting, where adaptations of impacted documents can be automated to some degree, the flexiformal setting requires much more user interaction and thus a much tighter integration into document management workflows.
This is a preview of subscription content, log in via an institution to check access.
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., Müller, N.: Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents. In: Gormish, M., Ingold, R. (eds.) Proceedings of 10th ACM Symposium on Document Engineering (DocEng 2010), Manchester, UK (2010)
Bohner, S.A.: A graph traceability approach for software change impact analysis. PhD thesis. George Mason University, Fairfax, VA, USA (1995)
David, C., et al.: eMath 3.0: Building Blocks for a social and semantic Web for online mathematics & ELearning. In: Mierlus-Mazilu, I. (ed.) 1st International Workshop on Mathematics and ICT: Education, Research and Applications, Bucharest, Romania (November 3, 2010)
Deolalikar P vs NP paper, http://michaelnielsen.org/polymath1/index.php?title=Deolalikar_P_vs_NP_paper&oldid=3654 (visited on 11/03/2010)
DocTIP: Document and Tool Integration Platform, http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/DocTIP/ (visited on 11/30/2010)
General Computer Science: GenCS I/II Lecture Notes. Semantic Course Notes in Panta Rhei (2011), http://gencs.kwarc.info/book/1
Ginev, D., Stamerjohanns, H., Kohlhase, M.: The LaTeXML Daemon: Editable Math on the Collaborative Web. Intelli- gent Computer Mathematics (accepted, 2011)
Hutter, D.: Semantic Management of Heterogeneous Documents (Invited Talk). In: Aguirre, A.H., Borja, R.M., Garciá, C.A.R. (eds.) MICAI 2009. LNCS, vol. 5845, pp. 1–14. Springer, Heidelberg (2009)
Hwang, Y.-F.: Detecting faults in chained-inference rules in information distribution systems. PhD thesis. George Mason University, Fairfax, VA, USA (1998)
Jakumeit, E., Buchwald, S., Kroll, M.: GrGen.NET. International Journal on Software Tools for Technology Transfer (STTT) 12(3), 263–271 (2010)
Jarke, M.: Requirements Tracing. Communication of the ACM 41(12) (1998)
Keables, J., Roberson, K., von Mayrhauser, A.: Data Flow Analysis and its Application to Software Maintenance. In: Proceedings of the Conference on Software Maintenance, pp. 335–347. IEEE CS Press, Los Alamitos (1988)
Kohlhase, A., Kohlhase, M.: Maintaining Islands of Consistency via Versioned Links
Kohlhase, M., et al.: The Planetary System: Web 3.0 & Active Documents for STEM. Accepted for publication at ICCS 2011 (Finalist at the Executable Papers Challenge) (2011)
Korel, B., Laski, J.: Dynamic slicing of computer programs. The Journal of Systems and Software 13(3), 164–1212 (1990), http://dx.doi.org/ , doi:10.1016/0164-1212, ISSN: 0164-1212
Loyall, J.P., Mathisen, S.A.: Using Dependence Analysis to Support the Software Maintenance Process. In: ICSM 1993: Proceedings of the Conference on Software Maintenance, pp. 282–291. IEEE Computer Society, Washington, DC, USA (1993) ISBN: 0-8186-4600-4
rcm2 Ltd. DOORS - Dynamic Object-Oriented Requirements System, http://www.rcm2.co.uk
Müller, N.: Change Management on Semi-Structured Documents. PhD thesis. Jacobs University Bremen (2010)
Planetary Developer Forum, http://trac.mathweb.org/planetary/ (visited on 01/20/2011)
PlanetMath.org Math for the people, by the people, http://planetmath.org (visited on 01/06/2011)
Autexier, S., Müller, N.: Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents. In: Gormish, M., Ingold, R. (eds.) Proceedings of 10th ACM Symposium on Document Engineering (DocEng 2010), Manchester, UK (2010)
The ActiveMath System, http://www.activemath.org/ (visited on 03/11/2011)
White, L.J.: A Firewall Concept for both Control- Flow and Data- Flow in Regression Integration Testing. IEEE Trans. on Software Engineering, 171–262 (1992)
Zholudev, V., Kohlhase, M.: TNTBase: a Versioned Storage for XML. In: Proceedings of Balisage: The Markup Conference 2009. Balisage Series on Markup Technologies. Mulberry Technologies, Inc., (2009), http://kwarc.info/ vzholudev/pubs/balisage.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Autexier, S., David, C., Dietrich, D., Kohlhase, M., Zholudev, V. (2011). Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds) Intelligent Computer Mathematics. CICM 2011. Lecture Notes in Computer Science(), vol 6824. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22673-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-22673-1_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22672-4
Online ISBN: 978-3-642-22673-1
eBook Packages: Computer ScienceComputer Science (R0)