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
Verification of UML/OCL Class Diagrams using Constraint Programming
2008
2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Preserved Fulltext
In that sense, this paper presents an automatic method that uses the Constraint Programming paradigm to verify UML class diagrams extended with OCL constraints. ...
In our approach, both class diagrams and OCL constraints are translated into a Constraint Satisfaction Problem. ...
methods for the verification of UML/OCL class diagrams. ...
doi:10.1109/icstw.2008.54
dblp:conf/icst/CabotCR08
fatcat:dw554vnqvzekfbxgthvsdvkkt4
Verification-driven slicing of UML/OCL models
2010
Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
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 2016; you can also visit the original URL.
The file type is application/pdf.
The definition of the slicing procedure ensures that the property under verification is preserved after partitioning. ...
In this paper, we consider a specific static model (UML class diagrams annotated with unrestricted OCL constraints) and a specific property to verify (satisfiability, i.e., "is it possible to create objects ...
We would like to thank Jordi Cabot and Jordi Conesa for their useful comments. ...
doi:10.1145/1858996.1859038
dblp:conf/kbse/ShaikhCWM10
fatcat:h3zn5ks3gjemhjhtslrzerv2vy
Smart Bound Selection for the Verification of UML/OCL Class Diagrams
2017
IEEE Transactions on Software Engineering
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 2020; you can also visit the original URL.
The file type is application/pdf.
Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. ...
This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process. ...
ACKNOWLEDGMENTS This work is partially funded by the Spanish Ministry of Economy and Competitivity through the project "Open Data for All: an API-based infrastructure for exploiting online data sources ...
doi:10.1109/tse.2017.2777830
fatcat:zn2nhmkfarbgnozlev2xm7a42i
Verifying UML/OCL Operation Contracts
[chapter]
2009
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 2009; you can also visit the original URL.
The file type is application/pdf.
This paper presents an automatic method based on Constraint Programming to verify UML models extended with OCL constraints and operation contracts. ...
Therefore, assessment of their correctness is a key issue to ensure the quality of the final application. Research on model consistency has focused mostly on the models' static aspects. ...
We believe our approach can be used to leverage current UML/OCL verification approaches, more focused on the verification of the static parts of the model. ...
doi:10.1007/978-3-642-00255-7_4
fatcat:nm5l4bzstjejdcfvxmzrolsl4i
Incremental Verification of UML/OCL Models
2020
Journal of Object Technology
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 2020; you can also visit the original URL.
The file type is application/pdf.
To this end, this paper proposes techniques for the incremental verification of a fundamental correctness property: internal consistency of UML class diagrams annotated with OCL constraints. ...
These techniques allow modelers to significantly reduce (or even avoid altogether) the cost of re-verifying a class diagram after model updates. ...
Acknowledgments This work is partially funded by the H2020 ECSEL Joint Undertaking Project "MegaM@Rt2: MegaModelling at Run-time" (737494) and the Spanish Ministry of Economy and Competitivity through ...
doi:10.5381/jot.2020.19.3.a7
fatcat:sevlwpzg4bbmfj7xos4xhwmq4y
Towards Domain Refinement for UML/OCL Bounded Verification
[chapter]
2015
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 2020; you can also visit the original URL.
The file type is application/pdf.
Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification, e.g. SAT solvers. ...
This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process. ...
In the context of UML/OCL verification, [14, 15] describe slicing techniques to partition class diagrams and ParAlloy [13] studies the parallel verification of Alloy models. ...
doi:10.1007/978-3-319-22969-0_8
fatcat:jpx64gi5lrd5zfhaa7kkupcd5q
Verification of UML/OCL Class Diagrams using Constraint Programming
unpublished
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 2018; you can also visit the original URL.
The file type is application/pdf.
In that sense, this paper presents an automatic method that uses the Constraint Programming paradigm to verify UML class diagrams extended with OCL constraints. ...
In our approach, both class diagrams and OCL constraints are translated into a Constraint Satisfaction Problem. ...
In this paper we advocate for using the Constraint Programming paradigm as a complementary method for the fully automatic, decidable and expressive veri cation of UML/OCL class diagrams. ...
fatcat:kbo5owif25eddo6754rnjfir4y
Eliminating invariants in UML/OCL models
2012
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
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 model-based design, it is common and helpful to use invariants in order to highlight restrictions or to formulate characteristics of a design. ...
This enables to entirely eliminate all invariants without changing the semantics of the model. Case studies illustrate the applicability of the proposed approach. ...
ACKNOWLEDGMENTS This work was supported by the German Research Foundation (DFG) (DR 287/23-1). ...
doi:10.1109/date.2012.6176669
dblp:conf/date/SoekenWD12
fatcat:bziljjcrtbfnrl4j2gghf6qwsa
Efficient Verification-Driven Slicing of UML/OCL Class Diagrams
2016
International Journal of Advanced Computer Science and Applications
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 consider a specific static model (UML class diagrams annotated with unrestricted OCL constraints) and a specific property to verify (satisfiability, i.e., whether it is possible to create objects without ...
The definition of the slicing procedure ensures that the property under verification is preserved after partitioning. ...
ACKNOWLEDGEMENTS This paper is a revised and extended version of the one presented at Automated Software Engineering (ASE 2010), Antwerp, Belgium had have received 38 citations. ...
doi:10.14569/ijacsa.2016.070571
fatcat:7iflosu3nnhrpdjrbqqqpnhjci
From relational ClassSheets to UML+OCL
2012
Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
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.
Moreover, we present a transformation from ClassSheet models to UML class diagrams enriched with OCL constraints. ...
Spreadsheets are among the most popular programming languages in the world. ...
FROM CLASSSHEETS TO UML+OCL The Unified Modeling Language (UML) is one of the most frequently used languages to specify and document (software) systems [15] . ...
doi:10.1145/2245276.2231957
dblp:conf/sac/CunhaFS12
fatcat:afwtuawuafehhddh33udqxxgf4
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models
[chapter]
2011
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 2016; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose an algorithm of an aggressive slicing technique that works on UML/OCL models (a collection of classes, associations, inheritance hierarchies, and OCL constraints) which improves ...
With this technique, the submodels of an original model are computed through partitioning those classes and multiplicities that are not used in written constraints and at the same time, ensuring that the ...
We compare the verification time of several UML/OCL class diagrams using the Alloy analyzer with and without the UOST technique. ...
doi:10.1007/978-3-642-21652-7_11
fatcat:tk52pd5bnjff5n2kt4ghly4ztu
Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams
2018
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 2019; you can also visit the original URL.
The file type is application/pdf.
The execution time for the verification of UML/OCL class diagrams for each formalism depends on the number of classes, instances, associations, and OCL constraints, i.e. the size of the model. ...
Slicing will enable the verification of more complex UML/OCL class diagrams. • H3. ...
His current research topics are UML model verification, UML class diagrams verification with OCL constraints for complex models, formal verification, and feedback technique for unsatisfiable UML/OCL class ...
doi:10.1109/access.2018.2797695
fatcat:ysfymg2q7ja6nanwxlg4gndmam
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
2011
Advances in Software Engineering
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 2020; you can also visit the original URL.
The file type is application/pdf.
Verification of UML/OCL class diagrams is a quite challenging task when the input is large (i.e., a complex UML/OCL class diagram). ...
the range of UML support for each tool, (3) the problems with efficiency of the verification process for UML/OCL class diagrams, and (4) solution for efficient verification of complex class diagrams. ...
UMLtoCSP is a tool for formal verification of UML/OCL class diagrams [4] , which is based on constraint solver as the verification engine. ...
doi:10.1155/2011/370198
fatcat:7htowfoamfamliuxza57pxxxoa
Simplification of UML/OCL schemas for efficient reasoning
2017
Journal of Systems and Software
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 kind of reasoning required to perform such task is known to be exponential for UML class diagrams alone and even harder when considering OCL constraints. ...
Motivated by this issue, we propose an innovative method aimed at removing constraints and other UML elements of the schema to obtain a simplified one that preserve the same reasoning outcomes. ...
We use the name UML/OCL schema to refer to a UML class diagram annotated with OCL textual constraints. For instance, consider the UML/OCL schema in Figure 1 . ...
doi:10.1016/j.jss.2017.03.015
fatcat:nrgrmvk6cre5zconyakik7jebm
AuRUS: explaining the validation of UML/OCL conceptual schemas
2013
Journal of Software and Systems Modeling
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.
., a set of integrity constraints which is in contradiction with the property. ...
The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and several tools have been developed to automate this process as much as possible. ...
Acknowledgements Our thanks to Lluís Munguía and Xavier Oriol, for their valuable help in the development of this tool. ...
doi:10.1007/s10270-013-0350-8
fatcat:iw2ywbjdh5amld6qgqrpngfmae
« Previous
Showing results 1 — 15 out of 223 results