scholarly journals Adapted Rules for UML Modelling of Geospatial Information for Model-Driven Implementation as OWL Ontologies

2019 ◽  
Vol 8 (9) ◽  
pp. 365 ◽  
Author(s):  
Jetlund ◽  
Onstein ◽  
Huang
Keyword(s):  
Spatial Information ◽  
Unified Modeling Language ◽  
Transport Systems ◽  
Geospatial Information ◽  
Unified Modeling ◽  
Model Driven ◽  
Open World ◽  
Ontology Language ◽  
Data Files ◽  
Open World Assumption

This study aims to improve the implementation of models of geospatial information in Web Ontology Language (OWL). Large amounts of geospatial information are maintained in Geographic Information Systems (GIS) based on models according to the Unified Modeling Language (UML) and standards from ISO/TC 211 and the Open Geospatial Consortium (OGC). Sharing models and geospatial information in the Semantic Web will increase the usability and value of models and information, as well as enable linking with spatial and non-spatial information from other domains. Methods for conversion from UML to OWL for basic concepts used in models of geospatial information have been studied and evaluated. Primary conversion challenges have been identified with specific attention to whether adapted rules for UML modelling could contribute to improved conversions. Results indicated that restrictions related to abstract classes, unions, compositions and code lists in UML are challenging in the Open World Assumption (OWA) on which OWL is based. Two conversion challenges are addressed by adding more semantics to UML models: global properties and reuse of external concepts. The proposed solution is formalized in a UML profile supported by rules and recommendations and demonstrated with a UML model based on the Intelligent Transport Systems (ITS) standard ISO 14825 Geographic Data Files (GDF). The scope of the resulting ontology will determine to what degree the restrictions shall be maintained in OWL, and different conversion methods are needed for different scopes.

scholarly journals A STRUCTURE OF UML PROFILES FOR MODELLING OF GEOSPATIAL INFORMATION IN GIS, ITS AND BIM

2020 ◽  
Vol VI-4/W1-2020 ◽  
pp. 101-108
Author(s):  
K. Jetlund
Keyword(s):  
Transport Systems ◽  
Specific Information ◽  
Geospatial Information ◽  
Intelligent Transport ◽  
Model Driven ◽  
Geography Markup Language ◽  
Ontology Language ◽  
Information Models ◽  
Uml Profiles ◽  
Building Information

Abstract. This study aims to improve the interoperability between models of geospatial information from the applications domains of Geographic Information Systems (GIS), Intelligent Transport Systems (ITS) and Building Information Models (BIM). A state-of-the-art analysis showed that the Unified Modelling Language (UML) and Model-Driven Architecture (MDA) are used for modelling information in a geospatial context in all three domains, but with different approaches and levels of formality. A structure of formal UML profiles for modelling of geospatial information in GIS, ITS and BIM is suggested and tested for implementation. The Core Geospatial Profile (GCP) and general encoding profiles for the Geography Markup Language (GML) and the Web Ontology Language (OWL) are based on adapted concepts from ISO/TC 211 standards. Community specific profiles for conceptual models and encodings are based on UML profiles and the use of UML for specific information models in the three application domains. The studies and related research showed that the structure of UML profiles could be implemented and used for information modelling in the UML software Enterprise Architect and that existing profiles and information models could be adapted into the framework. Integration of information models in a common approach based on MDA and UML establishes a fundament for improved interoperability through a shared understanding of the digital representation of the real world.

ACTIVITY BASED CIM MODELING AND TRANSFORMATION FOR BUSINESS PROCESS SYSTEMS

2010 ◽  
Vol 20 (03) ◽  
pp. 289-309 ◽  
Author(s):  
JIANFU ZHANG ◽  
PINGFA FENG ◽  
ZHIJUN WU ◽  
DINGWEN YU ◽  
KEN CHEN
Keyword(s):  
Business Process ◽  
Process Model ◽  
Unified Modeling Language ◽  
Decomposition Approach ◽  
Process Systems ◽  
Unified Modeling ◽  
Model Driven ◽  
Ontology Language ◽  
Acquisition Method ◽  
Independent Model

Computation-Independent Model (CIM) to capture domain requirements and the transformation from CIM to the Platform-Independent Model (PIM) are two crucial parts of the Model-Driven Architecture (MDA). This paper presents an ontology-activity-based CIM modeling approach to achieve a semi-automatic transformation from CIM to PIM. It proposes that the key elements in business process modeling are activities and these should therefore form the basis in constructing the domain ontology. Aiming to provide the key description capability for the process model, it discusses the hierarchy of the model by adding an activity dimension between the object and process tiers. It also proposes a model-relevance-calculation-based method for extracting ontology activities from the process meta-models. Based on the presented model acquisition method, a decomposition approach is proposed to simplify the complexity of the transformation relationships between the CIM and PIM by introducing the concepts of ontology activities. A general framework surrounding the transformation from CIM to PIM is discussed. It uses the Web Ontology Language (OWL) to describe the ontology activity and considers the Unified Modeling Language (UML) to be the PIM.

scholarly journals Διαδικασία ανάπτυξης βιομηχανικών εφαρμογών ελέγχου και εργαλείο υποστήριξής της

2006 ◽  
Author(s):  
Χρήστος Τρανώρης
Keyword(s):  
Unified Modeling Language ◽  
International Electrotechnical Commission ◽  
Object Constraint Language ◽  
Unified Modeling ◽  
Model Driven ◽  
Function Block ◽  
Uml Profiles ◽  
Constraint Language ◽  
Function Blocks ◽  
Meta Modeling

