skip to main content
10.1145/3550356.3561534acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article

An ontology DSL for the co-design of mechatronic systems

Authors Info & Claims
Published:09 November 2022Publication History

ABSTRACT

The complexity of mechatronic systems is vastly increasing. Therefore, the design of these systems requires different engineering domains, e.g., the mechanical, electrical, and control domains, to work together. The different domains often work in parallel to gain efficiency in this so-called co-design process. However, the design choices made by engineers in one domain can influence parameters in another domain. Too little or even no knowledge about these cross-domain influences may later lead to system integration problems or to degraded system performance. Solving these problems requires taking steps back in the development process, causing a higher design cost. In order to improve this cross-domain collaboration, we propose using ontologies to assist the co-design process by explicitly capturing the design dependencies, both within and across the engineering domains. However, designing ontologies can be complex and is labor-intensive, especially if one relies on generic ontology languages like the Web Ontology Language 2 (OWL 2). Therefore, we created a Domain Specific Language (DSL) focusing on the essential complexity, which enables engineers to design a cross-domain system ontology in a consistent and straightforward way. We elaborate on the metamodel for this DSL, discuss the realization of a prototype tool, and demonstrate how one can then reason on this ontology to derive new information about the various cross-domain design relationships.

References

  1. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, and Kim Guldstrand Larsen. 2015. Contracts for Systems Design: Theory. Research Report [RR-8760]. Inria Rennes Bretagne Atlantique; INRIA. 86 pages.Google ScholarGoogle Scholar
  2. Saartje Brockmans, Peter Haase, and Boris Motik. 2010. OWL 2 Web Ontology Language MOF-Based Metamodel (Second Edition). World Wide Web Consortium. Retrieved May 2022 from https://www.w3.org/2007/OWL/wiki/MOF-Based_MetamodelGoogle ScholarGoogle Scholar
  3. Cognitum Services S.A. 2020. CogniPy for Pandas - In-memory Graph Database and Knowledge Graph with Natural Language Interface. Cognitum Software #House. Retrieved March 2022 from https://cognitum.eu/cognipy/Google ScholarGoogle Scholar
  4. István Dávid, Joachim Denil, and Hans Vangheluwe. 2015. Towards Inconsistency Management by Process-Oriented Dependency Modeling. (2015). https://www.researchgate.net/publication/308967849Google ScholarGoogle Scholar
  5. Peter H Feiler, Bruce Lewis, Steve Vestal, and Ed Colbert. 2004. An overview of the SAE architecture analysis & design language (AADL) standard: A basis for model-based architecture-driven embedded systems engineering. In IFIP World Computer Congress, TC 2. Springer, 3--15.Google ScholarGoogle Scholar
  6. Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, and Zhe Wang. 2014. HermiT: An OWL 2 Reasoner. Journal of Automated Reasoning 53 (10 2014), 245--269. Issue 3. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Ruben E.Y. Haasjes. 2019. Metamodel Transformations Between UML and OWL. Master's thesis. University of Twente, Enschede, The Netherlands. http://essay.utwente.nl/79481/Google ScholarGoogle Scholar
  8. Matthew Hause et al. 2006. The SysML modelling language. In Fifteenth European Systems Engineering Conference, Vol. 9. 1--12.Google ScholarGoogle Scholar
  9. Matthew Horridge and Sean Bechhofer. 2011. The OWL API: A Java API for OWL ontologies. Semantic Web 2 (2011), 11--21. Issue 1. Google ScholarGoogle ScholarCross RefCross Ref
  10. Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan Kurtev. 2008. ATL: A model transformation tool. Science of Computer Programming 72 (6 2008), 31--39. Issue 1-2. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Bart Kosko. 1986. Fuzzy Cognitive Maps. International Journal of Man-Machine Studies 24 (1986), 65--75.Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Edward Ashford Lee. 2017. Plato and the Nerd The Creative Partnership of Humans and Technology. The MIT Press.Google ScholarGoogle Scholar
  13. Boris Motik, Peter F. Patel-Schneider, and Bijan Parsia. 2012. OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition). World Wide Web Consortium. Retrieved May 2022 from https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/Google ScholarGoogle Scholar
  14. Mark A. Musen. 2015. The protégé project: a look back and a look forward. AI Matters 1, 4 (2015), 4--12. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Khaled Nassim and Pattel Bibin. 2018. Practical Design and Application of Model Predictive Control MPC for MATLAB® and Simulink® Users. Mara Conner. 249 pages.Google ScholarGoogle Scholar
  16. Ahsan Qamar, Sebastian Herzig, and Christiaan J.J. Paredis. 2013. A Domain-Specific Language for Dependency Management in Model-Based Systems Engineering. (2013).Google ScholarGoogle Scholar
  17. Ahsan Qamar and Christiaan J.J. Paredis. 2012. Dependency modeling and model management in mechatronic design. Proceedings of the ASME Design Engineering Technical Conference 2, 1205--1216. Issue PARTS A AND B. Google ScholarGoogle ScholarCross RefCross Ref
  18. Diego Camara Sales, Leandro Buss Becker, and Cristian Koliver. 2022. The systems architecture ontology (SAO): an ontology-based design method for cyber-physical systems. Applied Computing and Informatics (2022). Google ScholarGoogle ScholarCross RefCross Ref
  19. Martin Törngren, Ahsan Qamar, Matthias Biehl, Frederic Loiret, and Jad ElKhoury. 2014. Integrating viewpoints in the development of mechatronic products. Mechatronics 24 (10 2014), 745--762. Issue 7. Google ScholarGoogle ScholarCross RefCross Ref
  20. Bert Van Acker, Joachim Denil, Alexander De Cock, Hans Vangheluwe, and Moharram Challenger. 2021. Knowledge Base Development and Application Processes Applied on Product-Assembly Co-design. Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021, 327--335. Google ScholarGoogle ScholarCross RefCross Ref
  21. Ken Vanherpen, Paul De Meulenaere, and Hans Vangheluwe. 2018. A Contract-Based Approach for Multi-Viewpoint Consistency in the Concurrent Design of Cyber-Physical Systems. Ph. D. Dissertation. University of Antwerp.Google ScholarGoogle Scholar
  22. Ken Vanherpen, Joachim Denil, Paul De Meulenaere, and Hans Vangheluwe. 2017. Ontological reasoning as an enabler of contract-based co-design. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10107 LNCS (2017), 101--115. Google ScholarGoogle ScholarCross RefCross Ref
  23. Yon Vanommeslaeghe, Joachim Denil, Jasper De Viaene, David Ceulemans, Stijn Derammelaere, and Paul De Meulenaere. 2021. Ontological reasoning in the design space exploration of advanced cyber-physical systems. Microprocessors and Microsystems 85 (9 2021). Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Yon Vanommeslaeghe, Joachim Denil, Bert Van Acker, and Paul De Meulenaere. 2021. Automatic Generation of Workflows for Efficient Design Space Exploration for Cyber-Physical Systems. 2021 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, Physical & Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics), 346--351. Google ScholarGoogle ScholarCross RefCross Ref
  25. W3C OWL Working Group. 2012. OWL 2 Web Ontology Language Document Overview (Second Edition). World Wide Web Consortium. Retrieved May 2022 from https://www.w3.org/TR/owl2-overview/Google ScholarGoogle Scholar

Index Terms

  1. An ontology DSL for the co-design of mechatronic systems

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Conferences
            MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
            October 2022
            1003 pages
            ISBN:9781450394673
            DOI:10.1145/3550356
            • Conference Chairs:
            • Thomas Kühn,
            • Vasco Sousa

            Copyright © 2022 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 9 November 2022

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • research-article

            Acceptance Rates

            Overall Acceptance Rate118of382submissions,31%
          • Article Metrics

            • Downloads (Last 12 months)34
            • Downloads (Last 6 weeks)2

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader