{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,7]],"date-time":"2026-06-07T04:56:06Z","timestamp":1780808166877,"version":"3.54.1"},"reference-count":66,"publisher":"ASME International","issue":"6","license":[{"start":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T00:00:00Z","timestamp":1745971200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.asme.org\/publications-submissions\/publishing-information\/legal-policies"}],"content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>This article describes the theory behind constraint hypergraphs: a novel modeling framework that can be used to universally represent and simulate complex systems. Multi-domain system models are traditionally compiled from many diverse frameworks, each based on a single domain. Incompatibilities between these frameworks prevent information from being shared resulting in data silos, duplicate work, and knowledge gaps. A constraint hypergraph addresses these problems by providing a universal modeling framework within which all model prescriptions can be expressed. This methodology expands mathematical structures previously explored in the abstract mathematics and systems theory into a new executable framework. Each hypergraph expresses the holistic behavior of a system in a declarative paradigm that describes the relationships between system properties. In addition to modeling, it is shown how constraint hypergraphs can be used for universal, cross-cutting simulation through principles of function composition. The theoretical framework of a constraint hypergraph is demonstrated with a practical representation of a hybrid system, combining a discrete-event simulation and continuous proportional-integral-derivative controller into a single model of an elevator lift system.<\/jats:p>","DOI":"10.1115\/1.4068375","type":"journal-article","created":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T16:06:09Z","timestamp":1743782769000},"update-policy":"https:\/\/doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":2,"title":["Unified System Modeling and Simulation via Constraint Hypergraphs"],"prefix":"10.1115","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-6571-1959","authenticated-orcid":false,"given":"John","family":"Morris","sequence":"first","affiliation":[{"id":[{"id":"https:\/\/ror.org\/037s24f05","id-type":"ROR","asserted-by":"publisher"}],"name":"Clemson University PLM Center at Clemson University, Department of Mechanical Engineering, , , \u00a0","place":["Clemson, SC, 29634"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8845-4581","authenticated-orcid":false,"given":"Gregory","family":"Mocko","sequence":"additional","affiliation":[{"name":"Clemson University PLM Center at Clemson University, Department of Mechanical Engineering, , , \u00a0","place":["Clemson, SC, 29634"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5648-1152","authenticated-orcid":false,"given":"John","family":"Wagner","sequence":"additional","affiliation":[{"name":"Clemson University PLM Center at Clemson University, Department of Mechanical Engineering, , , \u00a0","place":["Clemson, SC, 29634"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"33","published-online":{"date-parts":[[2025,4,30]]},"reference":[{"issue":"3","key":"2025043023040605600_CIT0001","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1287\/mnsc.2.3.197","article-title":"General Systems Theory: The Skeleton of Science","volume":"2","author":"Boulding","year":"1956","journal-title":"Manage. Sci."},{"key":"2025043023040605600_CIT0002","volume-title":"A Practical Guide to SysML : The Systems Modeling Language","author":"Friedenthal","year":"2015","edition":"3rd ed."},{"key":"2025043023040605600_CIT0003","author":"Modelica Association","year":"2000"},{"key":"2025043023040605600_CIT0004","author":"Larsson","year":"2003"},{"issue":"6","key":"2025043023040605600_CIT0005","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MCS.2007.4339280","article-title":"The Behavioral Approach to Open and Interconnected Systems","volume":"27","author":"Willems","year":"2007","journal-title":"IEEE Control Syst. Magaz."},{"issue":"3","key":"2025043023040605600_CIT0006","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/72551.72554","article-title":"Conception, Evolution, and Application of Functional Programming Languages","volume":"21","author":"Hudak","year":"1989","journal-title":"ACM Comput. Surv."},{"key":"2025043023040605600_CIT0007","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S1574-6526(07)03004-0","volume-title":"Foundations of Artificial Intelligence","author":"Rossi","year":"2008"},{"issue":"2","key":"2025043023040605600_CIT0008","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/18.910572","article-title":"Factor Graphs and the Sum-Product Algorithm","volume":"47","author":"Kschischang","year":"2001","journal-title":"IEEE Trans. Inform. Theory"},{"issue":"1","key":"2025043023040605600_CIT0009","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MSP.2004.1267047","article-title":"An Introduction to Factor Graphs","volume":"21","author":"Loeliger","year":"2004","journal-title":"IEEE Signal Process. Magaz."},{"key":"2025043023040605600_CIT0010","volume-title":"Functional Programming: Practice and Theory","author":"MacLennan","year":"1990"},{"key":"2025043023040605600_CIT0011","author":"International Organization for Standardization","year":"2023"},{"issue":"5","key":"2025043023040605600_CIT0012","doi-asserted-by":"publisher","first-page":"38:1","DOI":"10.1145\/3453652","article-title":"Determinism","volume":"20","author":"Lee","year":"2021","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"2025043023040605600_CIT0013","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-322-96657-5_5","volume-title":"Dynamics Reported","author":"Willems","year":"1989"},{"issue":"1","key":"2025043023040605600_CIT0014","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1111\/1467-9531.271028","article-title":"Socioeconomic Indexes for Occupations: A Review, Update, and Critique","volume":"27","author":"Hauser","year":"1997","journal-title":"Soc. Methodol."},{"issue":"7","key":"2025043023040605600_CIT0015","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1073\/pnas.6.7.410","article-title":"Analytical Note on Certain Rhythmic Relations in Organic Systems","volume":"6","author":"Lotka","year":"1920","journal-title":"Proc. Natl. Acad. Sci. U S A"},{"key":"2025043023040605600_CIT0016","author":"Ouliaris","year":"2012"},{"key":"2025043023040605600_CIT0017","author":"Fong","year":"2018"},{"key":"2025043023040605600_CIT0018","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1609.05382","volume-title":"Ph.D thesis","author":"Fong","year":"2016"},{"issue":"9","key":"2025043023040605600_CIT0019","doi-asserted-by":"publisher","first-page":"1750028","DOI":"10.1142\/S0129055X17500283","article-title":"A Compositional Framework for Reaction Networks","volume":"29","author":"Baez","year":"2017","journal-title":"Rev. Math. Phys."},{"key":"2025043023040605600_CIT0020","doi-asserted-by":"crossref","DOI":"10.4204\/EPTCS.333.4","article-title":"Wiring Diagrams as Normal Forms for Computing in Symmetric Monoidal Categories","author":"Patterson","year":"2021"},{"issue":"2","key":"2025043023040605600_CIT0021","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3934\/mine.2023036","article-title":"A Diagrammatic View of Differential Equations in Physics","volume":"5","author":"Patterson","year":"2022","journal-title":"MINE"},{"key":"2025043023040605600_CIT0022","author":"Mac Lane","year":"1971"},{"key":"2025043023040605600_CIT0023","first-page":"250","volume-title":"System Dynamics","author":"Palm","year":"2014","edition":"3rd ed"},{"key":"2025043023040605600_CIT0024","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-9368-7","volume-title":"Bond Graph Modelling of Engineering Systems: Theory, Applications and Software Support","author":"Borutzky","year":"2011"},{"key":"2025043023040605600_CIT0025","author":"Paytner","year":"2000"},{"issue":"1","key":"2025043023040605600_CIT0026","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01833294","article-title":"On the Use of Linear Graph Theory in Multibody System Dynamics","volume":"9","author":"McPhee","year":"1996","journal-title":"Nonlinear Dyn."},{"issue":"3","key":"2025043023040605600_CIT0027","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1121\/1.1907949","article-title":"Isomorphisms Between Oriented Linear Graphs and Lumped Physical Systems","volume":"27","author":"Trent","year":"1955","journal-title":"J. Acoust. Soc. Am."},{"issue":"24","key":"2025043023040605600_CIT0028","doi-asserted-by":"publisher","first-page":"509","DOI":"10.2307\/2957184","article-title":"What is Capital?","volume":"6","author":"Fisher","year":"1896","journal-title":"Econ. J."},{"key":"2025043023040605600_CIT0029","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.380.5","article-title":"Compositional Modeling With Stock and Flow Diagrams","author":"Baez","year":"2023"},{"issue":"1","key":"2025043023040605600_CIT0030","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The Entity-Relationship Model\u2014Toward a Unified View of Data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Trans. Database Syst."},{"key":"2025043023040605600_CIT0031","author":"Gilbreth","year":"1921"},{"key":"2025043023040605600_CIT0032","author":"Ibe","year":"2013"},{"issue":"2","key":"2025043023040605600_CIT0033","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1017\/S0269888910000251","article-title":"Learning Bayesian Networks: Approaches and Issues","volume":"26","author":"Daly","year":"2011","journal-title":"Knowl. Eng. Rev."},{"key":"2025043023040605600_CIT0034","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511803161","volume-title":"Causality","author":"Pearl","year":"2009"},{"issue":"2","key":"2025043023040605600_CIT0035","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/PL00007197","article-title":"Composable Models for Simulation-Based Design","volume":"17","author":"Paredis","year":"2001","journal-title":"EWC"},{"key":"2025043023040605600_CIT0036","author":"Peak","year":"2005"},{"key":"2025043023040605600_CIT0037","author":"Object Modeling Group","year":"2007"},{"issue":"1","key":"2025043023040605600_CIT0038","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TSSC.1969.300244","article-title":"Constraint Theory, Part I: Fundamentals","volume":"5","author":"Friedman","year":"1969","journal-title":"IEEE Trans. Syst. Sci. Cyber."},{"key":"2025043023040605600_CIT0039","first-page":"276","volume-title":"Encyclopedia of Artificial Intelligence","author":"Dechter","year":"1992","edition":"2nd ed"},{"key":"2025043023040605600_CIT0040","volume-title":"Constraint Networks: Targeting Simplicity for Techniques and Algorithms","author":"Lecoutre","year":"2013"},{"issue":"1","key":"2025043023040605600_CIT0041","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1115\/1.1344877","article-title":"Modeling and Simulation Methods for Design of Engineering Systems","volume":"1","author":"Sinha","year":"2001","journal-title":"ASME J. Comput. Inf. Sci. Eng"},{"key":"2025043023040605600_CIT0042","author":"Morris","year":"2025"},{"key":"2025043023040605600_CIT0043","unstructured":"Andersson, C.\n          , 2016, \u201cMethods and Tools for Co-Simulation of Dynamic Systems With the Functional Mock-Up Interface,\u201d Doctoral Dissertation in Mathematical Sciences, Lund University, Lund, Sweden."},{"key":"2025043023040605600_CIT0044","article-title":"Improving Dynamic System Model Building Through Constraints","author":"de Vries","year":"1997"},{"issue":"4","key":"2025043023040605600_CIT0045","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1017\/S0890060498124095","article-title":"SyDeR\u2014System Design for Reusability","volume":"12","author":"Feldkamp","year":"1998","journal-title":"AIEDAM"},{"key":"2025043023040605600_CIT0046","doi-asserted-by":"crossref","DOI":"10.3384\/ecp11063105","article-title":"The Functional Mockup Interface for Tool Independent Exchange of Simulation Models","author":"Blochwitz","year":"2011"},{"key":"2025043023040605600_CIT0047","first-page":"179","article-title":"Requirements for Hybrid Cosimulation Standards","author":"Broman","year":"2015"},{"issue":"1","key":"2025043023040605600_CIT0048","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10270-019-00735-y","article-title":"Thirteen Years of SysML: A Systematic Mapping Study","volume":"19","author":"Wolny","year":"2020","journal-title":"Softw. Syst. Model"},{"key":"2025043023040605600_CIT0049","volume-title":"Logics and Models of Concurrent Systems","author":"Harel","year":"1985"},{"key":"2025043023040605600_CIT0050","author":"Friedman","year":"2017"},{"issue":"3","key":"2025043023040605600_CIT0051","doi-asserted-by":"publisher","first-page":"49:1","DOI":"10.1145\/3179993","article-title":"Co-Simulation: A Survey","volume":"51","author":"Gomes","year":"2018","journal-title":"ACM Comput. Surv."},{"key":"2025043023040605600_CIT0052","author":"Berge","year":"1973"},{"key":"2025043023040605600_CIT0053","volume-title":"Topics in Algebra","author":"Herstein","year":"1964","edition":"1st ed."},{"key":"2025043023040605600_CIT0054","author":"Ausiello","year":"1992"},{"issue":"Part B","key":"2025043023040605600_CIT0055","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.tcs.2016.03.016","article-title":"Directed Hypergraphs: Introduction and Fundamental Algorithms\u2014A Survey","volume":"658","author":"Ausiello","year":"2017","journal-title":"Theor. Comput. Sci."},{"key":"2025043023040605600_CIT0056","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53622-3","volume-title":"Graph Theory","author":"Diestel","year":"2017"},{"key":"2025043023040605600_CIT0057","author":"Wymore","year":"1993"},{"key":"2025043023040605600_CIT0058","author":"Rossi","year":"2007"},{"issue":"3","key":"2025043023040605600_CIT0059","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1177\/0037549718759775","article-title":"Semantic Adaptation for FMI Co-Simulation With Hierarchical Simulators","volume":"95","author":"Gomes","year":"2019","journal-title":"Simulation"},{"key":"2025043023040605600_CIT0060","first-page":"487","article-title":"Secure Exchange of Black-Box Simulation Models Using FMI in the Industrial Context","author":"Wolf","year":"2023"},{"key":"2025043023040605600_CIT0061","author":"Morris","year":"2024"},{"key":"2025043023040605600_CIT0062","author":"Moigne","year":"2022"},{"key":"2025043023040605600_CIT0063","author":"Walters","year":"2019"},{"key":"2025043023040605600_CIT0064","author":"Walker","year":"2023"},{"key":"2025043023040605600_CIT0065","author":"Budiardjo","year":"2021"},{"key":"2025043023040605600_CIT0066","author":"Akroyd","year":"2020"}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/25\/6\/061005\/7458096\/jcise-24-1525.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/25\/6\/061005\/7458096\/jcise-24-1525.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T03:04:21Z","timestamp":1746068661000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/25\/6\/061005\/1214683\/Unified-System-Modeling-and-Simulation-via"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,30]]},"references-count":66,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2025,6,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.4068375","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"value":"1530-9827","type":"print"},{"value":"1944-7078","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,30]]},"article-number":"061005"}}