Η αναβάθμιση της διαδικασίας ανάπτυξης εφαρμογών λογισμικού που αφορούν τον έλεγχο βιομηχανικών συστημάτων, είναι ένα θέμα που απασχολεί για δεκαετίες του μηχανικούς ελέγχου αλλά και τους μηχανικούς λογισμικού. Κατά την ανάπτυξη των βιομηχανικών εφαρμογών, οι μηχανικοί καλούνται να ικανοποιήσουν πληθώρα απαιτήσεων μεταξύ των οποίων: συμβατότητα με το υπάρχον εγκατεστημένο υλικό, συμβατότητα με τις ήδη εγκατεστημένες παλαιότερες εφαρμογές και επαναχρησιμοποίηση τμημάτων λογισμικού. Για τους παραπάνω λόγους, αναζητούνται συνεχώς λύσεις οι οποίες: θα προσφέρουν μια περισσότερο φιλική προς το μηχανικό ελέγχου διαδικασία ανάπτυξης η οποία θα υποστηρίζει επεκτασιμότητα των εφαρμογών, θα διευκολύνει την επαναχρησιμοποίηση τμημάτων του λογισμικού, θα ενισχύει την συντήρηση του λογισμικού και θα είναι ανεξάρτητη από το υλικό εκτέλεσης των βιομηχανικών συστημάτων. Η International Electrotechnical Commission (IEC) για να αντιμετωπίσει τις απαιτήσεις των σύγχρονων συστημάτων δημιούργησε το πρότυπο IEC61499 το οποίο έρχεται να επεκτείνει το Function Block του IEC61131. Το IEC61499, καθορίζει μια μεθοδολογία σχεδιασμού, όπου το Function Block είναι το βασικό δομικό συστατικό για την ανάπτυξη διαλειτουργικών κατανεμημένων εφαρμογών αυτοματισμού και ελέγχου. Οι εφαρμογές ελέγχου μπορούν να υλοποιηθούν από Function Block δίκτυα διασυνδέοντας τις εισόδους και εξόδους τους. Το IEC61499 προτείνει επίσης τον σχεδιασμό εργαλείων λογισμικού για την υποστήριξη (εν μέρει αυτοματοποίηση) της διαδικασίας ανάπτυξης. Στην παρούσα διατριβή, παρουσιάζεται μια νέα προσέγγιση για τον σχεδιασμό κατανεμημένων βιομηχανικών εφαρμογών και πιο συγκεκριμένα Συστημάτων Μέτρησης και Ελέγχου Βιομηχανικών Διεργασιών1 (IPMCSs) όπως τα ορίζει το πρότυπο IEC. Η προσέγγιση εστιάζει στον ορισμό μιας μεθοδολογίας για την φάση της ανάλυσης και κύρια την τεκμηρίωση των απαιτήσεων και τον μετέπειτα μετασχηματισμό του μοντέλου ανάλυσης σε μοντέλο σχεδιασμού. Η προτεινόμενη προσέγγιση βασίζεται σε κατάλληλα οριζόμενες έννοιες και τεχνικές και αξιοποιεί τελευταίες τάσεις από το χώρο της Μηχανιστικής Λογισμικού (Software Engineering), όπως είναι η έννοια της μετα-μοντελοποίησης (Meta-modeling) όπως αυτή ορίζεται στα πλαίσια της βασισμένης σε μοντέλα ανάπτυξης (Model Driven Development) και της Unified Modeling Language (UML) και των επεκτάσεων της (UML Profiles) και εφαρμογή αυτών στο σχεδιασμό βιομηχανικών εφαρμογών. Για την ομαλή μετάβαση από τις καταγεγραμμένες απαιτήσεις σε μοντέλα σχεδιασμού τεκμηριώθηκε και παρουσιάζεται ένα σύνολο κανόνων μετασχηματισμού το οποίο περιγράφηκε αυστηρά με χρήση της Object Constraint Language. Για να αξιοποιηθεί η προτεινόμενη προσέγγιση από μηχανικούς ελέγχου, σχεδιάστηκε και υλοποιήθηκε ένα εργαλείο λογισμικού συμβατό με το πρότυπο IEC61499. Το εργαλείο που έχει το όνομα CORFU ESS έρχεται να υποστηρίξει: α) την φάση της ανάλυσης, β) τον μετασχηματισμό του μοντέλου ανάλυσης σε μοντέλο σχεδιασμού, γ) τον σχεδιασμό εφαρμογών με Function Blocks όπως ορίζει το IEC61499, δ) την κατανομή των Function Block στις συσκευές των βιομηχανικών δικτύων και ε) τον έλεγχο των τελικών Function Block δικτύων. Η προσέγγιση εφαρμόσθηκε σε μελέτες περίπτωσης για να επιδείξει την εφαρμοσιμότητα της προτεινόμενης διαδικασίας, την αποτελεσματικότητα του εργαλείου που αναπτύχθηκε και την δυνατότητα της διαδικασίας και του εργαλείου να καλύψουν απαιτήσεις μικρής ή μεγάλης κλίμακας εφαρμογών.

From MARTE to Reconfigurable NoCs

2010 ◽  
pp. 135-157
Author(s):  
Imran Rafiq Quadri ◽  
Majdi Elhaji ◽  
Samy Meftali ◽  
Jean-Luc Dekeyser
Keyword(s):  
System Modeling ◽  
Unified Modeling Language ◽  
Modeling And Analysis ◽  
Unified Modeling ◽  
Model Driven ◽  
Abstraction Level ◽  
Management Group ◽  
High Level Modeling ◽  
High Level ◽  
Abstraction Levels

Due to the continuous exponential rise in SoC’s design complexity, there is a critical need to find new seamless methodologies and tools to handle the SoC co-design aspects. We address this issue and propose a novel SoC co-design methodology based on Model Driven Engineering and the MARTE (Modeling and Analysis of Real-Time and Embedded Systems) standard proposed by Object Management Group, to raise the design abstraction levels. Extensions of this standard have enabled us to move from high level specifications to execution platforms such as reconfigurable FPGAs. In this chapter, we present a high level modeling approach that targets modern Network on Chips systems. The overall objective: to perform system modeling at a high abstraction level expressed in Unified Modeling Language (UML); and afterwards, transform these high level models into detailed enriched lower level models in order to automatically generate the necessary code for final FPGA synthesis.

Modeling of Linguistic Reference Schemes

