Filters








1,800 Hits in 3.6 sec

On Static and Dynamic Analysis of UML and OCL Transformation Models

Martin Gogolla, Lars Hamann, Frank Hilken
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
We also discuss how to analyze transformation models dynamically on the basis of a model validator translating UML and OCL into relational logic.  ...  The transformation model is statically analyzed within a UML and OCL tool by giving each constraint an individual representation in the underlying class diagram by highlighting the employed model elements  ...  The implementation of the model validator that we employ is grounded on a translation of UML and OCL concepts into relational logic as described in [9] .  ... 
dblp:conf/models/GogollaHH14 fatcat:ny2k6x4fhbfedabtigqlepxrba

MDA-Based Reverse Engineering [chapter]

Liliana Favre
2012 Reverse Engineering - Recent Advances and Applications  
An ISM is a specification of the system in source code. At model level, transformations are based on static and dynamic analysis.  ...  The static analysis builds a partial model (PIM or PSM) that must be refined by dynamic analysis. Dynamic analysis is based on testing and profiling.  ... 
doi:10.5772/32473 fatcat:b3ir6c7w3fcn3dtacftuv6vpku

A light-weight static approach to analyzing UML behavioral properties

Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano
2007 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)  
There are currently few tools for analyzing designs expressed using the Unified Modeling Language (UML). Tools such as OCLE and USE support analysis of static structural properties.  ...  Static analysis tools such as USE and OCLE can be used to check object models describing series of snapshots. Most of the analysis can be automated.  ...  The checking of UML models with Alloy requires the transformation of UML models to Alloy models.  ... 
doi:10.1109/iceccs.2007.10 dblp:conf/iceccs/YuFRL07 fatcat:cuqvugt6kjaa7plye2hhwmpcdu

On challenges of model transformation from UML to Alloy

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray
2008 Journal of Software and Systems Modeling  
The proposed approach relies on MDA techniques to transform UML models to Alloy. This paper reports on the challenges of the model transformation from UML class diagrams and OCL to Alloy.  ...  Our earlier paper [8] has outlined some of the challenges of the model transformation from UML class diagrams and OCL to Alloy.  ...  On Challenges of Model Transformation from UML to Alloy 3 Our research utilises Alloy for the analysis of UML models consisting of class diagrams and OCL.  ... 
doi:10.1007/s10270-008-0110-3 fatcat:mad5dtauxzgt5f5gjvbjezgkgi

Multi-view Consistency in UML [article]

Alexander Knapp, Till Mossakowski
2016 arXiv   pre-print
We also give a classification of different techniques for multi-view UML/OCL consistency: consistency rules, the system model approach, dynamic meta-modelling, universal logic, and heterogeneous transformation  ...  We study the question of consistency of multi-view models in UML and OCL. We first critically survey the large amount of literature that already exists.  ...  By representing every facet of a model, expressed in various diagrams, in one and the same instance of the system model, static as well as dynamic checks can be performed.  ... 
arXiv:1610.03960v1 fatcat:pv54iuodbjeknasghsxvbhldue

Transformation of UML Class Diagram for Object Oriented Database System

Vipin Saxena, Ajay Pratap
2011 International Journal of Computer Applications  
UML provides stable and industry standard notation for objectoriented analysis and design models.  ...  UML class diagram and sequence diagram are constructed for the post office system and then the transformation of class diagram is done for the ease of understanding and working.  ...  Martin Gogolla and Mr. Mark Richters for his support to understand the concepts used in the design and implementation of our project.  ... 
doi:10.5120/3142-4338 fatcat:beb2js4vfvaevkg6hrtgrqexte

Object Dynamics Formalization Using Object Flows within UML State Machines

Thouraya Boubana-Tebibel
2015 Enterprise Modelling and Information Systems Architectures - An International Journal  
This makes formal analysis and verification of model properties extremely difficult. OCL, the Object Constraint Language is part of UML for the expression of system properties.  ...  Thirdly, validation of OCL invariants which are translated into temporal logic properties to be checked on the Petri nets derived from the UML models, requires integration of object flows within the state  ...  OCL invariants are specified on class diagrams. The latter model the static structure of a system in terms of classes and relationships between classes.  ... 
doi:10.18417/emisa.2.1.3 dblp:journals/emisaij/Bouabana-Tebibel07 fatcat:o5galyz5q5eatiq222kmyry6ne

UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure

