Skip to main content
SpringerLink
Log in

A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models

  • Artificial Intelligence
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

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.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

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

    Article  Google Scholar 

  2. Mattsson S E. Simulation of object-oriented continuous time models. Mathematics and Computers in Simulation, 1995, 39(5-6): 513–518.

    Article  Google Scholar 

  3. Morton W, Collingwood C. An equation analyzer for process models. Computers and Chemical Engineering, 1998, 22(4-5): 571–585.

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  5. 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.

  6. 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.

  7. Fritzson P. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. IEEE Press, 2003.

  8. Tiller M. Introduction to Physical Modeling with Modelica. Boston: Kluwer Academic, 2001.

    Google Scholar 

  9. Asratian A S, Denley T, Häggkvist R. Bipartite Graphs and Their Applications. Cambridge University Press, 1998.

  10. Dulmage A L, Mendelsohn N S. Coverings of bipartite graphs. Canadian Journal of Mathematics, 1963, 10: 517–534.

    MathSciNet  Google Scholar 

  11. Ait-Aoudia S, Jegou R, Michelucci D. Reduction of constraint systems. In Proc. Compugraphics, Alvor, Portugal, 1993, pp.83–92.

  12. Pothen A, Fan C J. Computing the block triangular form of a sparse matrix. ACM Trans. Mathematical Software, 1990, 16(4): 303–324.

    Article  MathSciNet  Google Scholar 

  13. 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.

    Article  MathSciNet  Google Scholar 

  14. 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.

Download references

Author information

Authors and Affiliations

  1. National CAD Support Software Engineering Research Center, Huazhong University of Science and Technology, Wuhan, 430074, P.R. China

    Jian-Wan Ding, Li-Ping Chen & Fan-Li Zhou

Authors
  1. Jian-Wan Ding
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Li-Ping Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fan-Li Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jian-Wan Ding.

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

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11390-006-0450-9

Keywords

Search

Navigation