An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language

2018 ◽  
pp. 291-305
Author(s):  
Denis A. Nikiforov ◽  
Dmitriy V. Korj ◽  
Ruslan L. Sivakov
Keyword(s):  
Object Constraint Language ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Xml Documents ◽  
Constraint Language

Utilizing new capabilities of XML languages to verify integrity constraints

2012 ◽  
Author(s):  
Jakub Malý ◽  
Martin Nečaský
Keyword(s):  
Error Recovery ◽  
Higher Order ◽  
Integrity Constraints ◽  
Object Constraint Language ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Constraint Language ◽  
Higher Order Functions ◽  
Xml Technologies

In this work, we show how integrity constraints expressed using Object Constraint Language (OCL) can be verified using XML technologies - Schematron, XPath/XQuery and XSLT - and using Model Driven Architecture (MDA) principles. Some constructs typical for OCL constraints are different from the methods used in XPath/XQuery expressions. That is why for translating some OCL expressions, the standard XML toolset must be extended. We introduce such extension for the 2.0 versions of the languages, but with the new features and constructs proposed in drafts for XSLT 3.0, XPath 3.0 and XQuery 3.0, the transition from OCL is much more seamless and transparent. Higher-order functions, maps, error-recovery instructions etc. provide us with necessary power to translate a general OCL expression and we discuss in detail their potential.

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 δικτύων. Η προσέγγιση εφαρμόσθηκε σε μελέτες περίπτωσης για να επιδείξει την εφαρμοσιμότητα της προτεινόμενης διαδικασίας, την αποτελεσματικότητα του εργαλείου που αναπτύχθηκε και την δυνατότητα της διαδικασίας και του εργαλείου να καλύψουν απαιτήσεις μικρής ή μεγάλης κλίμακας εφαρμογών.

Toward UML-Compliant Semantic Web Services Development

2012 ◽  
pp. 313-325
Author(s):  
Diana M. Sánchez ◽  
César J. Acuña ◽  
José María Cavero ◽  
Esperanza Marcos
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
System Development ◽  
Semantic Web Services ◽  
Object Constraint Language ◽  
Uml Profile ◽  
Model Driven ◽  
Web Information System ◽  
Constraint Language ◽  
Service Oriented

The emerging Semantic Web and, in particular, Semantic Web services (SWS), demands the inclusion of new components in applications involving this technology. Therefore, Web development methodologies must be tailored to support the systematic development of such new components. In previous works we presented a UML profile, which extends the SOD-M method for service oriented Web Information System development of the MIDAS model-driven framework, to address the development of Semantic Web Services using WSMO (Web Service Modeling Ontology). The UML profile allows for the modeling of the new elements required by WSMO Web Services. This paper focuses on studying the possibility of improving the proposed UML profile, including the OCL (Object Constraint Language), for the representation of WSMO logical axioms through three case studies. This would allow developers, whose knowledge does not extend beyond UML, to develop applications that use Semantic Web services.

scholarly journals Model transformations to bridge concrete and abstract syntax of web rule languages

2009 ◽  
Vol 6 (2) ◽  
pp. 47-85 ◽  
Author(s):  
Milan Milanovic ◽  
Dragan Gasevic ◽  
Adrian Giurca ◽  
Gerd Wagner ◽  
Sergey Lukichev ◽  
...  
Keyword(s):  
Good Practice ◽  
Model Transformations ◽  
Abstract Syntax ◽  
Object Constraint Language ◽  
Model Driven ◽  
Transformation Language ◽  
Rule Languages ◽  
Constraint Language ◽  
Concrete Syntax ◽  
Model Transformation Language

This paper presents a solution to bridging the abstract and concrete syntax of a Web rule languages by using model transformations. Current specifications of Web rule languages such as Semantic Web Rule Language (SWRL) or RuleML define their abstract syntax (e.g., metamodel) and concrete syntax (e.g., XML schema) separately. Although the recent research in the area of Model-Driven Engineering (MDE) demonstrates that such a separation of two types of syntax is a good practice (due to the complexity of languages), one should also have tools that check validity of rules written in a concrete syntax with respect to the abstract syntax of the rule language. In this study, we use the REWERSE I1 Rule Markup Language (R2ML), SWRL, and Object Constraint Language (OCL), whose abstract syntax is defined by using metamodeling, while their textual concrete syntax is defined by using either XML/RDF schema or Extended Backus-Naur Form (EBNF) syntax. We bridge this gap by a bi-directional transformation defined in a model transformation language (ATLAS Transformation Language, ATL). This transformation allowed us to discover a number of issues in both web rule language metamodels and their corresponding concrete syntax, and thus make them fully compatible. This solution also enables for sharing web rules between different web rule languages.

