Filters








2,199 Hits in 3.8 sec

Consistency, Independence and Consequences in UML and OCL Models [chapter]

Martin Gogolla, Mirco Kuhlmann, Lars Hamann
2009 Lecture Notes in Computer Science  
: Trains, wagons, and their formation -Operations Wagon::succPlus():Set(Wagon)=self.succPlusOnSet(self.succ) Wagon::succPlusOnSet(s:Set(Wagon)):Set(Wagon)= let oneStep:Set(Wagon)=s.succ->asSet in if s-  ...  Example model: Trains, wagons, and their formation -Invariants context Train inv wagon1_n: self.wagon->size>=1 context Wagon inv train1_1: self.train->size=1 context Wagon inv succ0_1: self.succ->size<  ...  ), distinctTrainsDistinctWagons is a consequence of the stated invariants Conclusion -Consistency, independence and checking of UML and OCL models within the USE tool on the basis of test scenarios -  ... 
doi:10.1007/978-3-642-02949-3_8 fatcat:uw6d4ydxibgdph6jrmq7sb37sq

Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification [chapter]

Martin Gogolla, Khanh-Hoang Doan
2017 Conceptual Modeling Perspectives  
In [Snook et al(2010) ], a translation from UML to UML-B is presented und used for the validation and verification of models, focusing on consistency and checking safety properties.  ...  Torlak and Jackson(2007) ], performs checks on the Kodkod level, and transforms the obtained results back in terms of the UML and OCL model.  ... 
doi:10.1007/978-3-319-67271-7_11 dblp:conf/birthday/GogollaD17 fatcat:wmo7f423bngp3apl7p4vutqcye

Verifying UML/OCL models using Boolean satisfiability

Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
2010 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)  
In this paper, we propose an approach that makes use of Boolean satisfiability for verifying UML/OCL models.  ...  Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesign.  ...  Encoding System States of the UML Model Verification of UML models includes -among other aspects -the proof of consistency and independence, i.e. system states can consistently be generated and no OCL  ... 
doi:10.1109/date.2010.5457017 dblp:conf/date/SoekenWKGD10 fatcat:kpznwcbchnak7o6qmowyofnmve

Initiating a Benchmark for UML and OCL Analysis Tools [chapter]

Martin Gogolla, Fabian Büttner, Jordi Cabot
2013 Lecture Notes in Computer Science  
The paper puts forward a set of UML and OCL models together with particular questions for these models roughly characterized by the notions consistency, independence, consequences, and reachability.  ...  The Object Constraint Language (OCL) is becoming more and more popular for model-based engineering, in particular for the development of models and model transformations.  ...  Is there at least one object diagram satisfying the UML class model and the explicit OCL invariants? Independence: Are the invariants independent?  ... 
doi:10.1007/978-3-642-38916-0_7 fatcat:e2bdq7bynjbojpakctg7cznvyq

Ensuring UML Models Consistency Using the OCL Environment

Dan Chiorean, Mihai Paşca, Adrian Cârcu, Cristian Botiza, Sorin Moldovan
2004 Electronical Notes in Theoretical Computer Science  
The results obtained in the examples highlight some shortcomings in the UML definition and prove that OCL offers the support needed in managing tool peculiarities.  ...  The topic of UML model consistency is becoming increasingly important. Having a tool that checks the consistency of UML models is very useful.  ...  All the rules concerning the consistency of UML models are defined at the metamodel level. Therefore these rules are independent of the user model, supporting their reuse for any UML model.  ... 
doi:10.1016/j.entcs.2003.09.005 fatcat:33fdcwczh5dthp2wghsc6lhige

Continuing a Benchmark for UML and OCL Design and Analysis Tools [chapter]

Martin Gogolla, Jordi Cabot
2016 Lecture Notes in Computer Science  
It puts forward a set of UML and OCL models together with particular questions centered around OCL and the notions consistency, independence, consequences, and reachability.  ...  UML and OCL are frequently employed languages in model-based engineering. OCL is supported by a variety of design and analysis tools having different scopes, aims and technological corner stones.  ...  Independence: Are the invariants independent? Is there an invariant which is a consequence of the conditions imposed by the UML class model and the other invariants?  ... 
doi:10.1007/978-3-319-50230-4_22 fatcat:q5z4gonuzfdlldfkvpj5nl74qi

Formulating Model Verification Tasks Prover-Independently as UML Diagrams [chapter]

Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille
2017 Lecture Notes in Computer Science  
We propose to formulate verifications tasks in terms of the used modeling language itself, e.g. with UML and OCL.  ...  As prototypical example tasks we show how (a) questions concerning model consistency can be expressed with UML object diagrams and (b) issues regarding state reachability can be defined with UML sequence  ...  We will go through the verification tasks and present UML diagrams for them. The first task about UML and OCL model consistency can be graphically shown as the object diagram in Fig. 5 .  ... 
doi:10.1007/978-3-319-61482-3_14 fatcat:vpw44lrvfvactdwt2so7a2gmna

