Filters








12 Hits in 4.0 sec

Specifying Data Bases Management Systems by Using RM-ODP Engineering Language [article]

Jalal Laassiri, Said Elhajji, Mohamed Bouhdadi, Ghizlane Orhanou and Youssef Balouki
2011 arXiv   pre-print
It defines: an object model, architectural concepts and architecture for the development of ODP systems in terms of five viewpoints. Which include an information viewpoint.  ...  The Reference Model for Open Distributed Processing (RM-ODP) provides a framework within which support of distribution, inter-working and portability can be integrated.  ...  have defined the UML/OCL based syntax and semantics of a language for a fragment of ODP object concepts described in the foundations part and in the Engineering viewpoint language.  ... 
arXiv:1102.5190v1 fatcat:tlt5uhv6xbaehfcyo2uake4uwe

Enforcement of Conceptual Schema Quality Issues in Current Integrated Development Environments [chapter]

David Aguilera, Cristina Gómez, Antoni Olivé
2013 Lecture Notes in Computer Science  
We focus on conceptual schemas written in UML/OCL, although our approach could be applied to other languages.  ...  We show that there is a large room for improvement. We introduce the idea of a unified catalog that would include all known quality criteria. We present an initial version of this catalog.  ...  We focus on conceptual schemas written in UML/OCL, although our approach could be applied to other languages.  ... 
doi:10.1007/978-3-642-38709-8_40 fatcat:2oothna5bvcsrnq7v4mws2rojq

SPECIFYING BEHAVIORALCONCEPTS BY ENGINEERING LANGUAGE OF RM-ODP 1

Jalal Laassiri, Saïd Hajji, Mohamed Bouhdadi
unpublished
In this paper, we report on the definition and address of the syntax and semantics for a fragment of ODP object concepts defined in the RM-ODP foundations part and in the Engineering language.  ...  Indeed, the viewpoint languages are abstract in sense that they define what concepts should be supported and not how these concepts should be represented using the UML/OCL meta-modeling approach.  ...  However, when we use the denotational meta-modeling approach in this paper, we defined the UML/OCL based syntax and semantics of a language for a fragment of ODP object concepts described in the foundations  ... 
fatcat:j7xollzr75fjvm3ahzspzltlzm

Implementing associations: UML 2.0 to Java 5

D. Akehurst, G. Howells, K. McDonald-Maier
2006 Journal of Software and Systems Modeling  
A significant current software engineering problem is the conceptual mismatch between the abstract concept of an association as found in modelling languages such as UML and the lower level expressive facilities  ...  In addition, several concepts introduced in UML version 2.0 are also not supported.The aim of the work presented in this paper is to develop a number of code generation patterns that allow us to support  ...  The authors would like to thank the anonymous reviewers for their helpful comments that enabled us to improve the paper.  ... 
doi:10.1007/s10270-006-0020-1 fatcat:nf4bmmtetvg6jew3bobhisacpi

Using BPEL for Behavioral Concepts in ODP Computational Language

Belhaj Hafid, Youssef Balouki, Jalal Laassiri, Redouane Benaini, Mohamed Bouhadadi, Saïd El, Hajji
2009 Proceedings of the World Congress on Engineering   unpublished
This paper describes specification and execution of behavioral concepts for Open Distributed Processing (ODP) Computational Language.  ...  Secondly, we define the mapping from the concepts of behavior Computational language to BPEL concepts and we present the syntax and the structure of a BPEL Behavior process.  ...  Using the Unified Modeling Language (UML)/OCL (Object Constraints Language) [9, 10] we defined a formal semantic for a fragment of ODP behavior concepts defined in the RM-ODP foundations part and in  ... 
fatcat:yz3jdb3sxnagbeqqnicvcchxn4

Using BPEL for Behavioural Concepts in ODP Enterprise Language [chapter]

Youssef Balouki, Mohamed Bouhdadi
IFIP International Federation for Information Processing  
In order to specify the executable behavior of a system and to make the processes of the enterprise executable and controllable, the Reference Model for ODP RM-ODP can be used as a meta-model for behavioral  ...  Secondly, we define the mapping from the concepts of behavior enterprise language to BPEL concepts and we present the syntax and the structure of a BPEL Behavior process.  ...  Using the Unified Modeling Language (UML)/OCL (Object Constraints Language) [9, 10] we defined a formal semantic for a fragment of ODP behavior concepts defined in the RM-ODP foundations part and in  ... 
doi:10.1007/978-0-387-84837-2_23 fatcat:eatk4rnzcfactbc7nnpupdylgy

