zbMATH — the first resource for mathematics

Workflows for the management of change in science, technologies, engineering and mathematics. (English) Zbl 1278.68291
Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 164-179 (2011).
Summary: 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.
For the entire collection see [Zbl 1218.68014].

68T30 Knowledge representation
Full Text: DOI
[1] 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)
[2] Bohner, S.A.: A graph traceability approach for software change impact analysis. PhD thesis. George Mason University, Fairfax, VA, USA (1995)
[3] 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)
[4] Deolalikar P vs NP paper, http://michaelnielsen.org/polymath1/index.php?title=Deolalikar_P_vs_NP_paper&oldid=3654 (visited on 11/03/2010)
[5] DocTIP: Document and Tool Integration Platform, http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/DocTIP/ (visited on 11/30/2010)
[6] General Computer Science: GenCS I/II Lecture Notes. Semantic Course Notes in Panta Rhei (2011), http://gencs.kwarc.info/book/1
[7] Ginev, D., Stamerjohanns, H., Kohlhase, M.: The LaTeXML Daemon: Editable Math on the Collaborative Web. Intelli- gent Computer Mathematics (accepted, 2011) · Zbl 1278.68337
[8] 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) · Zbl 05624396 · doi:10.1007/978-3-642-05258-3_1
[9] Hwang, Y.-F.: Detecting faults in chained-inference rules in information distribution systems. PhD thesis. George Mason University, Fairfax, VA, USA (1998)
[10] Jakumeit, E., Buchwald, S., Kroll, M.: GrGen.NET. International Journal on Software Tools for Technology Transfer (STTT) 12(3), 263–271 (2010) · Zbl 05781773 · doi:10.1007/s10009-010-0148-8
[11] Jarke, M.: Requirements Tracing. Communication of the ACM 41(12) (1998) · doi:10.1145/290133.290145
[12] 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)
[13] Kohlhase, A., Kohlhase, M.: Maintaining Islands of Consistency via Versioned Links · Zbl 1188.68281
[14] 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)
[15] 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 · Zbl 05433155 · doi:10.1016/0164-1212(90)90094-3
[16] 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 · doi:10.1109/ICSM.1993.366934
[17] rcm2 Ltd. DOORS - Dynamic Object-Oriented Requirements System, http://www.rcm2.co.uk
[18] Müller, N.: Change Management on Semi-Structured Documents. PhD thesis. Jacobs University Bremen (2010)
[19] Planetary Developer Forum, http://trac.mathweb.org/planetary/ (visited on 01/20/2011)
[20] PlanetMath.org Math for the people, by the people, http://planetmath.org (visited on 01/06/2011)
[21] 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) · doi:10.1145/1860559.1860580
[22] The ActiveMath System, http://www.activemath.org/ (visited on 03/11/2011)
[23] 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) · doi:10.1109/ICSM.1992.242535
[24] 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
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.