Filters








211 Hits in 6.2 sec

From relational ClassSheets to UML+OCL

Jácome Cunha, João Paulo Fernandes, João Saraiva
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uo6yx5jpgnf2zl7mkrumytd4ti" style="color: black;">Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC &#39;12</a> </i> &nbsp;
This brings to the spreadsheet realm the entire paraphernalia of model validation techniques that are available for UML.  ...  Moreover, we present a transformation from ClassSheet models to UML class diagrams enriched with OCL constraints.  ...  ClassSheets to UML+OCL, and thus, making all paraphernalia of techniques for model validation, transformation and evolution available to relational Class-Sheets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2245276.2231957">doi:10.1145/2245276.2231957</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sac/CunhaFS12.html">dblp:conf/sac/CunhaFS12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/afwtuawuafehhddh33udqxxgf4">fatcat:afwtuawuafehhddh33udqxxgf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809042242/http://docentes.fct.unl.pt/jmc-cunha/files/sac-se12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7c/ba/7cbaa76aa461a084cc3c3f2f71f606d63d62dd54.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2245276.2231957"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Checking concurrent behavior in UML/OCL models

Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bkbkidixczetzbllp2pobouque" style="color: black;">2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)</a> </i> &nbsp;
At the same time, these descriptions can be employed to check the consistency and, hence, the correctness of a given UML/OCL model.  ...  However, for these description means no solution for the validation and verification of concurrent behavior is available yet. In this work, we propose such a solution.  ...  APPLIED SMT-BASED VALIDATION AND VERIFICATION In order to validate and verify concurrent behavior defined by means of UML/OCL models, we propose an approach which relies on previously proposed solutions  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/models.2015.7338248">doi:10.1109/models.2015.7338248</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/models/PrzigodaHWPD15.html">dblp:conf/models/PrzigodaHWPD15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/acx2kktk4fh7vj5sabyxvgtcz4">fatcat:acx2kktk4fh7vj5sabyxvgtcz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808184014/http://www.informatik.uni-bremen.de/agra/doc/konf/2015_models_concurrent_behavior.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b2/5b/b25b165806983d5a2b49dabf5a7345ac09922899.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/models.2015.7338248"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Verification-driven slicing of UML/OCL models

Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hj24pr6lvba3dfi5muhp4mz5tm" style="color: black;">Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE &#39;10</a> </i> &nbsp;
Model defects are a significant concern in the Model-Driven Development (MDD) paradigm, as model transformations and code generation may propagate errors to other notations where they are harder to detect  ...  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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1858996.1859038">doi:10.1145/1858996.1859038</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/kbse/ShaikhCWM10.html">dblp:conf/kbse/ShaikhCWM10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h3zn5ks3gjemhjhtslrzerv2vy">fatcat:h3zn5ks3gjemhjhtslrzerv2vy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161226022101/http://asadshaikh.com/papers/ASE_2010.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/00/20/0020cf779f4f69d8b07355b3b3f4e6eb61659585.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1858996.1859038"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Verifying UML/OCL Operation Contracts [chapter]

Jordi Cabot, Robert Clarisó, Daniel Riera
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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.  ...  Conclusions and Further Work We have presented a new automatic method for the formal verification of declarative operations in UML/OCL models.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-00255-7_4">doi:10.1007/978-3-642-00255-7_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nm5l4bzstjejdcfvxmzrolsl4i">fatcat:nm5l4bzstjejdcfvxmzrolsl4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090509044603/http://gres.uoc.edu:80/pubs/iFM09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/f1/92f1e67fb22a9add1d59fc59224d756ded89c052.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-00255-7_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A UML/OCL framework for the analysis of graph transformation rules

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
<span title="2009-08-19">2009</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dfdth37zyfetvchsdjk5e2osrq" style="color: black;">Journal of Software and Systems Modeling</a> </i> &nbsp;
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation.  ...  model-driven development tools; and (iii) it makes available a plethora of OCL tools to actually perform the rule analysis.  ...  We thank the referees for their useful comments, which helped us to improve the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-009-0129-0">doi:10.1007/s10270-009-0129-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fz2my5o5rzg55mfglpjjrm5p6y">fatcat:fz2my5o5rzg55mfglpjjrm5p6y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20091214045212/http://astreo.ii.uam.es/%7Ejlara/papers/SOSYM_09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/43/10/4310c8d00112c2354fdda078689d27ef2a59f0b1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-009-0129-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