2015 ◽  
Vol 6 (4) ◽  
pp. 1-23 ◽  
Author(s):  
Terry Halpin
Keyword(s):  
Unified Modeling Language ◽  
Definite Descriptions ◽  
Modeling Languages ◽  
Database Modeling ◽  
Language Version ◽  
Unified Modeling ◽  
Ontology Language ◽  
Comparative Review ◽  
Entity Relationship ◽  
Object Role Modeling

When using natural language, people typically refer to individual things by using proper names or definite descriptions. Data modeling languages differ considerably in their support for such linguistic reference schemes. Understanding these differences is important for modeling reference schemes within such languages and for transforming models from one language to another. This article provides a comparative review of reference scheme modeling within the Unified Modeling Language (version 2.5), the Barker dialect of Entity Relationship modeling, Object-Role Modeling (version 2), relational database modeling, and the Web Ontology Language (version 2.0). The author identifies which kinds of reference schemes can be captured within these languages as well as those reference schemes that cannot be. The author's analysis covers simple reference schemes, compound reference schemes, disjunctive reference and context-dependent reference schemes.

scholarly journals Information Exchange between GIS and Geospatial ITS Databases Based on a Generic Model

2019 ◽  
Vol 8 (3) ◽  
pp. 141 ◽  
Author(s):  
Knut Jetlund ◽  
Erling Onstein ◽  
Lizhen Huang
Keyword(s):  
Information Exchange ◽  
Information Needs ◽  
Route Planning ◽  
Transport Systems ◽  
Generic Model ◽  
Geospatial Information ◽  
Model Driven ◽  
Geography Markup Language ◽  
Navigation Data ◽  
Gis Databases

This study aims to improve interoperability between Geographic Information Systems (GIS) and geospatial databases for Intelligent Transport Systems (ITS). Road authorities maintain authoritative information for legal and safe navigation in GIS databases. This information needs to be shared with ITS databases for route planning and navigation, and for use in combination with local knowledge from vehicle sensors. Current solutions for modelling and exchanging geospatial information in the domains of GIS and ITS have been studied and evaluated. Limitations have been pointed out related to usability in the GIS domain and flexibility for representing an evolving real world. A prototype for an improved information exchange model has been developed, based on ISO/TC 211 standards, Model Driven Architecture (MDA), and concepts from the studied solutions. The prototype contains generic models for feature catalogues and features, with implementation schemas in the Geography Markup Language (GML). Results from a case study indicated that the models could be implemented with feature catalogues from the ITS standard ISO 14825 Geographic Data Files (GDF) and the INSPIRE Transport Networks specification. The prototype can be a candidate solution for improved information exchange from GIS databases to ITS databases that are based on the Navigation Data Standard.

FMDesign: A Tool and Interchange Format for Product Concept Designs

2005 ◽  
Author(s):  
Olof Johansson ◽  
Petter Krus
Keyword(s):  
Systems Engineering ◽  
Unified Modeling Language ◽  
Product Concept ◽  
Unified Modeling ◽  
Model Driven ◽  
Product Models ◽  
Implementation Techniques ◽  
Concept Evaluation ◽  
Uml Class Diagram ◽  
Interchange Format

This paper presents a formalized approach to design product models in the product concept evaluation phases, and exchange the models with other engineering tools using open formats like XML and relational database tables. FMDesign is used for designing product concepts with the aid of integrated stakeholder trees, requirement trees, function-means trees, product concept trees, and implementation trees. It has its foundation in systems engineering and design methodology, and presents a formalization and integration with theory from software engineering that enable similar engineering tools to be implemented with automated model driven software implementation techniques that support the Unified Modeling Language (UML). The paper provides an overview of the theory behind the tool, its user interface, interchange formats and the formal software specification as an UML class diagram.

scholarly journals Problems and Perspectives of Code Generation from UML Class Diagram

