A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Ontological reasoning as an enabler of contract-based co-design
Abstract: Because of the combination of computational, networking and physical artifacts, different engineering disciplines are involved in the design of a Cyber-Physical System (CPS). This multidisciplinary approach leads to different, often contradicting, views on the system under design which in the end might lead to inconsistencies between domain specific properties. Contract-Based Design (CBD) aims to prevent these contradictions by defining possible conflicting properties in a contract. These contracts consist of a set of pre-and postconditions. Although the current state-of-the-art describes the abstraction/refinement, composition and multi-view analysis and verification principles of CBD, it lacks methods and techniques to identify the shared properties in concurrent design processes. By combining the theory of CBD with the principles of ontological reasoning, this paper intents to provide a framework which enables Contract-Based Co-Design (CBCD). The feasibility of this framework will be explained by means of a running CPS example.
Ontological reasoning as an enabler of contract-based co-design
Abstract: Because of the combination of computational, networking and physical artifacts, different engineering disciplines are involved in the design of a Cyber-Physical System (CPS). This multidisciplinary approach leads to different, often contradicting, views on the system under design which in the end might lead to inconsistencies between domain specific properties. Contract-Based Design (CBD) aims to prevent these contradictions by defining possible conflicting properties in a contract. These contracts consist of a set of pre-and postconditions. Although the current state-of-the-art describes the abstraction/refinement, composition and multi-view analysis and verification principles of CBD, it lacks methods and techniques to identify the shared properties in concurrent design processes. By combining the theory of CBD with the principles of ontological reasoning, this paper intents to provide a framework which enables Contract-Based Co-Design (CBCD). The feasibility of this framework will be explained by means of a running CPS example.
Ontological reasoning as an enabler of contract-based co-design
Vanherpen, Ken (author) / Denil, Joachim (author) / De Meulenaere, Paul (author) / Vangheluwe, Hans (author)
2017-01-01
0302-9743 ; Lecture notes in computer science
Article (Journal)
Electronic Resource
English
DDC:
690
CB-Contract: Case-Based Reasoning Approach to Construction Contract Strategy Formulation
| Online Contents | 2006
CB-Contract: Case-Based Reasoning Approach to Construction Contract Strategy Formulation
| British Library Online Contents | 2006
SmartCities. Technology as Enabler
| Springer Verlag | 2021