2,751 Hits in 5.5 sec

Model-driven run-time enforcement of complex role-based access control policies

Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand
2018 Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018  
In this paper we propose a model-driven enforcement framework for complex policies captured by GemRBAC+CTX, a comprehensive RBAC model proposed in the literature.  ...  CCS CONCEPTS • Security and privacy → Access control; • Software and its engineering → Model-driven software engineering; KEYWORDS role-based access control, enforcement, policies, model-driven engineering  ...  Following a model-driven approach, we defined the semantics of GemRBAC-DSL by mapping the language constructs to the OCL constraints presented in [6, 8] .  ... 
doi:10.1145/3238147.3238167 dblp:conf/kbse/FadhelBB18 fatcat:ipwpq6rspvcxzbx6efst2vktlm

OCL and Model Driven Engineering [chapter]

Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hussmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2005 Lecture Notes in Computer Science  
Can the features of OCL 2.0 be used in the Model Driven Engineering (MDE) approach?  ...  Precise modeling is essential to the success of the OMG's Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models.  ...  the future of OCL in the context of Model Driven Engineering.  ... 
doi:10.1007/978-3-540-31797-5_8 fatcat:chi6mh6w4raorfnyluyeprhmea

Integrity and Confidentiality Annotations for Service Interfaces in SoaML Models

Bernhard Hoisl, Stefan Sobernig
2011 2011 Sixth International Conference on Availability, Reliability and Security  
(in the Basing the work on UML 1.4 class models, the authors sense of OCL Constraint 6).  ...  “Model-Driven Security Based on a Web Services Security From the PIMs, transformations generate BPEL, WSDL, and Architecture,” in Proceedings of the IEEE International Con- XACML artefacts.  ... 
doi:10.1109/ares.2011.105 dblp:conf/IEEEares/HoislS11 fatcat:7upyyresmbdkzf4sz6vpbcaplu

SBVR vs OCL: A Comparative Analysis of Standards [article]

Imran Sarwar Bajwa, Behzad Bordbar, Mark Lee
2013 arXiv   pre-print
Constraints are the key components in the skeleton of business or software models.  ...  In software modelling, the designers have to produce UML visual models with software constraints.  ...  Model Driven Architecture (MDA): SBVR is positioned to be entirely within the business model layer of the OMG's Model Driven Architecture (MDA) [4, Annex-A section: A.1].  ... 
arXiv:1304.7346v1 fatcat:nsljt7qx55fuve4ybcc6lkvkqu

URDAD as a semi-formal approach to analysis and design

Fritz Solms, Dawid Loubser
2010 Innovations in Systems and Software Engineering  
Driven Architecture.  ...  URDAD allows for formal elements to be added by different role players at different stages of the model refinement, whilst aiming to preserve agility of the outputs and low cost of the process generating  ...  design in UML which can then be incrementally formalized through model refinement and the use of OCL.  ... 
doi:10.1007/s11334-009-0113-4 fatcat:ao7bkleu7rhx7dacmjzw7pmf3m

Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment

Khanh-Hoang Doan, Martin Gogolla
2017 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In this contribution, we extend the UML and OCL tool USE in order to describe multi-level models.  ...  We also apply the extension to demonstrate the usefulness of multi-level modelling for model querying and model quality assessment.  ...  META-MODELING IN TOOL USE In the current contribution, we introduce an approach, in which the MOF architecture is integrated into USE for multilevel modelling.  ... 
dblp:conf/models/DoanG17 fatcat:4qdxjpflvjhw5pnpgsml3jjeq4

Reverse Engineering Process for Extracting Views from Domain Ontology

Soraya Setti Ahmed, Sidi Mohamed Benslimane
2012 International Conference on Web and Information Technologies  
The goal of reverse engineering process is to output a possible conceptual model, which is more readable to extracting the views, on the basis of the code in which the ontology is implemented.  ...  Ontology Modularization is one of the techniques that bear good promises of effective help towards scalability in ontology design, use, and management.  ...  into UML class diagram. there is an implementation of the metamodel proposed by Guizzardi [8] by using MDA (Model-Driven Architecture) technologies, in particular, the OMG MOF (Meta-Object Facility)  ... 
dblp:conf/icwit/AhmedB12 fatcat:rd65unyzlngl7h6gpjgixgd5zm

An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework [chapter]

Artur Boronat, Joaquín Oriente, Abel Gómez, Isidro Ramos, José Á. Carsí
2006 Lecture Notes in Computer Science  
In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated.  ...  The main achievement of this standard is the definition of a common terminology in the Model-Driven Architecture initiative, which can be used conceptually in other model-driven approaches.  ...  In this section, we provide a brief description of the architecture of this prototype, which is called MOMENT-OCL.  ... 
doi:10.1007/11787044_24 fatcat:ntkzpd3edjc2rf7hzrmpo4auj4

Automatic Tool Support for Cardinality-Based Feature Modeling with Model Constraints for Information Systems Development [chapter]

