Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier |
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem |
Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. |
SNPD (revised selected papers) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Frank Hilken |
UML and OCL Transformation Model Analysis: Checking Invariant Independence. |
VOLT@STAF |
2015 |
DBLP BibTeX RDF |
|
16 | Alberto Manuel Fernández Álvarez, Daniel Fernández Lanvin, Manuel Quintela-Pumares |
OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution. |
ICSOFT-PT |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems. |
ICSOFT-EA |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Manuel Fernández Álvarez, Daniel Fernández Lanvin, Manuel Quintela-Pumares |
Invariant Implementation for Domain Models Applying Incremental OCL Techniques. |
ICSOFT (Selected Papers) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska 0001, Rolf Drechsler |
Checking concurrent behavior in UML/OCL models. |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler |
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. |
MoDeVVa@MoDELS |
2015 |
DBLP BibTeX RDF |
|
16 | Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer |
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Robert Clarisó, Carlos A. González, Jordi Cabot |
Towards Domain Refinement for UML/OCL Bounded Verification. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umar |
AspectOCL: Extending OCL for Crosscutting Constraints. |
ECMFA |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann |
On formalizing UML and OCL features and their employment to runtime verification. (PDF / PS) |
|
2015 |
RDF |
|
16 | Jakub Malý, Martin Necaský |
Evaluation of OCL Expressions over XML Data Model. |
J. Univers. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Yönet A. Eracar, Mieczyslaw M. Kokar |
Using UML and OCL for representing multiobjective combinatorial optimization problems. |
J. Intell. Manuf. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Achim D. Brucker, Dan Chiorean, Tony Clark 0001, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff |
Report on the Aachen OCL Meeting. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
16 | Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Cameron Wills |
The Amsterdam Manifesto on OCL. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
16 | Jordi Cabot, Robert Clarisó, Daniel Riera |
On the verification of UML/OCL class diagrams using constraint programming. |
J. Syst. Softw. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Harith T. Al-Jumaily, Dolores Cuadra, Paloma Martínez |
Applying black-box testing to UML/OCL database models. |
Softw. Qual. J. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Bilal Kanso, Safouan Taha |
Specification of temporal properties with OCL. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Büttner, Martin Gogolla |
On OCL-based imperative languages. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Asadullah Shaikh, Uffe Kock Wiil |
A feedback technique for unsatisfiable UML/OCL class diagrams. |
Softw. Pract. Exp. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ali Hamie |
Pattern-based Mapping of OCL Specifications to JML Contracts. |
MODELSWARD |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Rayhana Baghli, Bruno Traverson |
Verbalization of Business Rules - Application to OCL Constraints in the Utility Domain. |
MODELSWARD |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ali Hamie |
Using Patterns to Map OCL Constraints to JML Specifications. |
MODELSWARD (Revised Selected Papers) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
Model Checking of CTL-Extended OCL Specifications. |
SLE |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Tao Yue 0002 |
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Martin Gogolla, Oliver Hofrichter |
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL. |
Software Engineering |
2014 |
DBLP BibTeX RDF |
|
16 | Frank Hilken, Lars Hamann, Martin Gogolla |
Transformation of UML and OCL Models into Filmstrip Models. |
ICMT |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Oriol, Ernest Teniente, Albert Tort |
Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. |
ER |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella |
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. |
SERE |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Tao Yue 0002, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege |
Insights on the Use of OCL in Diverse Industrial Applications. |
SAM |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Muhammad Zohaib Iqbal, Andrea Arcuri |
Improved heuristics for solving OCL constraints using search algorithms. |
GECCO |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Hilken, Julia Seiter 0002, Robert Wille, Ulrich Kühne, Rolf Drechsler |
Verifying consistency between activity diagrams and their corresponding OCL contracts. |
FDL |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Frank Hilken, Philipp Niemann 0001, Martin Gogolla, Robert Wille |
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Frank Hilken |
Checking Transformation Model Properties with a UML and OCL Model Validator. |
VOLT@STAF |
2014 |
DBLP BibTeX RDF |
|
16 | Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl |
MocOCL: A Model Checker for CTL-Extended OCL Specifications. |
VOLT@STAF |
2014 |
DBLP BibTeX RDF |
|
16 | Ricardo J. Rodríguez, Elena Gómez-Martínez |
Model-Based Safety Assessment Using OCL and Petri Nets. |
EUROMICRO-SEAA |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Gábor Bergmann |
Translating OCL to Graph Patterns. |
MoDELS |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Frank Hilken |
On Static and Dynamic Analysis of UML and OCL Transformation Models. |
AMT@MoDELS |
2014 |
DBLP BibTeX RDF |
|
16 | Frank Hilken, Philipp Niemann 0001, Robert Wille, Martin Gogolla |
Towards a Base Model for UML and OCL Verification. |
MoDeVVa@MoDELS |
2014 |
DBLP BibTeX RDF |
|
16 | Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Philip Langer, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Manuel Wimmer |
A Systematic Taxonomy of Metamodel Evolution Impacts on OCL Expressions. |
ME@MoDELS |
2014 |
DBLP BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier |
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. |
BM-FA (Revised Selected Papers) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen |
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. |
BM-FA |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Enrico Franconi, Alessandro Mosca 0001, Xavier Oriol, Guillem Rull, Ernest Teniente |
Logic Foundations of the OCL Modelling Language. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Miloud Bennama, Thouraya Bouabana-Tebibel |
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. |
VECoS |
2014 |
DBLP BibTeX RDF |
|
16 | Duc-Hanh Dang, Jordi Cabot |
On Automating Inference of OCL Constraints from Counterexamples and Examples. |
KSE |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Imen Sayar, Mohamed Tahar Bhiri |
From an abstract specification in event-b toward an UML/OCL model. |
FormaliSE |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee |
OCL usability: a major challenge in adopting UML. |
RAISE |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer |
From Core OCL Invariants to Nested Graph Constraints. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Wei Dou 0001, Domenico Bianculli, Lionel C. Briand |
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL. |
ECMFA |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa |
A natural language processing approach to generate SBVR and OCL. |
|
2014 |
RDF |
|
16 | Hector Miguel Chavez, Wuwei Shen |
Formalization of UML Composition in OCL. |
Int. J. Softw. Innov. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Piotr Kosiuczenko |
Specification of invariability in OCL - Specifying invariable system parts and views. |
Softw. Syst. Model. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Karsten Sohr, Martin Gogolla |
Employing UML and OCL for designing and analysing role-based access control. |
Math. Struct. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | A. Jalila, D. Jeya Mala |
Empirical evidence on OCL formal specification-based metrics as a predictor of fault-proneness. |
ACM SIGSOFT Softw. Eng. Notes |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
Generating Test Data from OCL Constraints with Search Techniques. |
IEEE Trans. Software Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee |
SBVR vs OCL: A Comparative Analysis of Standards |
CoRR |
2013 |
DBLP BibTeX RDF |
|
16 | Tamás Vajk, Gergely Mezei, Tihamer Levendovszky |
Incremental semantic analysis for OCL compilers. |
Innov. Syst. Softw. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gordana Rudic, Bojana Dimic Surla |
Using OCL in the Formal Specification of the Library Standards. |
Int. J. Softw. Eng. Knowl. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ali Hamie |
Visualizing OCL Constraint Patterns with VOCL. |
MODELSWARD |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro |
Automatic Generation of Test Models for Web Services Using WSDL and OCL. |
ICSOC |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Elshaarawy, Haitham S. Hamza, Ismail Abdel Hamid Taha |
Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (S). |
SEKE |
2013 |
DBLP BibTeX RDF |
|
16 | Julia Seiter 0002, Robert Wille, Mathias Soeken, Rolf Drechsler |
Determining relevant model elements for the verification of UML/OCL specifications. |
DATE |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Shinji Kikuchi, Tetsuya Uchiumi, Shinya Kitajima, Yasuhide Matsumoto |
Configuration Policy Extraction for Parameter Settings in Cloud Infrastructure Using UML/OCL Verification. |
IEEE CLOUD |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jakub Malý, Martin Necaský |
Semantic Document Adaptation with OCL Annotations. |
APSEC (1) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Duc-Hanh Dang, Jordi Cabot |
Automating Inference of OCL Business Rules from User Scenarios. |
APSEC (1) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto |
Bidirectional Translation between OCL and JML for Round-Trip Engineering. |
APSEC (2) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Security requirements formalized with OCL in a model-driven approach. |
MoDRE |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler |
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
16 | Martin Gogolla, Fabian Büttner, Jordi Cabot |
Initiating a Benchmark for UML and OCL Analysis Tools. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis |
Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System. |
SNPD |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora 0001 |
Quality Improvement in Data Models with SLFD-based OCL Constraints. |
ICSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Hofrichter, Martin Gogolla, Karsten Sohr |
UML/OCL based Design and Analysis of Role-Based Access Control Policies. |
GEMOC+AMINO@MoDELS |
2013 |
DBLP BibTeX RDF |
|
16 | Dimitrios S. Kolovos, Ran Wei, Konstantinos Barmpis |
An Approach for Efficient Querying of Large Relational Datasets with OCL based Languages. |
XM@MoDELS |
2013 |
DBLP BibTeX RDF |
|
16 | Luis Reynoso, Marcelo Amaolo, Daniel Dolz, Claudio Vaucheret, Mabel Álvarez |
Increasing the Rigorousness of Measures Definition through a UML/OCL Model Based on the Briand et al.'s Framework. |
ICCSA (3) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Angélica Aparecida de Almeida Ribeiro, Sergio Murilo Stempliuc, Jugurta Lisboa Filho, Italo Lopes Oliveira |
Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model. |
ICEIS (2) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner |
A benchmark for OCL engine accuracy, determinateness, and efficiency. |
Softw. Syst. Model. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar |
Translating natural language constraints to OCL. |
J. King Saud Univ. Comput. Inf. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Anna Queralt, Ernest Teniente |
Verification and Validation of UML Conceptual Schemas with OCL Constraints. |
ACM Trans. Softw. Eng. Methodol. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Karsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn |
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL. |
Inf. Softw. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Diana Kalibatiene, Olegas Vasilecas |
Application of the Ontology Axioms for the Development of OCL Constraints from PAL Constraints. |
Informatica |
2012 |
DBLP BibTeX RDF |
|
16 | Bilal Kanso, Safouan Taha |
Temporal Constraint Support for OCL. |
SLE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Sombat Chanvilai, Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga |
Goal-oriented approach to creating class diagrams with OCL constraints. |
SAC |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jácome Cunha, João Paulo Fernandes, João Saraiva |
From relational ClassSheets to UML+OCL. |
SAC |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Robert Wille, Mathias Soeken, Rolf Drechsler |
Debugging of inconsistent UML/OCL models. |
DATE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mathias Soeken, Robert Wille, Rolf Drechsler |
Eliminating invariants in UML/OCL models. |
DATE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Hector Miguel Chavez, Wuwei Shen |
Formalization of UML Composition in OCL. |
ACIS-ICIS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Kamal Boulil, Sandro Bimonte, François Pinet |
Un cadre conceptuel basé sur UML et Spatial OCL la Défini-tion des contraintes d'intégrité dans les systèmes SOLAP. |
EDA |
2012 |
DBLP BibTeX RDF |
|
16 | Jakub Malý, Martin Necaský |
Describing and Verifying Integrity Constraints in XML Using OCL. |
ICWS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Faten Atigui, Franck Ravat, Olivier Teste, Gilles Zurfluh |
Using OCL for Automatically Producing Multidimensional Models and ETL Processes. |
DaWaK |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Asadullah Shaikh, Uffe Kock Wiil |
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing. |
SIGSOFT FSE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Martin Gogolla |
Object Constraint Language (OCL): A Definitive Guide. |
SFM |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
Evaluating and Debugging OCL Expressions in UML Models. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Shahin Shah, Lukás Chrpa, Peter Gregory, Thomas Leo McCluskey, Falilat Jimoh |
OCL Plus: Processes and Events in Object-Centred Planning. |
STAIRS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla |
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. |
Modellierung |
2012 |
DBLP BibTeX RDF |
|
16 | Lars Hamann, Martin Gogolla, Daniel Honsel |
Towards supporting multiple execution environments for UML/OCL models at runtime. |
Models@run.time |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Oliver Hofrichter, Martin Gogolla |
On Integrating Structure and Behavior Modeling with OCL. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Martin Gogolla |
From UML and OCL to Relational Logic and Back. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Zdenek Rybola, Karel Richta |
Using OCL in Model Validation According to Stereotypes. |
DATESO |
2012 |
DBLP BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar |
Semantic Analysis of English Specification of OCL. |
FLAIRS |
2012 |
DBLP BibTeX RDF |
|