Abstract
Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately.
Similar content being viewed by others
References
Bunus P, Fritzson P. Automated static analysis of equation-based components. Simulation: Trans. the Society for Modeling and Simulation International, 2004, 80(8): 321–345.
Mattsson S E. Simulation of object-oriented continuous time models. Mathematics and Computers in Simulation, 1995, 39(5-6): 513–518.
Morton W, Collingwood C. An equation analyzer for process models. Computers and Chemical Engineering, 1998, 22(4-5): 571–585.
Reißig G, Feldmann U. A simple and general method for detecting structural inconsistencies in large electrical networks. IEEE Trans. Circuits and Systems I: Fundamental Theory and Applications, 2003, 50(11): 1482–1485.
Fritzson P, Engelson V. Modelica—A unified object-oriented language for system modeling and simulation. Lecture Notes in Computer Science 1445, Springer-Verlag, 1998, pp.67–90.
Elmqvist H, Mattsson S E, Otter M. Modelica—A language for physical system modeling, visualization and interaction. In Proc. the IEEE Symposium on Computer-Aided Control System Design, Hawaii, USA, 1999, pp.630–639.
Fritzson P. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. IEEE Press, 2003.
Tiller M. Introduction to Physical Modeling with Modelica. Boston: Kluwer Academic, 2001.
Asratian A S, Denley T, Häggkvist R. Bipartite Graphs and Their Applications. Cambridge University Press, 1998.
Dulmage A L, Mendelsohn N S. Coverings of bipartite graphs. Canadian Journal of Mathematics, 1963, 10: 517–534.
Ait-Aoudia S, Jegou R, Michelucci D. Reduction of constraint systems. In Proc. Compugraphics, Alvor, Portugal, 1993, pp.83–92.
Pothen A, Fan C J. Computing the block triangular form of a sparse matrix. ACM Trans. Mathematical Software, 1990, 16(4): 303–324.
Hopcroft J E, Karp R M. An n5/2 algorithm for maximum matchings in bipartite graphs. SIAM Journal of Computing, 1973, 2(4): 225–231.
Uno T. Algorithms for enumerating all perfect, maximum and maximal matchings in bipartite graphs. Lecture Notes in Computer Science 1350, Springer-Verlag, 1997, pp.92–101.
Author information
Authors and Affiliations
Corresponding author
Additional information
Regular Paper
Supported by the National Natural Science Foundation of China (Grant No. 60574053), the National High-Tech Development 863 Program of China (Grant No. 2003AA001031), and the National Basic Research 973 Program of China (Grant No. 2003CB716207).
Jian-Wan Ding received his B.E. and M.S. degrees in mechanical science and engineering from Huazhong University of Science and Technology (HUST) in 1998 and 2001 respectively. Now he is a Ph.D. candidate in the National CAD Support Software Engineering Research Center, HUST. His research interests include multi-domain modeling, simulation and solving.
Li-Ping Chen received his Ph.D. degree from Huazhong University of Science and Technology in 1995. He is currently a professor and Ph.D. supervisor in the National CAD Support Software Engineering Research Center, HUST. His research interests include geometric constraint solving, kinematics and dynamics, feature-based and dimension-driven solid modeling and CAD/CAM integration.
Fan-Li Zhou received his M.S. degree from Huazhong University of Science and Technology in 2001. Now he is a Ph.D. candidate in the National CAD Support Software Engineering Research Center, HUST. His research interests include kinematics and dynamics, multi-domain modeling, simulation and solving.
Rights and permissions
About this article
Cite this article
Ding, JW., Chen, LP. & Zhou, FL. A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models. J Comput Sci Technol 21, 450–458 (2006). https://doi.org/10.1007/s11390-006-0450-9
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/s11390-006-0450-9