Ing. Mohamed Bettaz, CSc.

Stať ve sborníku

10.5220/0012854500003758

Katedra softwarového inženýrství
Katedra počítačových systémů

OntoObject-Z is a descriptive language inspired by OntoUML. Just as OntoUML is a profile for the Unified Modeling Language (UML), OntoObject-Z is an extension of the Object-Z notation. The objective of this article is threefold. We first define a metamodel for OntoObject-Z and an EBNF-like notation formalizing the syntax of OntoObject-Z specifications. Second, we construct a partial ontology for Virtual Local Area Networks (VLANs) and describe it by OntoUML models. Third, we implement our OntoUML models with OntoObject-Z specifications. The OntoObject-Z metamodel is expressed in OntoUML and the proposed EBNF rules are based on OntoUML concepts. Thanks to this, each syntactically correct OntoObject-Z specification corresponds de facto to a correct implementation of an OntoUML model.

Článek

10.31449/inf.v48i4.5845

Katedra softwarového inženýrství
Katedra počítačových systémů

Few works addressed contributions of ontologies to Computation Independent Modeling (CIM) of Internet of Things’ (IoT) applications. This work targets CIM artefacts developed using a combination of a goal-oriented requirements (KAOS) and a service-oriented (SoAML) modeling frameworks. This paper proposes an ontological-based framework intended to help CIM modelers in their preliminary analysis of IoT applications. We adopt the ontology reuse approach, an approach often used by the ontology engineering community, where specific ontology fragments are selected, adapted and/or refined, and merged. We use OntoUML to describe our fragments. The OpenPonk tool is used to edit and verify the syntax and the semantics of these fragments’ models. The results of our contribution are summarized as follows. Improving the semantics carried by the metamodels of KAOS and SoaML modeling languages, through our proposed conceptualization grounded by the Unified Foundational Ontology (UFO), a sound ontological framework; setting a link between our proposed KAOS and SoaML ontology fragments; designing a (partial) IoT domain ontology to be integrated into our proposed CIM. An illustrative example, showing how to instantiate selected ontology fragments, demonstrates the applicability of our results to IoT applications.

Stať ve sborníku

10.1109/IC3I59117.2023.10397921

Katedra softwarového inženýrství
Katedra počítačových systémů

The ultimate goal of our current research work is to design a new ontology-based language (OntoObject-Z) suitable for descriptive specifications of hardware/software systems. OntoObject-Z should be able to support Model Driven Architecture (MDA) development methodology enabling system implementation through progressive refinement of descriptive specifications. A first motivation is to contribute to the effort carried out by the community of researchers sharing the idea that the description of the problem space (as opposed to the description of the solution space) must be addressed in 'appropriate' languages. The second motivation is to avoid 'model bias ' in our stepwise refinement approach. Model bias is encountered when addressing the Computing Independent Model (CIM) of complex systems such as the Internet of Things (IoT), where prescriptive languages are still favored for reasons explained later. In this research paper, we present the characteristics and the basic ingredients of our language by adopting a qualitative research method supported by illustrative cases, by privileging readability, saving by the way space and time for the reader

Stať ve sborníku

10.1109/UPCON59197.2023.10434647

Katedra softwarového inženýrství
Katedra počítačových systémů

The objective of this paper is twofold. First, we build an ontology for a simplified network management system; to our knowledge, no attempts have been made using OntoUML or UFO based approaches. Second, we propose a refinement approach for ontologies specified in OntoUML. This refinement approach allows us to avoid some of the pitfalls of inheritance as used in 'classic' object-oriented specification and programming in general and in OntoUML in particular. Our refinement approach is illustrated through its application to the proposed network management system ontology.