Abel Gómez, Isidro Ramos
2011 Information Systems Development  
Moreover, DVMs can play a key role in complex MDE processes automating the use of feature models in software product lines.  ...  The arrival of metamodeling frameworks in the Model-Driven Engineering field (MDE) has provided the necessary background to exploit these diagrams (called feature models) in information systems development  ...  Acknowledgements This work has been supported by the Spanish Government under the National Program for Research, Development and Innovation MULTIPLE TIN2009-13838 and the FPU fellowship program, ref.  ... 
doi:10.1007/978-1-4419-9790-6_22 dblp:conf/isdevel/GomezR10 fatcat:rrvihr4fmbccpkvm3tuqvzpvhe

Artifact-Based Analysis for the Development of Collaborative Embedded Systems [chapter]

Steffen Hillemacher, Nicolas Jäckel, Christopher Kugler, Philipp Orth, David Schmalzing, Louis Wachtmeister
2020 Model-Based Engineering of Collaborative Embedded Systems  
Artifact modeling tackles these challenges by making the artifacts and relationships explicit and providing a means of automated analysis.  ...  AbstractOne of the major challenges of heterogeneous tool environments is the management of different artifacts and their relationships.  ...  This approach is especially suited for checking the consistency of the architecture of model-driven software development projects or processes.  ... 
doi:10.1007/978-3-030-62136-0_17 fatcat:lfxd76ywknhabbshldy4hlizxq

MDDA: A Model-Driven Avionics Data Architecture

Pei HONG, Yuan SONG, Yue-Yuan JIN, Ruo-Nan RAO
2017 DEStech Transactions on Computer Science and Engineering  
This paper analyzes the key architecture attributes of avionics software system architecture, i.e. portability and interoperability, and proposes a Model-Driven Avionics Data Architecture (MDDA) based  ...  In order to realize the reuse of the basic model elements in the ontology and measurement semantic model, this paper further puts forward the management mechanism of these basic model elements.  ...  Acknowledgement This paper is supported by the pre-research project (Project No. 16GFZ-KG02-112) which is cooperated by China Aeronautical Radio Electronics Research Institute and Shanghai Jiaotong University  ... 
doi:10.12783/dtcse/csma2017/17380 fatcat:dlomnhtmtbg4tccmlzp2u532em

The TopModL Initiative [chapter]

Pierre-Alain Muller, Cédric Dumoulin, Frédéric Fondement, Michel Hassenforder
2005 Lecture Notes in Computer Science  
In addition, we also want to identify all the possible contributions, understand how to make it easy to integrate existing components, while maintaining architectural integrity.  ...  We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering.  ...  OCL toolkit 14 , which are able to check the syntax of OCL expressions, as well as the types and correct use of model elements like association roles and attributes. • Meta-modeling frameworks like Eclipse  ... 
doi:10.1007/978-3-540-31797-5_25 fatcat:x2hfeceyczhn5nyqfxr3cwjsdy

UML-profile for multimedia software architectures

M. Derdour, Ghoualmi Zine, P. Roose, M. Dalmau, A. Alti
2010 International Journal of Multimedia Intelligence and Security  
In the absence of prescriptive architectural design principles, MMSA (Meta-model Multimedia Software Architecture) enables the description of software architectures expressing a multimedia software system  ...  However, the design of multimedia applications is currently driven more by intuition than by empirically or theoretically derived design guidelines.  ...  This diagram plays an important role in the second level when it is used by the model of software architecture.  ... 
doi:10.1504/ijmis.2010.037539 fatcat:lilhyhx4snenhnklizf2nwcg2q

Security architecture metamodel for Model Driven security

Makhlouf Derdour, Adel Alti, Mohamed Gasmi, Philippe Roose
2015 Journal of Innovation in Digital Ecosystems  
SMSA Security connector UML profile ADL OCL Vulnerability point's detection architectures A B S T R A C T A key aspect of the design of any software system is its architecture.  ...  The design of an architecture meta-model that considers security connectors is required in order to ensure a realistic secure assembly and to address the problems of vulnerability of exchanging data flow  ...  for the long run to integrate software architecture in the framework MDA (Model Driven Architecture), which unifies all modeling approaches.  ... 
doi:10.1016/j.jides.2015.12.001 fatcat:rfpxpyppovgkxdaraow6jdw2gm

A Framework for Generating Query Language Code from OCL Invariants

Florian Heidenreich, Christian Wende, Birgit Demuth
2007 Electronic Communications of the EASST  
Model-Driven Software Development (MDSD) allows for specifying the relevant domain concepts, their interrelations and their concise semantics using a plethora of modelling languages.  ...  This framework allows for mapping UML models to arbitrary data schemas and for mapping OCL invariants to sentences in corresponding declarative query languages, enforcing semantical data integrity on implementation  ...  Acknowledgement We would like to thank all people who have contributed over several years to the Dresden OCL Toolkit project.  ... 
doi:10.14279/tuj.eceasst.9.108 dblp:journals/eceasst/HeidenreichWD08 fatcat:p3dxa5kwkncdxk3lpc2y7pt6oq
« Previous Showing results 1 — 15 out of 2,751 results