2011 ◽  
Vol 44 (1) ◽  
pp. 75-84 ◽  
Author(s):  
Janis Sejans ◽  
Oksana Nikiforova
Keyword(s):  
Programming Language ◽  
Code Generation ◽  
Unified Modeling Language ◽  
Experimental Models ◽  
Class Diagram ◽  
Code Generator ◽  
Unified Modeling ◽  
Model Driven ◽  
Technological Diversity ◽  
Uml Class Diagram

Problems and Perspectives of Code Generation from UML Class Diagram As a result of increasing technological diversity, more attention is being focused on model driven architecture (MDA), and its standard - Unified Modeling Language (UML). UML class diagrams require correct diagram notation mapping to target programming language syntax under the framework of MDA. Currently there are plenty of CASE tools which claim that they are able to generate the source code from UML models. Therefore by combining the knowledge of a programming language, syntax rules and UML class diagram notation semantic, an experimental model for stressing the code generator can be produced, thus allowing comparison of quality of the transformation result. This paper describes a creation of such experimental models.

A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering

2009 ◽  
Vol 1 (4) ◽  
pp. 90-110 ◽  
Author(s):  
Yucong Duan
Keyword(s):  
Theoretical Investigation ◽  
Context Sensitivity ◽  
Software Implementation ◽  
Model Driven Engineering ◽  
Closed World Assumption ◽  
Model Driven ◽  
Open World ◽  
Closed World ◽  
Open World Assumption ◽  
Measure Evaluation

Firstly this article presents a thorough discussion of semantics formalization related issues in model driven engineering (MDE). Then motivated for the purpose of software implementation, and attempts to overcome the shortcomings of incompleteness and context-sensitivity in the existing models, we propose to study formalization of semantics from a cognitive background. Issues under study cover the broad scope of overlap vs. incomplete vs. complete, closed world assumption (CWA) vs. open world assumption (OWA), Y(Yes)/N(No) vs. T(True)/F(False), subjective (SUBJ) vs. objective (OBJ), static vs. dynamic, unconsciousness vs. conscious, human vs. machine aspects, and so forth. A semantics formalization approach called EID-SCE (Existence Identification Dualism-Semantics Cosmos Explosion) is designed to meet both the theoretical investigation and implementation of the proposed formalization goals. EID-SCE supports the measure/evaluation in a {complete, no overlap} manner whether a given concept or feature is an improvement. Some elementary cases are also shown to demonstrate the feasibility of EID-SCE.

Model Driven Architecture (MDA)

2010 ◽  
pp. 15-33 ◽  
Author(s):  
Liliana María Favre
Keyword(s):  
Unified Modeling Language ◽  
Enterprise Application Integration ◽  
System Specification ◽  
Model Driven Architecture ◽  
Unified Modeling ◽  
Model Driven ◽  
Software Applications ◽  
Enterprise Application ◽  
Architectural Framework ◽  
Requirement Specifications

The architecture of a system is a specification of software components, interrelationships, and rules for component interactions and evolution over time. In 2001 OMG, adopted an architecture standard, the Model Driven Architecture (MDA). MDA is an architectural framework for improving portability, interoperability and reusability through separation of concerns (MDA, 2003) (MDA, 2005). It is not itself a technology specification but it represents an evolving plan to achieve cohesive model-driven technology specifications. MDA is built on OMG standards including the Unified Modeling Language (UML), the XML Metadata Interchange (XMI) (XMI, 2007) and CORBA (CORBA, 1992) (CORBA, 2002) a major middleware standard. MDA is model-driven because it uses models to direct the complete lifecycle of a system. All artifacts such as requirement specifications, architecture descriptions, design descriptions and code, are regarded as models. MDA provides an approach for specifying a system independently of the platforms that it supports, specifying platforms, selecting a particular platform for the system, and transforming the system specification into one implementation for the selected particular platform. Why MDA? OMG has focused on the creation of open specifications to encourage application interoperability. It was defined to solve enterprise application integration. A middleware describes a piece of software that connects two or more software applications, allowing them to exchange data. To achieve this, it must be implemented for all different languages and platforms that need linking.

Sign in / Sign up

Export Citation Format

Share Document