Abstract
This paper concerns the static analysis for debugging purposes of programs written in declarative equation based modeling languages. We first give an introduction to declarative equation based languages and the consequences equation based programming has for debugging. At the same time, we examine the particular debugging problems posed by Modelica, a declarative equation based modeling language. A brief overview of the Modelica language is also given. We also present our view of the issues and solutions based on a proposed framework for debugging declarative equation based languages. Program analysis solutions for program understanding and for static debugging of declarative equation based languages, based on bipartite graph decomposition, are presented in the paper. We also present an efficient way to annotate the underlying equations in order to help the implemented debugger to eliminate the heuristics involved in choosing the right error fixing solution. This also provides means to report the location of an error caught by the static analyzer or by the numeric solver, consistent with the user’s perception of the source code and simulation model.
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
Abadi M., and Cardelli: A Theory of Objects. Springer Verlag, ISBN 0-387-94775-2, 1996.
Ait-Aoudia, S.; Jegou, R. and Michelucci, D. “Reduction of Constraint Systems.” In Compugraphic, pages 83–92, Alvor, Portugal, 1993.
Asratian A. S.; Denley T. and Häggkvist R. Bipartite Graphs and their Applications. Cambridge University Press 1998.
Bliek, C.; Neveu, B. and Trombettoni G. “Using Graph Decomposition for Solving Continuous CSPs”, Priciples and Practice of Constraint Programming, CP’98, Springer LNCS 1520, pages 102–116, Pisa, Italy, November 1998.
Dolan A. and Aldous J. Networks and algorithms-An introductory approach. John Wiley and Sons 1993En gland.
Dulmage, A. L., Mendelsohn, N. S. Coverings of bipartite graphs, Canadian J. Math., 10, 517–534.
Elmqvist, H.; Mattsson S.E and Otter, M. “Modelica-A Language for Physical System Modeling, Visualization and Interaction.” In Proceedings of the 1999 IEEE Symposium on Computer-Aided Control System Design (Hawaii, Aug. 22-27) 1999.
Elmqvist, H. A Structured Model Language for Large Continuous Systems. PhD thesis TFRT-1015, Department of Automatic Control, Lund Institute of Technology, Lund, Sweden. 1978.
Flannery, L. M. and Gonzalez, A. J. DetectingA nomalies in Constraint-based Systems, Engineering Applications of Artificial Intelligence, Vol. 10, No. 3, June 1997, pages. 257–268.
Fritzson, P. and Engelson, V. “Modelica-A Unified Object-Oriented Language for System Modeling and Simulation.” In Proceedings of the 12th European Conference on Object-Oriented Programming (ECOOP’98, Brussels, Belgium, Jul. 20-24), 1998.
Fritzson, P.; Shahmehri, N.; Kamkar, M. and Gyimothy, T. Generalized algorithmic debugging and testing. ACM Letters on Programming Languages and Systems, 1(4):303–322, December 1992.
Harrold, M.J and Rothermel, G. “A Coherent Family of Analyzable Graphical Representations for Object-Oriented Software.” Technical Report OSU-CISRC-11/96-TR60, November, 1996, Department of Computer and Information Science Ohio State University
Hopcroft, J. E. and Karp, R. M. An n 5/2 algorithm for maximum matchings in bipartite graphs. SIAM Journal of Computing, 2(4):225–231, December 1973.
Jirstrand, M. “MathModelica-A Full System Simulation Tool”. In Proceedings of Modelica Workshop 2000 (Lund, Sweden, Oct. 23-24), 2000.
Jirstrand, M.; Gunnarsson J. and Fritzson P. “MathModelica-a new modeling and simulation environment for Modelica. ” In Proceedings of the Third International Mathematica Symposium (IMS’99, Linz, Austria, Aug), 1999.
Maffezzoni C.; Girelli R. and Lluka P. Generatinge. cient computational procedures from declarative models. Simulation Practice and Theory 4 (1996) pages 303–317.
Modelica Association. Modelica-A Unified Object-Oriented Language for Physical Systems Modeling-Tutorial and Design Rationale Version 1.4 (December 15, 2000).
Modelica Association. Modelica-A Unified Object-Oriented Language for Physical Systems Modeling-Language Specification Version 1.4. (December 15, 2000).
Pantelides, C. The consistent initialization of differentialalgebraic systems. SIAM Journal on Scientific and Statistical Computing, 9(2):213–231, March 1988.
Saldamli, L.; Fritzson, P. “Object-oriented Modeling With Partial Differential Equations”. In Proceedings of Modelica Workshop 2000 (Lund, Sweden, Oct. 23-24), 2000.
Shapiro Ehud Y. Algorithmic Program Debugging. MIT Press (May). 1982.
Tiller M. Michael. Introduction to Physical Modelingwi th Modelica. Kluwer Academic Publisher 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bunus, P., Fritzson, P. (2002). A Debugging Scheme for Declarative Equation Based Modeling Languages. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds) Practical Aspects of Declarative Languages. PADL 2002. Lecture Notes in Computer Science, vol 2257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45587-6_18
Download citation
DOI: https://doi.org/10.1007/3-540-45587-6_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43092-6
Online ISBN: 978-3-540-45587-5
eBook Packages: Springer Book Archive