Filters








223 Hits in 10.4 sec

Verification of UML/OCL Class Diagrams using Constraint Programming

Jordi Cabot, Robert Claris´o, Daniel Riera
2008 2008 IEEE International Conference on Software Testing Verification and Validation Workshop  
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

Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon
2010 Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10  
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

Robert Clariso, Carlos A. Gonzalez, Jordi Cabot
2017 IEEE Transactions on Software Engineering  
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]

Jordi Cabot, Robert Clarisó, Daniel Riera
2009 Lecture Notes in Computer Science  
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

Robert Clarisó, Carlos A. González†, Jordi Cabot
2020 Journal of Object Technology  
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]

Robert Clarisó, Carlos A. González, Jordi Cabot
2015 Lecture Notes in Computer Science  
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

Jordi Cabot, Robert Clarisó, Daniel Riera
unpublished
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

M. Soeken, R. Wille, R. Drechsler
2012 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
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

Asadullah Shaikh, Uffe Kock
2016 International Journal of Advanced Computer Science and Applications  
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

Jácome Cunha, João Paulo Fernandes, João Saraiva
2012 Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12  
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]

Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon
2011 Lecture Notes in Computer Science  
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

Asadullah Shaikh, Uffe Kock Wiil
2018 IEEE Access  
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

Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon
2011 Advances in Software Engineering  
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

Xavier Oriol, Ernest Teniente
2017 Journal of Systems and Software  
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

Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí
2013 Journal of Software and Systems Modeling  
., 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