Challenges in Model-Driven Software Engineering [chapter]

Ragnhild Van Der Straeten, Tom Mens, Stefan Van Baelen
2009 Lecture Notes in Computer Science  
Robert Clarisó UML/OCL Verification in Practice [8] One of the promises of model-driven development is the ability to identify defects early, at the level of models, which helps to reduce development costs  ...  useful properties for a model transformation tool.  ...  Existing solutions in the UML/OCL context were discussed. The presenter claimed that this problem has not yet been satisfactorily addressed.  ... 
doi:10.1007/978-3-642-01648-6_4 fatcat:jdmtmu3xzjgllmolxelgqnoo3u

Model translation : a UML-based specification technique and active implementation approach

David H Akehurst
2021
There is often a need to transform (or translate) the data from one model, into another in which the data is differently structured.  ...  Firstly, it addresses the need for a standard notation that can be used for writing model translator specifications.  ...  In order to specify a mapping from the UML/OCL technique into one of these, their meta-model and semantics must be used.  ... 
doi:10.22024/unikent/01.02.86215 fatcat:eh5x63kxt5cznii6jarfh2vowy

ePub WU Institutional Repository A Catalog of Reusable Design Decisions for Developing UML/MOF-based Domain-specific Modeling Languages Mark (2014) A Catalog of Reusable Design Decisions for Developing UML/MOF-based Domain-specific Modeling Languages. A Catalog of Reusable Design Decisions for Developing UML/MOF-based Domain-specic Modeling Languages *

Bernhard Hoisl, Stefan Sobernig, Mark Strembeck, Sobernig, Stefan Strembeck, Bernhard Hoisl, Stefan Sobernig, Mark Strembeck
2016 unpublished
In model-driven development (MDD), domain-specic modeling languages (DSMLs) act as a communication vehicle for aligning the requirements of domain experts with the needs of software engineers.  ...  With the rise of the UML as a de facto standard, UML/MOF-based DSMLs are now widely used for MDD. This paper documents design decisions collected from 90 UML/MOF-based DSML projects.  ...  Eclipse MDT OCL), even O3.1 does not guarantee basic portability for the ambiguously specied sections of the UML/OCL specications (esp. for semantic variation points such as navigating stereotypes in model  ... 
fatcat:drj7mchpkrcllkonlv3ml6pt4i

Formal semantics for refinement verification of entreprise models

Irina Rychkova
2008
Then we define a formal semantics for the extended SEAM modeling language.  ...  This semantics is based on first-order logic and set theory; it allows us to reduce the problem of refinement verification to the validation of a first-order logic formula.  ...  RoclET [94] is an open source tool for analysis of UML/OCL specifications.  ... 
doi:10.5075/epfl-thesis-4210 fatcat:l5ah5emnqzctlm4eeuefe3lra4

A concern-oriented approach to software architecture

Mohamed Mancona Kandé
2005
This approach allows for creating and documenting a multidimensional software structure that is referred to as concern-oriented software architecture; it provides new mechanisms for encapsulating individual  ...  This dissertation presents a new approach to software architecture that is suitable for supporting concern-oriented development and documentation of architectures for softwareintensive systems.  ...  An artifact language is a formalism for describing software. It includes programming languages, specification languages and standard modeling languages, such as Java, AspectJ, UML, OCL, etc.  ... 
doi:10.5075/epfl-thesis-2796 fatcat:3cupse473zc6rdksfq54gch4zy

OASIcs, Volume 21, SLATE'12, Complete Volume [article]

Alberto Simões, Ricardo Queirós, Daniela da Cruz
2012
The authors wish also to thank the reviewers for their helpful comments. Acknowledgements We wish to thank those anonymous applicants who tested the systems for us.  ...  The authors wish also to thank the reviewers for their helpful comments.  ...  (ODP).  ... 
doi:10.4230/oasics.slate.2012 fatcat:gyzklbs3sncivkmkqwnl52r4li