{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T02:22:11Z","timestamp":1779330131825,"version":"3.51.4"},"reference-count":23,"publisher":"SAGE Publications","issue":"7-8","license":[{"start":{"date-parts":[[2004,7,1]],"date-time":"2004-07-01T00:00:00Z","timestamp":1088640000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2004,7]]},"abstract":"<jats:p>Mathematical modeling and the simulation of complex physical systems are emerging as key technologies in engineering. The availability of static analyzers and automatic debuggers for detecting structural and numerical inconsistencies in the simulation models is crucial. To address this need, the authors propose a methodology for detecting and repairing overconstrained and underconstrained situations based on graph-theoretical approaches. Components and equations that cause the irregularities are automatically isolated, and meaningful error messages for the user are elaborated. The authors have implemented the AMOEBA (Automatic Modelica Equation-Based Analyzer) environment to support the development and specification of correct equation-based simulation models by applying graph-theoretical approaches and semiautomatic debugging techniques. The implementation architecture and preliminary experiments with a prototype debugger integrated in the symbolic and numeric engine, ModSimPack, of the Modelica language compiler are presented and discussed.<\/jats:p>","DOI":"10.1177\/0037549704046340","type":"journal-article","created":{"date-parts":[[2004,11,19]],"date-time":"2004-11-19T06:43:45Z","timestamp":1100846625000},"page":"321-345","source":"Crossref","is-referenced-by-count":19,"title":["Automated Static Analysis of Equation-Based Components"],"prefix":"10.1177","volume":"80","author":[{"given":"Peter","family":"Bunus","sequence":"first","affiliation":[{"name":"Department of Computer and Information Science, Link\u00f6ping                         University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Fritzson","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, Link\u00f6ping                         University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2004,7,1]]},"reference":[{"key":"atypb1","volume-title":"Proceedings of the 12th European Conference on Object-Oriented Programming (ECOOP\u201998),","author":"Fritzson, Peter"},{"key":"atypb2","volume-title":"Proceedings of the IEEE Symposium on Computer-Aided Control System Design","author":"Elmqvist, Hilding"},{"key":"atypb3","volume-title":"Proceedings of the 35th Annual Simulation Symposium","author":"Fritzson, Peter"},{"key":"atypb4","volume-title":"Principles of object-oriented modeling and simulation\u2014with Modelica 2.1","author":"Fritzson, Peter","year":"2003"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1561-6"},{"key":"atypb6","volume-title":"Modelica\u2014a unified object-oriented language for physical systems modeling: Language specification version 2.0","author":"Modelica Association","year":"2002"},{"key":"atypb7","volume-title":"Modelica\u2014a unified object-oriented language for physical systems mmodeling: Tutorial version 2.1 and design","author":"Modelica Association","year":"2002"},{"key":"atypb8","volume-title":"Proceedings of the 2nd International Modelica Conference","author":"Fritzson, Peter"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1145\/355958.355963"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1145\/355958.355968"},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1145\/355780.355785"},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1145\/355780.355790"},{"key":"atypb13","volume-title":"Scientific computing: An introductory survey","author":"Health, Michael T.","year":"2002","edition":"2"},{"key":"atypb14","volume-title":"Numerical solution of initial-value problems in differentialalgebraic equations","author":"Brenan, Kathryn Eleda","year":"1996"},{"key":"atypb15","unstructured":"Poulsen, Mikael Zebbelin. 2002. Structural analysis of DAEs. Ph.D. diss.,                 Informatics and Mathematical Modelling, Technical University of Denmark."},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21582-2"},{"key":"atypb17","volume-title":"Numerical solution of differential algebraic equations","author":"Bendtsen, Claus","year":"1999"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1137\/0202019"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1016\/0893-9659(94)90045-0"},{"key":"atypb20","volume-title":"Proceedings of the Eighth Annual International Symposium on Algorithms and Computation","author":"Uno, Takeaki"},{"key":"atypb21","volume-title":"Proceedings of the Twelfth Annual International Symposium on Algorithms and Computation","author":"Uno, Takeaki"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1958-052-0"},{"key":"atypb23","doi-asserted-by":"publisher","DOI":"10.1016\/S0952-1976(96)00083-8"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549704046340","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549704046340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:18:42Z","timestamp":1777634322000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549704046340"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,7]]},"references-count":23,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2004,7]]}},"alternative-id":["10.1177\/0037549704046340"],"URL":"https:\/\/doi.org\/10.1177\/0037549704046340","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,7]]}}}