A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Consistency, Independence and Consequences in UML and OCL Models
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
: 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]
2017
Conceptual Modeling Perspectives
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2004
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2007
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2021
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2007
14th Asia-Pacific Software Engineering Conference (APSEC'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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