An ontological foundation for multi-paradigm modelling for cyber-physical systems

Blouin, Dominique; Al-Ali, Rima; Iacono, Mauro; Teki̇nerdoğan, Bedir; Giese, Holger

doi:10.1016/b978-0-12-819105-7.00007-6

Cited by 2 publications

(4 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…On the contrary, the purpose of constructive modeling is to establish a domain solution by prescribing nominal types for all elements of the domain, and is supported by modeling languages, i.e. SysML and first order logic via constraint languages such as OCL, understanding instances of all types through instantiation relationships [10].…”

Section: Multi-paradigm Modelingmentioning

confidence: 99%

“…The ontology is traditionally defined in OWL2 with the open-source ontology tool, such as Protégé [10]. In order to reason about properties of concept model and particularly facilitate to simplify the model-to-model transformation from one domain into another in MBSE, SysML has the same abilities with OWL2 to map the domain concepts into SysML entities or relations without affecting the concepts.…”

Section: The Declarative Modelling For Swarm Ontologymentioning

confidence: 99%

See 1 more Smart Citation

The Framework of Modeling and Simulation based-on Swarm Ontology for Autonomous Unmanned Systems

Gao¹,

Xiao²,

Xie³

et al. 2023

Preprint

View full text Add to dashboard Cite

For the emerging autonomous swarm technology, from the perspective of systems science and systems engineering, there must be some novel elements and methods to aggregate multiple systems into a group, which distinguish with the general components with specific functions, and we expect to provide the presentation of their existence in the swarm development processes. The inspiration of our methodology origins from the integration of swarm ontology, multi-paradigm modeling, multi-agent system, cyber-physical system, etc. Therefore, we choose the model-driven technology as a framework to acquire an approach of model representation across the multiple levels of abstraction and composition. The autonomous strategic mechanism is defined and formed in parallel with ConOps analysis and systems design, so as to effectively solve the cognitive problem of emergence caused by the nonlinear causation among individual and whole behaviors. This approach highlights to use the MBSE processes and their artifacts to embed the meso mechanism to integrate the operational and the functional, and which means to connect the macro and micro aspects in formalism and so to become a whole with its expected goals, and then to verify and validate within a L-V-C simulation environment.

show abstract

Section: Multi-paradigm Modelingmentioning

confidence: 99%

Section: The Declarative Modelling For Swarm Ontologymentioning

confidence: 99%

The Framework of Modeling and Simulation based-on Swarm Ontology for Autonomous Unmanned Systems

Gao¹,

Xiao²,

Xie³

et al. 2023

Preprint

View full text Add to dashboard Cite

show abstract

“…Exploratory modeling aims to explain domain concepts by describing them, usually in the form of classification, and typically uses modeling languages such as Web Ontology Language (OWL) to specify taxonomy and Description Logic (DL) for reasoning. On the contrary, the purpose of constructive modeling is to establish a domain solution by prescribing nominal types for all elements of the domain, and is supported by modeling languages, i.e., SysML and first-order logic via constraint languages such as Object Constraint Language (OCL), understanding instances of all types through instantiation relationships [10].…”

Section: Multiparadigm Modelingmentioning

confidence: 99%

“…The ontology is traditionally defined in OWL2 with open-source ontology tools, such as Protégé [10]. In order to reason about the properties of the concept model and particularly facilitate the simplification of the model-to-model transformation from one domain into another in MBSE, SysML has the same abilities as OWL2 to map the domain concepts into SysML entities or relations without affecting the concepts.…”

Section: Descriptive Modeling For Swarm Ontologymentioning

confidence: 99%

A Framework of Modeling and Simulation Based on Swarm Ontology for Autonomous Unmanned Systems

Gao

Xiao²,

Xie³

et al. 2023

Applied Sciences

View full text Add to dashboard Cite

For the emerging autonomous swarm technology, from the perspective of systems science and Systems Engineering (SE), there must be novel methodologies and elements to aggregate multiple systems into a group, which distinguish the general components with specific functions. Here, we expect to provide a presentation of their existence in swarm development processes. The inspiration for our approach originates from the integration of swarm ontology, multiparadigm modeling, multiagent systems, cyber-physical systems, etc. Therefore, we chose the model-driven architecture as a framework to provide a method of model representation across the multiple levels of abstraction and composition. The autonomous strategic mechanism was defined and formed in parallel with Concept of Operations (ConOps) analysis and systems design, so as to effectively solve the cognitive problem of emergence caused by nonlinear causation among individual and whole behaviors. Our approach highlights the use of model-based processes and their artifacts in the swarm mechanism to integrate operational and functional models, which means connecting the macro- and micro-aspects in formalism to synthesize a whole with its expected goals, and then to verify and validate within an L-V-C simulation environment.

show abstract

An ontological foundation for multi-paradigm modelling for cyber-physical systems

Cited by 2 publications

References 7 publications

The Framework of Modeling and Simulation based-on Swarm Ontology for Autonomous Unmanned Systems

The Framework of Modeling and Simulation based-on Swarm Ontology for Autonomous Unmanned Systems

A Framework of Modeling and Simulation Based on Swarm Ontology for Autonomous Unmanned Systems

Contact Info

Product

Resources

About