Search results for "OCL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
194	Slavisa Markovic, Thomas Baar	Semantics of OCL specified with QVT.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	OCL Semantics, Graph-transformations, DSL, QVT
142	Bernhard Rumpe	<>OCL Based on New Presentation of the OCL-Syntax.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
137	Martin Gogolla, Mirco Kuhlmann, Fabian Büttner	A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.	MoDELS	2008	DBLP DOI BibTeX RDF
127	Joanna Chimiak-Opoka	OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language.	MoDELS	2009	DBLP DOI BibTeX RDF	Systematic development of OCL, OCL libraries, OCL testing, OCL documentation
117	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
116	Mark Richters, Martin Gogolla	OCL: Syntax, Semantics, and Tools.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
116	Rolf Hennicker, Heinrich Hußmann, Michel Bidoit	On the Precise Meaning of OCL Constraints.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
113	Alexandre L. Correa, Cláudia M. L. Werner, Márcio de Oliveira Barros	An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications.	MoDELS	2007	DBLP DOI BibTeX RDF
106	Stephan Flake, Wolfgang Müller 0003	An OCL Extension for Real-Time Constraints.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
103	Artur Boronat, Joaquín Oriente, Abel Gómez 0001, Isidro Ramos, José A. Carsí	An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.	ECMDA-FA	2006	DBLP DOI BibTeX RDF	OCL queries and invariants, MDA, metamodeling, algebraic specification
99	Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso	Does object coupling really affect the understanding and modifying of OCL expressions?	SAC	2006	DBLP DOI BibTeX RDF	OCL expressions, UML/OCL models, object-oriented measures, coupling, controlled experiments, empirical validation, understandability, modifiability, structural properties
97	Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer	Tool Support for OCL and Related Formalisms - Needs and Trends.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
96	Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Cameron Wills	The Amsterdam Manifesto on OCL.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
94	Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki	Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages.	MoDELS	2009	DBLP DOI BibTeX RDF	assertion code, constraints, programming languages, OCL
94	Sarunas Packevicius, Andrej Usaniov, Eduardas Bareisa	Software testing using imprecise OCL constraints as oracles.	CompSysTech	2007	DBLP DOI BibTeX RDF	software testing, OCL, test oracle
94	Fang Yu 0001, Tevfik Bultan, Erik Peterson	Automated size analysis for OCL.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	size abstraction, size analysis, OCL
87	Herman Balsters	Modelling Database Views with Derived Classes in the UML/OCL-Framework.	UML	2003	DBLP DOI BibTeX RDF
85	Andy Schürr	A New Type Checking Approach for OCL Version 2.0?	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
84	María Victoria Cengarle, Alexander Knapp	OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	UML, OCL, Formal semantics
84	María Victoria Cengarle, Alexander Knapp	Towards OCL/RT.	FME	2002	DBLP DOI BibTeX RDF	Real-time systems, UML, events, OCL
83	Jörg Ackermann 0002, Klaus Turowski	A Library of OCL Specification Patterns for Behavioral Specification of Software Components.	CAiSE	2006	DBLP DOI BibTeX RDF	Component-Based Information Systems, Software Component Specification, OCL Specification Patterns
83	José Ambrosio Toval Álvarez, Víctor Requena, José Luis Fernández Alemán	Emerging OCL tools.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	OCL tools, Analysis, Object Constraint Language, Comparison
83	Anneke Kleppe, Jos Warmer	The Semantics of the OCL Action Clause.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
82	Manuel Clavel, Marina Egea	ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.	AMAST	2006	DBLP DOI BibTeX RDF
81	Ke Jiang, Lei Zhang, Shigeru Miyake	OCL4X: An Action Semantics Language for UML Model Execution.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
77	Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso	Using cognitive techniques for assessing the influence of coupling on the maintainability of OCL expressions.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
77	Duc-Hanh Dang, Martin Gogolla	On Integrating OCL and Triple Graph Grammars.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
77	Luis Reynoso, Marcela Genero, Mario Piattini	Using Verbal Protocols to Assess the Influence of Import-Coupling on the Comprehensibility of OCL Expressions.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
77	Thomas Baar	Non-deterministic Constructs in OCL - What Does any() Mean.	SDL Forum	2005	DBLP DOI BibTeX RDF
75	Shane Sendall, Alfred Strohmeier	Using OCL and UML to Specify System Behavior.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	Pre- and Postcondition Assertions, Unified Modeling Language, Requirements Analysis, Object Constraint Language, Software Specification
74	Achim D. Brucker, Burkhart Wolff	HOL-OCL: Experiences, Consequences and Design Choices.	UML	2002	DBLP DOI BibTeX RDF	refinement, OCL, formal semantics, constraint languages
74	Achim D. Brucker, Burkhart Wolff	A Proposal for a Formal OCL Semantics in Isabelle/HOL.	TPHOLs	2002	DBLP DOI BibTeX RDF	shallow embedding, UML, testing, OCL, Isabelle
73	Artur Boronat, José Meseguer 0001	Algebraic Semantics of OCL-Constrained Metamodel Specifications.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic
72	Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso	Assessing the Impact of Coupling on the Understandability and Modifiability of OCL Expressions within UML/OCL Combined Models.	IEEE METRICS	2005	DBLP DOI BibTeX RDF
71	Edward D. Willink	OCL Visualization - A Reality Check.	OCL@MoDELS	2019	DBLP BibTeX RDF
71	Manuel Clavel, Hoang Nguyen Phuoc Bao	Mapping OCL into SQL: Challenges and Opportunities Ahead.	OCL@MoDELS	2019	DBLP BibTeX RDF
71	Victor Ortiz, Loli Burgueño, Antonio Vallecillo, Martin Gogolla	Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE.	OCL@MoDELS	2019	DBLP BibTeX RDF
71	Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl	OCL meets CTL: Towards CTL-Extended OCL Model Checking.	OCL@MoDELS	2013	DBLP BibTeX RDF
71	Achim D. Brucker, Burkhart Wolff	Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
71	Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke	Workshop on OCL and textual modeling: OCL 2012.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
71	Stephan Flake, Wolfgang Müller 0003	Formal Semantics of OCL Messages.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
71	David H. Akehurst, Octavian Patrascoiu	OCL 2.0 - Implementing the Standard for Multiple Metamodels.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
71	Mika Siikarla, Jari Peltonen, Petri Selonen	Combining OCL and Programming Languages for UML Model Processing.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
71	Rolf Hennicker, Alexander Knapp, Hubert Baumeister	Semantics of OCL Operation Specifications.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
71	Dan Chiorean, Mihai Pasca, Adrian Cârcu, Cristian Botiza, Sorin Moldovan	Ensuring UML Models Consistency Using the OCL Environment.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
71	Sten Loecher, Stefan Ocke	A Metamodel-Based OCL-Compiler for UML and MOF.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
71	Daniel Larsson, Wojciech Mostowski	Specifying JAVA CARD API in OCL.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
70	Hung Ledang, Jeanine Souquières	Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.	APSEC	2002	DBLP DOI BibTeX RDF	OCL operation, B expression, B generalised substitution, UML, OCL
69	Achim D. Brucker, Burkhart Wolff	HOL-OCL: A Formal Proof Environment for UML/OCL.	FASE	2008	DBLP DOI BibTeX RDF	holocl, ocl, Formal Method, Theorem Proving, uml
68	Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc	An Experimental Investigation of Formality in UML-Based Development.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Comprehension of software models, software engineering experimentation, UML, OCL
66	Michael Soden, Hajo Eichler	Temporal Extensions of OCL Revisited.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
66	Mirco Kuhlmann, Martin Gogolla	Modeling and validating Mondex scenarios described in UML and OCL with USE.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF
66	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	Analysing Graph Transformation Rules through OCL.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
66	Fabian Büttner, Mirco Kuhlmann	Shortcomings of the Embedding of OCL into QVT ImperativeOCL.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
66	David H. Akehurst, Martin Gogolla, Steffen Zschaler	7th International Workshop on Ocl4All: Modelling Systems with OCL.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
66	Emine Gokce Aydal, Richard F. Paige, Jim Woodcock 0001	Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
66	Marcel Kyas	An Extended Type System for OCL Supporting Templates and Transformations.	FMOODS	2005	DBLP DOI BibTeX RDF
66	Stephan Flake, Wolfgang Müller 0003	An ASM Definition of the Dynamic OCL 2.0 Semantics.	UML	2004	DBLP DOI BibTeX RDF
66	Alexandre L. Correa, Cláudia Maria Lima Werner	Applying Refactoring Techniques to UML/OCL Models.	UML	2004	DBLP DOI BibTeX RDF
66	Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer	OCL and Model Driven Engineering.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
66	Birgit Demuth, Heinrich Hußmann, Sten Loecher	OCL as a Specification Language for Business Rules in Database Applications.	UML	2001	DBLP DOI BibTeX RDF
66	Luis Mandel, María Victoria Cengarle	On the Expressive Power of OCL.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
65	Martin Gogolla, Mark Richters	Expressing UML Class Diagrams Properties with OCL.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
64	Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta	OCL as the Query Language for UML Model Execution.	ICCS (3)	2008	DBLP DOI BibTeX RDF	UML, MDA, query language, OCL
64	Juliana Küster Filipe, Stuart Anderson	On a time enriched OCL liveness template.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Timed logics of knowledge, Timed automata, Timing constraints, OCL, Distributed real-time systems
64	Thomas Baar	OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF	OCL, Graph Grammars, Design by Contract, QVT, Behavior Specification
64	Giuliano Antoniol, Massimiliano Di Penta, Ettore Merlo	YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs.	IWPC	2003	DBLP DOI BibTeX RDF	AST navigation, UML, OCL, source code analysis
63	Slavisa Markovic, Thomas Baar	Refactoring OCL annotated UML class diagrams.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Imperative OCL, Syntax preserving refactoring rules, Source code verification, Refactoring, Graph-transformations, QVT
63	Shane Sendall, Alfred Strohmeier	Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.	UML	2001	DBLP DOI BibTeX RDF	Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
61	Alexandre L. Correa, Cláudia M. L. Werner	Refactoring object constraint language specifications.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
61	Stephan Flake, Wolfgang Müller 0003	Specification of Real-Time Properties for UML Models.	HICSS	2002	DBLP DOI BibTeX RDF	UML, Object Constraint Language, Real-Time Constraints, Property Specification
60	Stuart Kent 0001, John Howse	Constraint Trees.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
60	John Knapman	Statistical Constraints and Verification.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
56	Tae Yeon Kim, Yun Kyu Kim, Heung Seok Chae	Towards Improving OCL-Based Descriptions of Software Metrics.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
56	Matthias Bräuer, Birgit Demuth	Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
56	Narayan C. Debnath, Ana Gabriela Garis, Daniel Riesco, German Montejano	Defining OCL constraints for the Proxy Design Pattern Profile.	AICCSA	2007	DBLP DOI BibTeX RDF
56	Kirsten Berkenkötter	OCL-Based Validation of a Railway Domain Profile.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF
56	Slavisa Markovic, Thomas Baar	An OCL Semantics Specified with QVT.	MoDELS	2006	DBLP DOI BibTeX RDF
56	Piotr Kosiuczenko	Specification of Invariability in OCL.	MoDELS	2006	DBLP DOI BibTeX RDF
56	Pengfei Qian, Shensheng Zhang	Ontology Mapping Approach Based on OCL.	APWeb	2006	DBLP DOI BibTeX RDF
56	Slavisa Markovic, Thomas Baar	Refactoring OCL Annotated UML Class Diagrams.	MoDELS	2005	DBLP DOI BibTeX RDF
56	Thomas Baar	The Definition of Transitive Closure with OCL - Limitations and Applications.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
56	Stephan Flake	Real-Time Constraints with the OCL (position paper).	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Object Constraint Language, Real-Time Constraints
56	Jos Warmer	The Role of OCL in the Model Driven Architecture.	FIDJI	2002	DBLP DOI BibTeX RDF
56	Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer	A Visualization of OCL Using Collaborations.	UML	2001	DBLP DOI BibTeX RDF
56	Bernhard Reus, Martin Wirsing, Rolf Hennicker	A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.	FASE	2001	DBLP DOI BibTeX RDF
56	Heinrich Hußmann, Birgit Demuth, Frank Finger	Modular Architecture for a Toolset Supporting OCL.	UML	2000	DBLP DOI BibTeX RDF
56	Miro Casanova, Thomas Wallet, Maja D'Hondt	Ensuring Quality of Geographic Data with UML and OCL.	UML	2000	DBLP DOI BibTeX RDF
55	Achim D. Brucker, Gwendal Daniel, Frédéric Jouault (eds.)	19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 16, 2019.	OCL@MoDELS	2019	DBLP BibTeX RDF
55	Patrick Neubauer, Robert Bill, Dimitris S. Kolovos, Richard F. Paige, Manuel Wimmer	Reusable Textual Notations for Domain-Specific Languages.	OCL@MoDELS	2019	DBLP BibTeX RDF
55	Robert Clarisó, Martin Gogolla	A Feasibility Study on Using Classifying Terms in Alloy.	OCL@MoDELS	2019	DBLP BibTeX RDF
55	Paula Muñoz 0001, Loli Burgueño, Martin Gogolla, Antonio Vallecillo	Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams.	OCL@MoDELS	2019	DBLP BibTeX RDF
55	Daniel Calegari, Marcos Viera	Experimenting with Functional Features of the Object Constraint Language.	OCL@MoDELS	2019	DBLP BibTeX RDF
55	Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink	Emerging Topics in Textual Modelling.	OCL@MoDELS	2019	DBLP BibTeX RDF
55	Lars Hamann, Martin Gogolla, Nisha Desai 0001	On the Support of Qualified Associations in OCL.	OCL@MoDELS	2016	DBLP BibTeX RDF
55	Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff	Recent Developments in OCL and Textual Modelling.	OCL@MoDELS	2016	DBLP BibTeX RDF
55	Frédéric Jouault, Olivier Beaudoux	Efficient OCL-based Incremental Transformations.	OCL@MoDELS	2016	DBLP BibTeX RDF
55	Daniel Calegari, Marcos Viera	On the Functional Interpretation of OCL.	OCL@MoDELS	2016	DBLP BibTeX RDF
55	Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla	Integrating UML/OCL Derived Properties into Validation and Verification Processes.	OCL@MoDELS	2016	DBLP BibTeX RDF
55	Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer	A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.	OCL@MoDELS	2016	DBLP BibTeX RDF