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.
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 ScholarDigital Library
- 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 Scholar
- Matthew Hause et al. 2006. The SysML modelling language. In Fifteenth European Systems Engineering Conference, Vol. 9. 1--12.Google Scholar
- Matthew Horridge and Sean Bechhofer. 2011. The OWL API: A Java API for OWL ontologies. Semantic Web 2 (2011), 11--21. Issue 1. Google ScholarCross Ref
- 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 ScholarDigital Library
- Bart Kosko. 1986. Fuzzy Cognitive Maps. International Journal of Man-Machine Studies 24 (1986), 65--75.Google ScholarDigital Library
- Edward Ashford Lee. 2017. Plato and the Nerd The Creative Partnership of Humans and Technology. The MIT Press.Google Scholar
- 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 Scholar
- Mark A. Musen. 2015. The protégé project: a look back and a look forward. AI Matters 1, 4 (2015), 4--12. Google ScholarDigital Library
- 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 Scholar
- Ahsan Qamar, Sebastian Herzig, and Christiaan J.J. Paredis. 2013. A Domain-Specific Language for Dependency Management in Model-Based Systems Engineering. (2013).Google Scholar
- 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 ScholarCross Ref
- 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 ScholarCross Ref
- 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 ScholarCross Ref
- 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 ScholarCross Ref
- 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 Scholar
- 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 ScholarCross Ref
- 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 ScholarDigital Library
- 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 ScholarCross Ref
- 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 Scholar
Index Terms
- An ontology DSL for the co-design of mechatronic systems
Recommendations
Enhancing domain specific language implementations through ontology
WOLFHPC '15: Proceedings of the 5th International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance ComputingDomain specific languages (DSLs) offer an attractive path to program large-scale, heterogeneous parallel computers since application developers can leverage high-level annotations defined by DSLs to efficiently express algorithms without being ...
An ontology co-design method for the co-creation of a continuous care ontology
Ontology engineering methodologies tend to emphasize the role of the knowledge engineer or require a very active role of domain experts. In this paper, a participatory ontology engineering method is described that holds the middle ground between these ...
Constraint specifications for domain-specific systems: ontology-driven approach
Well-formed Domain Specific Modelling Languages (DSML) are devised based on well-defined sets of syntaxes and semantics. These precisions are obtained raising at abstraction levels in domain specifications. Yet, appropriate representations of constraints ...
Comments