Claas Wilke, Birgit Demuth
2011 Electronic Communications of the EASST  
In this paper we present an analysis of the static correctness of all OCL rules specified in the UML 2.3 superstructure document.  ...  Since the first OMG specification of the Unified Modeling Language (UML), the Object Constraint Language (OCL) has been used for the definition of well-formedness rules in the UML specification.  ...  We like to thank all persons that have been involved into the development of Dresden OCL.  ... 
doi:10.14279/tuj.eceasst.44.669 dblp:journals/eceasst/WilkeD11 fatcat:vmkebtoj5vg4xhx7avlicox36e

Pattern-based model refactoring for the introduction association relationship

Boulbaba Ben Ammar, Mohamed Tahar Bhiri
2015 Journal of King Saud University: Computer and Information Sciences  
In this paper, we propose a new approach of model refactoring based on the combined use of UML, B and CSP. UML models are described by class diagrams, OCL constraints, and state machine diagrams.  ...  Production and hosting by Elsevier B.V. on behalf of King Saud University. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).  ...  Anouar Smaoui from the English Language Unit at the Faculty of Science of Sfax, Tunisia for his valuable language editing and polishing services.  ... 
doi:10.1016/j.jksuci.2014.06.012 fatcat:cev7wy3bsrdaxpqidxg4af4hhu

Dynamic Validation of Maude Prototypes of UML Models [chapter]

Francisco Durán, Manuel Roldán, Antonio Moreno, José María Álvarez
2014 Lecture Notes in Computer Science  
on UML models: • A number of tools allows static validation of models. • Some tools allow dynamic validation on the implementation of the system. • We can have executable representations of UML models  ...  in Maude. • We can dynamically validate OCL constraints on these model.  ... 
doi:10.1007/978-3-642-54624-2_11 fatcat:puyahiwxcbhyhnxf4mdwsmjmfe

Checking General Safety Criteria on UML Statecharts [chapter]

Zsigmond Pap, István Majzik, András Pataricza
2001 Lecture Notes in Computer Science  
The techniques based on OCL expressions and graph transformations are detailed and their limitations are discussed. To speed up the checker methods, a reduced form for UML statecharts is introduced.  ...  This paper describes methods and tools for automated safety analysis of UML statechart specifications.  ...  The hierarchy is resolved and the model is fully static, no guard conditions are in the model. The reduced form is generated by a series of graph transformation steps as follows: 1.  ... 
doi:10.1007/3-540-45416-0_5 fatcat:a43q34c7mff63bdg2ov3k3rfsy

Literature Analysis on Model based Slicing

Rupinder Singh, Vinay Arora
2013 International Journal of Computer Applications  
This literature analysis presents an overview of Model based slicing, including the various general approaches and techniques used to compute slices.  ...  One way to ease this is program slicing technique that decomposes the large programs into smaller ones and another is model based slicing that decomposes the large software architecture model into smaller  ...  In first phase first phase, an MDG is constructed by extracting model information through static analysis of the UML structural and behavioral models.  ... 
doi:10.5120/12155-8185 fatcat:grjopbfjkja47ajvtdhryhleia

Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models [chapter]

John Guerson, João Paulo Almeida
2016 Lecture Notes in Business Information Processing  
While static invariants have received significant attention, dynamics enjoy marginal support in widely-employed techniques such as UML and OCL.  ...  This paper aims at addressing this gap by proposing a technique for the representation of dynamic invariants of subject domains in UML-based conceptual models.  ...  In order to address the shortcomings of the UML and OCL specifications, many approaches have been proposed to extend UML and OCL with dynamic aspects.  ... 
doi:10.1007/978-3-319-39429-9_19 fatcat:rc7eezzravb2fkb3szbng6byya

Transformation-Based Structure Model Evolution [chapter]

Fabian Büttner
2006 Lecture Notes in Computer Science  
These transformations treat UML class diagram models, OCL constraints, and existing states of the models in a coherent and consistent way.  ...  This paper summarizes an approach to support evolution of software models by means of a transformation catalogue.  ...  In our work, we formulate a catalogue of transformations to static structure models which are given by UML class diagrams and attached OCL constraints.  ... 
doi:10.1007/11663430_36 fatcat:hdnlwginlrhrxd3bnhqxvcugrm

Specification and automatic checking of architecture constraints on object oriented programs

Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony
2018 Information and Software Technology  
The results of this experimentation showed that our process is able to statically and dynamically detect architecture constraint violations on toy object-oriented applications, but also on real-world ones  ...  These constraints can be specified with predicate languages like OCL at design time and checked on design artifacts.  ...  Constraint Transformation We transform the OCL constraint specified on the UML meta-model into an OCL constraint specified on the JAVA meta-model.  ... 
doi:10.1016/j.infsof.2018.05.002 fatcat:f4giv6nctfgzja2otor4iupwku
« Previous Showing results 1 — 15 out of 1,800 results