scholarly journals TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties

10.29007/w2nj ◽  
2018 ◽  
Author(s):  
Wei Dou ◽  
Domenico Bianculli ◽  
Lionel Briand
Keyword(s):  
Conceptual Model ◽  
Domain Specific Language ◽  
Object Constraint Language ◽  
Specific Language ◽  
Model Driven ◽  
Domain Specific ◽  
Temporal Properties ◽  
Execution Traces ◽  
Constraint Language ◽  
Model Driven Approach

TemPsy (Temporal Properties made easy) is a pattern-based, domain-specific language for the specification of temporal properties. In this paper we provide an overview of TemPsy-Check, a tool that implements a model-driven approach for performing offline trace checking of temporal properties written in TemPsy. TemPsy-Check relies on an optimized mapping of temporal requirements written in TemPsy into Object Constraint Language (OCL) constraints on a conceptual model of execution traces.

scholarly journals An OCL-Based Framework for Model Transformations

2016 ◽  
Vol 32 (1) ◽  
Author(s):  
Duc-Hanh Dang ◽  
Martin Gogolla
Keyword(s):  
Quality Assurance ◽  
Building Block ◽  
Model Transformation ◽  
Model Transformations ◽  
Graph Grammars ◽  
Object Constraint Language ◽  
Model Driven ◽  
Constraint Language ◽  
Triple Graph Grammars ◽  
Important Building Block

Model transformation is an important building block for model-driven approaches. It puts forward a necessity and a challenge to specify and realize model transformation as well as to ensure the correctness of transformations. This paper proposes an OCL-based framework for model transformations. The formal foundation of the framework is the integration of Triple Graph Grammars and the Object Constraint Language (OCL). The OCL-based transformation framework offers an on-the-fly verification of model transformations and means for transformation quality assurance.

Toward UML-Compliant Semantic Web Services Development

2010 ◽  
Vol 6 (1) ◽  
pp. 44-56 ◽  
Author(s):  
Diana M. Sánchez ◽  
César J. Acuña ◽  
José María Cavero ◽  
Esperanza Marcos
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
System Development ◽  
Semantic Web Services ◽  
Object Constraint Language ◽  
Uml Profile ◽  
Model Driven ◽  
Web Information System ◽  
Constraint Language ◽  
Service Oriented

The emerging Semantic Web and, in particular, Semantic Web services (SWS), demands the inclusion of new components in applications involving this technology. Therefore, Web development methodologies must be tailored to support the systematic development of such new components. In previous works we presented a UML profile, which extends the SOD-M method for service oriented Web Information System development of the MIDAS model-driven framework, to address the development of Semantic Web Services using WSMO (Web Service Modeling Ontology). The UML profile allows for the modeling of the new elements required by WSMO Web Services. This article focuses on studying the possibility of improving the proposed UML profile, including the OCL (Object Constraint Language), for the representation of WSMO logical axioms through three case studies. This would allow developers, whose knowledge does not extend beyond UML, to develop applications that use Semantic Web services.

Use of Business Models within Model Driven Architecture

2009 ◽  
Vol 38 (38) ◽  
pp. 119-130
Author(s):  
Erika Asnina
Keyword(s):  
Business Models ◽  
Business Processes ◽  
Use Cases ◽  
Separation Of Concerns ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Development Processes ◽  
Business Requirements ◽  
Complex Computer ◽  
Independent Model

Use of Business Models within Model Driven Architecture Model Driven Architecture is a framework dedicated for development of large and complex computer systems. It states and implements the principle of architectural separation of concerns. This means that a system can be modeled from three different but related to each other viewpoints. The viewpoint discussed in this paper is a Computation Independent one. MDA specification states that a model that shows a system from this viewpoint is a business model. Taking into account transformations foreseen by MDA, it should be useful for automation of software development processes. This paper discusses an essence of the Computation Independent Model (CIM) and the place of business models in the computation independent modeling. This paper considers four types of business models, namely, SBVR, BPMN, use cases and Topological Functioning Model (TFM). Business persons use SBVR to define business vocabularies and business rules of the existing and planned domains, BPMN to define business processes of both existing and planned domains, and use cases to define business requirements to the planned domain. The TFM is used to define functionality of both existing and planned domains. This paper discusses their capabilities to be used as complete CIMs with formally defined conformity between planned and existing domains.

scholarly journals Model‐driven architecture based security analysis

2021 ◽  
Author(s):  
Saoussen Mili ◽  
Nga Nguyen ◽  
Rachid Chelouah
Keyword(s):  
Security Analysis ◽  
Model Driven Architecture ◽  
Model Driven
Sign in / Sign up

Export Citation Format

Share Document