An ontology DSL for the co-design of mechatronic systems

Author:

Cornelis Milan1,Vanommeslaeghe Yon1,Van Acker Bert1,De Meulenaere Paul1

Affiliation:

1. University of Antwerp, Belgium and AnSyMo/Cosys, Flanders Make, Antwerp, Belgium

Publisher

ACM

Reference25 articles.

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

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_Metamodel 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_Metamodel

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/ 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/

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/308967849 István Dávid Joachim Denil and Hans Vangheluwe. 2015. Towards Inconsistency Management by Process-Oriented Dependency Modeling. (2015). https://www.researchgate.net/publication/308967849

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

Cited by 3 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. A Survey of Ontologies Considering General Safety, Security, and Operation Aspects in OT;IEEE Open Journal of the Industrial Electronics Society;2024

2. Towards Continuous Verification and Validation of Multi-Domain System Designs;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

3. Weaving System-Level Properties with Architectural Decomposition for Mechatronic Co-Design;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3