USE: A UML-based specification environment for validating UML and OCL

Martin Gogolla, Fabian Büttner, Mark Richters
2007 Science of Computer Programming  
The USE tool (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques  ...  We present an approach for the validation of UML models and OCL constraints based on animation and certification.  ...  USE permits to review the consistency of UML models and the independence of constraints. USE makes it possible to certify properties.  ... 
doi:10.1016/j.scico.2007.01.013 fatcat:vsyzo24kgfdvhpesjhbhkhc65e

Employing the Object Constraint Language in Model-Based Engineering [chapter]

Martin Gogolla
2013 Lecture Notes in Computer Science  
We discuss how to validate and verify model properties in the context of modeling languages like the UML (Unified Modeling Language) combined with textual restrictions formulated in the OCL (Object Constraint  ...  If models play a central role in development, model properties must be formulated and checked early on the modeling level, not late on the implementation level.  ...  Acknowledgement The force and energy of Mark Richters, Jörn Bohling, Fabian Büttner, Mirco Kuhlmann and Lars Hamann formed USE as it stands today. Thanks!  ... 
doi:10.1007/978-3-642-39013-5_1 fatcat:s3g724vtgbb2nd3n5zv7l7djle

The Epsilon Object Language (EOL) [chapter]

Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
2006 Lecture Notes in Computer Science  
We present the metamodel independent Epsilon Object Language (EOL) which builds on OCL.  ...  Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation.  ...  We thank the Atlas and AMMA teams at INRIA for their help.  ... 
doi:10.1007/11787044_11 fatcat:ftkw5jqv3jb2lbzkukjxw7swju

More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review

Asadullah Shaikh, Abdul Hafeez, Asif Ali Wagan, Mesfer Alrizq, Abdullah Alghamdi, Mana Saleh Al Reshan
2021 IEEE Access  
ACKNOWLEDGMENT The authors would like to express their gratitude to the ministry of education and the deanship of scientific research Najran University Kingdom of Saudi Arabia for their  ...  The exclusion criteria also defined, such as inter-model consistency and the UML class model VOLUME 4, 2016 Reasoning about UML/OCL class diagrams using constraint logic programming and formula 2019  ...  In the MDE, software specifications are stated through abstract models. These models are initially built platform-neutral and are known as Platform Independent Model (PIM) [1] .  ... 
doi:10.1109/access.2021.3121222 fatcat:j6sritznorajtayufj67blumae

Towards Automating Source-Consistent UML Refactorings [chapter]

Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer
2003 Lecture Notes in Computer Science  
The problem with such tools is that the UML metamodel -on which their repository is based -is inadequate to maintain the consistency between the model and the code while one of them gets refactored.  ...  For instance, by specifying pre-and postconditions in OCL, we are able to compose primitive refactorings, verify preservation of program behavior, and trigger refactorings based on code smells.  ...  A UML Metamodel Extension for source-consistent Refactoring This paper argues that the current UML 1.4 metamodel is inadequate for maintaining the consistency between a refactored design model and the  ... 
doi:10.1007/978-3-540-45221-8_15 fatcat:awfvkzh2cnfprlz2bsjviwwoju

A Model Transformation Semantics and Analysis Methodology for SecureUML [chapter]

Achim D. Brucker, Jürgen Doser, Burkhart Wolff
2006 Lecture Notes in Computer Science  
It is equipped with a uml notation in terms of a uml profile, and can be combined with arbitrary design modeling languages.  ...  We present a semantics for SecureUML in terms of a model transformation to standard uml/ocl.  ...  into a secured system model described in plain uml/ocl.  ... 
doi:10.1007/11880240_22 fatcat:tumkxevpfbekzd3smrcctgaoli

Heuristics on the Definition of UML Refinement Patterns [chapter]

Claudia Pons
2006 Lecture Notes in Computer Science  
The aim of this work is not to formalize the UML notation itself, but to substantiate a number of intuitions about the nature of possible refinement relations in UML, and even to discover particular refinement  ...  structures that designers do not perceive as refinements in UML.  ...  On the other hand, Liu, Jifeng, Li and Chen in [12] use a formal specification language to formalize and combine UML models.  ... 
doi:10.1007/11611257_44 fatcat:wpo3rgtusjbodfjgvznjoviuna

An Executable UML with OCL-based Action Semantics Language

Ke Jiang, Lei Zhang, Shigeru Miyake
2007 14th Asia-Pacific Software Engineering Conference (APSEC'07)  
In this paper, we propose an executable UML with OCL-based ASL (OxUML) by extending OCL to support actions with side effects.  ...  Executable UML allows precisely describing the software system at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation.  ...  The ASLs in the above executable UMLs can be divided into two kinds. The first kind with new syntax is platform-independent and is consistent with action semantics in UML.  ... 
doi:10.1109/aspec.2007.21 fatcat:eqi3f2rehvdsvi5ymyjboogsae
« Previous Showing results 1 — 15 out of 2,199 results