From Declarative to Imperative UML/OCL Operation Specifications [chapter]

Jordi Cabot
<span title="">2007</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In conceptual modeling, the declarative approach is preferable since it allows a more abstract and concise definition of the operation effect and conceals all implementation issues.  ...  The main goal of this paper is to provide a pattern-based translation method between both specification approaches.  ...  Acknowledgements Thanks to the anonymous referees and the people of the GMC group (especially to Anna Queralt) for their useful comments to previous drafts of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-75563-0_15">doi:10.1007/978-3-540-75563-0_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tm4evsrufjaddgjx4lqp6umevi">fatcat:tm4evsrufjaddgjx4lqp6umevi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100704073525/http://openaccess.uoc.edu/webapps/o2/bitstream/10609/1309/1/Cabot_LNCS07_From.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ad/a7/ada7dca84cbe95b25685571db393a24cf5c628d0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-75563-0_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models [chapter]

Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
UML/OCL models have increased both in size and complexity due to its popularity in model design and development. Consequently, the efficiency of the verification process is being affected.  ...  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  ...  It can be applied into any formal verification tool for UML/OCL models. The rest of the paper is structured as follows. Section 2 describes the concepts of UML/OCL model slicing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21652-7_11">doi:10.1007/978-3-642-21652-7_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tk52pd5bnjff5n2kt4ghly4ztu">fatcat:tk52pd5bnjff5n2kt4ghly4ztu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161226021445/http://asadshaikh.com/papers/Sam2010.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/20/2d/202d7d2f6b0c4ce3eee5a4cbaccb898fb9cb0f96.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21652-7_11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

AuRUS: explaining the validation of UML/OCL conceptual schemas

Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí
<span title="2013-06-09">2013</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dfdth37zyfetvchsdjk5e2osrq" style="color: black;">Journal of Software and Systems Modeling</a> </i> &nbsp;
In this paper we describe AuRUS, a tool we have developed to analyze UML/OCL conceptual schemas and to explain their (in)correctness.  ...  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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-013-0350-8">doi:10.1007/s10270-013-0350-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iw2ywbjdh5amld6qgqrpngfmae">fatcat:iw2ywbjdh5amld6qgqrpngfmae</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170819042821/http://upcommons.upc.edu/bitstream/handle/2117/28292/AuRUS-SoSYM&#39;12-v5.4-submitted.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/27/15/27154edfe350e2b11813cb58d60b3ef3c62f368f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-013-0350-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany

Frank Hilken, Lars Hamann
<span title="">2020</span> <i title="AITO - Association Internationale pour les Technologies Objets"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pwjrjz7zwnb2rcboggur7p2mwq" style="color: black;">Journal of Object Technology</a> </i> &nbsp;
The UML-based Specification Environment (USE) originated as a modeling tool for validating UML and OCL models but has grown much larger over the years. The first version of USE was released in 1998.  ...  Its strong OCL evaluator allows for using it as a platform for other modeling projects but also applications in research projects and teaching have made USE a significant entry in the world of UML/OCL  ...  Acknowledgments We would like to thank Martin for the opportunity to work in his group. His motivating support for the members of the working group and USE has been inspiring.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2020.19.3.a20">doi:10.5381/jot.2020.19.3.a20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tqd64k6bynavlc5d42td5fq53m">fatcat:tqd64k6bynavlc5d42td5fq53m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201210033131/http://www.jot.fm/issues/issue_2020_03/article20.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5b/9c/5b9c5ecefdf1e6116fc1ee929508e18d3c2c5b98.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2020.19.3.a20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Verifying the structure and behavior in UML/OCL models using satisfiability solvers

Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler
<span title="2016-12-01">2016</span> <i title="Institution of Engineering and Technology (IET)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/n4p4bw35xreknejdnv5745q5bm" style="color: black;">IET Cyber-Physical Systems</a> </i> &nbsp;
To this end, different approaches for verification and validation have been proposed.  ...  Due to the recent success of formal verification techniques, UML/OCL models also allow to verify and/or check certain properties of a given model in early stages of the design phase.  ...  In this section, the general idea of how to symbolically formulate corresponding UML/OCL model instantiations and how to solve verification tasks using them is sketched first.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/iet-cps.2016.0022">doi:10.1049/iet-cps.2016.0022</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mr4s7nhfabatfmz3ypzmwxq4xa">fatcat:mr4s7nhfabatfmz3ypzmwxq4xa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190217100905/http://pdfs.semanticscholar.org/04cf/0cd4ea741760122a4983396d70b38c3778ed.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/04/cf/04cf0cd4ea741760122a4983396d70b38c3778ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/iet-cps.2016.0022"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations [chapter]

