Search results for "ocl"

Hits ?▲	Authors	Title	Venue	Year	Link
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