Mirco Kuhlmann, Martin Gogolla
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Transforming collections and strings into relations is particularly needed in the context of automatic model validation on the basis of a UML and OCL model transformation into relational logic.  ...  for nesting, undefinedness and emptiness.  ...  This way, we enable SAT-based validation of UML/OCL models.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-31491-9_5">doi:10.1007/978-3-642-31491-9_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ndr7cc42ljeglikrtnssdy6j64">fatcat:ndr7cc42ljeglikrtnssdy6j64</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190728232812/http://www.db.informatik.uni-bremen.de:80/publications/Kuhlmann_2012_ECMFA.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/24/cd/24cd11ec225727703f1cb137ba580dab85b8ede1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-31491-9_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Verification of UML/OCL Class Diagrams using Constraint Programming

Jordi Cabot, Robert Claris´o, Daniel Riera
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2vets7bfvjgrfdnvqtw7wrhqk4" style="color: black;">2008 IEEE International Conference on Software Testing Verification and Validation Workshop</a> </i> &nbsp;
In the MDD and MDA approaches, models become the primary artifacts of the development process.  ...  Therefore, assessment of the correctness of such models is a key issue to ensure the quality of the final application.  ...  Section 2 introduces Constraint Programming concepts and notation. Later, Section 3 describes how to transform a UML/OCL model into a CSP.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icstw.2008.54">doi:10.1109/icstw.2008.54</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icst/CabotCR08.html">dblp:conf/icst/CabotCR08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dw554vnqvzekfbxgthvsdvkkt4">fatcat:dw554vnqvzekfbxgthvsdvkkt4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810173634/http://gres.uoc.edu/pubs/MODEVVA08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/86/1b/861bb10e0886af8f408c83d81071bd6749379328.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icstw.2008.54"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Efficient Verification-Driven Slicing of UML/OCL Class Diagrams

Asadullah Shaikh, Uffe Kock
<span title="">2016</span> <i title="The Science and Information Organization"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2yzw5hsmlfa6bkafwsibbudu64" style="color: black;">International Journal of Advanced Computer Science and Applications</a> </i> &nbsp;
Model defects are a significant concern in the Model-Driven Development (MDD) paradigm, as model transformations and code generation may propagate errors present in the model to other notations where they  ...  are harder to detect and trace.  ...  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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14569/ijacsa.2016.070571">doi:10.14569/ijacsa.2016.070571</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7iflosu3nnhrpdjrbqqqpnhjci">fatcat:7iflosu3nnhrpdjrbqqqpnhjci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170814091315/http://thesai.org/Downloads/Volume7No5/Paper_71-Efficient_Verification_Driven_Slicing.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ab/26/ab26d6f130b210d5c1339d2d32c6720c5c6d3676.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14569/ijacsa.2016.070571"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams

Asadullah Shaikh, Uffe Kock Wiil
<span title="">2018</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
Yes • No 11) Which of the following UML/OCL tools do you use for verification and validation? Do you think it is important to verify the UML/OCL model before transformation?  ...  Yes • No • If yes please illustrate the type of transformation 10) Do you know about UML/OCL models verification and validation tools?  ...  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  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2018.2797695">doi:10.1109/access.2018.2797695</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ysfymg2q7ja6nanwxlg4gndmam">fatcat:ysfymg2q7ja6nanwxlg4gndmam</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429235835/https://findresearcher.sdu.dk:8443/ws/files/145033809/08268094.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2f/bc/2fbcd5dfe4b66b20472db0d80f068f64a7b5d1f6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2018.2797695"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations [chapter]

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
, surjective or injective function), and to validate the transformation by the automatic generation of valid pairs of source and target models.  ...  In this paper we propose a method to derive OCL invariants from declarative specifications of model-to-model transformations.  ...  The goal of this representation is leveraging existing UML/OCL verification and validation tools for the analysis of model transformations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-87875-9_3">doi:10.1007/978-3-540-87875-9_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qkmyddvj6netrgt6zdwrn44joq">fatcat:qkmyddvj6netrgt6zdwrn44joq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100409141510/http://astreo.ii.uam.es/%7Ejlara/papers/MODELS_08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/f3/9af3f5c08bb247e2830a1572639ee3a5c50b3fd0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-87875-9_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 211 results