Search results for "OCL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Vincent Bertram, Bernhard Rumpe, Michael von Wenckstern	Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL.	OCL@MoDELS	2016	DBLP BibTeX RDF
55	Edward D. Willink	Safe Navigation in OCL.	OCL@MoDELS	2015	DBLP BibTeX RDF
55	Frédéric Jouault, Olivier Beaudoux	On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL.	OCL@MoDELS	2015	DBLP BibTeX RDF
55	Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige	An OCL-based Bridge from Concrete to Abstract Syntax.	OCL@MoDELS	2015	DBLP BibTeX RDF
55	Massimo Tisi, Rémi Douence, Dennis Wagelaar	Lazy Evaluation for OCL.	OCL@MoDELS	2015	DBLP BibTeX RDF
55	Achim D. Brucker, Tony Clark 0001, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff	Panel Discussion: Proposals for Improving OCL.	OCL@MoDELS	2014	DBLP BibTeX RDF
55	Xavier Oriol, Ernest Teniente	Incremental Checking of OCL Constraints through SQL Queries.	OCL@MoDELS	2014	DBLP BibTeX RDF
55	Delphine Longuet, Frédéric Tuong, Burkhart Wolff	Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.	OCL@MoDELS	2014	DBLP BibTeX RDF
55	Valerio Cosentino, Salvador Martínez Perez	Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases.	OCL@MoDELS	2013	DBLP BibTeX RDF
55	Thorsten Arendt, Gabriele Taentzer, Alexander Weber 0009	Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations.	OCL@MoDELS	2013	DBLP BibTeX RDF
55	Bastian Ulke, Friedrich Steimann	OCL as a Constraint Generation Language.	OCL@MoDELS	2013	DBLP BibTeX RDF
55	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.	OCL@MoDELS	2013	DBLP BibTeX RDF
55	Tony Clark 0001	OCL Pattern Matching.	OCL@MoDELS	2013	DBLP BibTeX RDF
55	Harald Störrle	Improving the Usability of OCL as an Ad-hoc Model Querying Language.	OCL@MoDELS	2013	DBLP BibTeX RDF
55	David Garry, Tricia Balfe	Experiences using OCL for business rules on financial messaging.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
55	Edward D. Willink	An extensible OCL virtual machine and code generator.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
55	Oliver Hofrichter, Lars Hamann, Martin Gogolla, Frank Steimke	The secret life of OCL constraints.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
55	Jan Reimann 0002, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann	Tool supported OCL refactoring catalogue.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
55	Miguel A. Francisco, Laura M. Castro	Automatic generation of test models and properties from UML models with OCL constraints.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
55	Peter H. Schmitt (eds.)	Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, OCL 2.0, San Francisco, CA, USA, October 21, 2003	OCL 2.0 @UML	2004	DBLP BibTeX RDF
55	Jörn Guy Süß, Andreas Leicher, Susanne Busse	OCLPrime - Environment and Language for Model Query, Views and Transformations.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
55	Peter H. Schmitt	Preface.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
55	Stephan Flake	OclType - A Type or Metatype ?	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
55	Alfred Strohmeier, Thomas Baar, Shane Sendall	Applying Fondue to Specify a Drink Vending Machine.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
54	Sergejus Sosunovas, Olegas Vasilecas	Tool-Supported Method for the Extraction of OCL from ORM Models.	BIS	2007	DBLP DOI BibTeX RDF	UML, metamodel, OCL, ORM
54	Jordi Cabot, Robert Clarisó, Daniel Riera	UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.	ASE	2007	DBLP DOI BibTeX RDF	UML, MDD, constraint programming, OCL, model verification
54	Thomas Baar, Slavisa Markovic	A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	UML, Refactoring, OCL, Semantic Preservation
54	Jordi Cabot, Ernest Teniente	Transforming OCL constraints: a context change approach.	SAC	2006	DBLP DOI BibTeX RDF	context change, transformation, OCL, integrity constraint
54	Martin Gogolla, Jörn Bohling, Mark Richters	Validating UML and OCL models in USE by automatic snapshot generation.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	models, UML, Invariant, Reasoning, OCL, Test case, Class diagram, Model validation, Snapshot, Pre- and postcondition, Model testing
54	Anneke Kleppe, Jos Warmer	Extending OCL to include Actions.	UML	2000	DBLP DOI BibTeX RDF	UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
51	Lionel C. Briand, Yvan Labiche, H.-D. Yan, Massimiliano Di Penta	A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development.	ICSM	2004	DBLP DOI BibTeX RDF
48	Ali Hamie	Translating the Object Constraint Language into the Java Modelling Language.	SAC	2004	DBLP DOI BibTeX RDF	UML, constraints, reasoning, OCL, JML
48	Ali Hamie	Enhancing the Object Constraint Language for More Expressive Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	modeling, UML, specification, constraints, OCL
47	Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow	On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set.	MoDELS (Workshops)	2009	DBLP DOI BibTeX RDF
46	Siripol Noikajana, Taratip Suwannasart	An Improved Test Case Generation Method for Web Service Testing from WSDL-S and OCL with Pair-Wise Testing Technique.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
46	Jordi Cabot, Martin Gogolla, Pieter Van Gorp	Eighth International Workshop on OCL Concepts and Tools.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
46	Ke Jiang, Lei Zhang, Shigeru Miyake	An Executable UML with OCL-based Action Semantics Language.	APSEC	2007	DBLP DOI BibTeX RDF	UML, Model-Driven, Executable UML
46	John Mullins, Raveca Oarga	Model Checking of Extended OCL Constraints on UML Models in SOCLe.	FMOODS	2007	DBLP DOI BibTeX RDF
46	Gergely Mezei, Tihamer Levendovszky, Hassan Charaf	An optimizing OCL Compiler for Metamodeling and Model Transformation Environments.	SET	2006	DBLP DOI BibTeX RDF
46	Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer	OCL for (Meta-)Models in Multiple Application Domains.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF
46	Ali Hamie	On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML).	PDCAT	2006	DBLP DOI BibTeX RDF
46	Isabel Nunes	An OCL Extension for Low-Coupling Preserving Contracts.	UML	2003	DBLP DOI BibTeX RDF
46	Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker	Configuration Knowledge Representation Using UML/OCL.	UML	2002	DBLP DOI BibTeX RDF
46	Stephan Flake, Wolfgang Müller 0003	A UML Profile for Real-Time Constraints with the OCL.	UML	2002	DBLP DOI BibTeX RDF
46	David H. Akehurst, Behzad Bordbar	On Querying UML Data Models with OCL.	UML	2001	DBLP DOI BibTeX RDF
46	Mark Richters, Martin Gogolla	Validating UML Models and OCL Constraints.	UML	2000	DBLP DOI BibTeX RDF
43	Twan van Enckevort	Refactoring UML models: using openarchitectureware to measure uml model quality and perform pattern matching on UML models with OCL queries.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	syntactic rules, UML, metrics, OCL, semantic rules, model quality
43	Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini	Formal definition of measures for UML statechart diagrams using OCL.	SAC	2008	DBLP DOI BibTeX RDF	UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams
43	Stephan Weißleder, Bernd-Holger Schlingloff	Quality of Automatically Generated Test Cases based on OCL Expressions.	ICST	2008	DBLP DOI BibTeX RDF	UML, Test Generation, OCL, Boundary, Coverage Criteria
43	Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas	Representation of Business Rules in UML&OCL Models for Developing Information Systems.	PoEM	2008	DBLP DOI BibTeX RDF	UML, constraint, invariant, event, OCL, Business rule, action, stereotype, condition
43	Djamel Berrabah, Faouzi Boufarès	Constraints Checking in UML Class Diagrams: SQL vs OCL.	DEXA	2007	DBLP DOI BibTeX RDF	constraint translation, SQL, OCL, conceptual schema
43	Miguel Garcia	Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	EJB3QL, Metamodel, OCL, Static semantics
43	Detlef Streitferdt, Matthias Riebisch, Ilka Philippow	Details of Formalized Relations in Feature Models Using OCL.	ECBS	2003	DBLP DOI BibTeX RDF	feature constraints, variability, OCL, Feature modeling
43	Janis Putman	Model for Fault Tolerance and Policy from RM-ODP Expressed in UML/OCL.	ISORC	2000	DBLP DOI BibTeX RDF	fault tolerance, UML, policy, OCL, behavior, RM-ODP
41	Lotfi Bejaoui, François Pinet, Michel Schneider, Yvan Bédard	An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries.	ER	2008	DBLP DOI BibTeX RDF
41	Magali Duboisset, François Pinet, Myoung-Ah Kang, Michel Schneider	Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles.	ER	2005	DBLP DOI BibTeX RDF
41	Herman Balsters, George B. Huitema	Semantics of Information Systems Outsourcing.	OTM Workshops	2005	DBLP DOI BibTeX RDF
41	Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf	Specification and Formal Verification of Temporal Properties of Production Automation Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
41	Martin Gogolla, Mark Richters	Development of UML Descriptions with USE.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
41	Philippe Collet, Roger Rousseau	Towards Efficient Support for Executing the Object Constraint Language.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Assertions Triggering and Evaluation, UML, Reliability, Implementation, Efficiency, Object Constraint Language
41	Ali Hamie, John Howse, Stuart Kent 0001	Interpreting the Object Constraint Language.	APSEC	1998	DBLP DOI BibTeX RDF
39	Achim D. Brucker, Jordi Cabot, Adolfo Sánchez-Barbudo Herrera (eds.)	Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016.	OCL@MoDELS	2016	DBLP BibTeX RDF
39	Horacio Hoyos Rodriguez, Dimitrios S. Kolovos	Declarative Model Transformation Execution Planning.	OCL@MoDELS	2016	DBLP BibTeX RDF
39	Antonio García-Domínguez, Dimitris S. Kolovos	Models from Code, or Code as Models?	OCL@MoDELS	2016	DBLP BibTeX RDF
39	Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki 0001	Modeling and Reasoning with Multirelations, and their encoding in Alloy.	OCL@MoDELS	2016	DBLP BibTeX RDF
39	Sina Madani, Dimitris S. Kolovos	Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report.	OCL@MoDELS	2016	DBLP BibTeX RDF
39	Vincent Bertram, Alexander Roth 0004, Bernhard Rumpe, Michael von Wenckstern	Extendable Toolchain for Automatic Compatibility Checks.	OCL@MoDELS	2016	DBLP BibTeX RDF
39	Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong (eds.)	Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015.	OCL@MoDELS	2015	DBLP BibTeX RDF
39	Ed Seidewitz, Jérémie Tatibouet	Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -.	OCL@MoDELS	2015	DBLP BibTeX RDF
39	Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton	Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs.	OCL@MoDELS	2015	DBLP BibTeX RDF
39	Timo Kehrer, Christopher Pietsch, Udo Kelter, Daniel Strüber 0001, Steffen Vaupel	An Adaptable Tool Environment for High-level Differencing of Textual Models.	OCL@MoDELS	2015	DBLP BibTeX RDF
39	Colin Atkinson 0001, Ralph Gerbig, Thomas Kühne 0001	Opportunities and Challenges for Deep Constraint Languages.	OCL@MoDELS	2015	DBLP BibTeX RDF
39	Jesús Sánchez Cuadrado	Recursion and Iteration Support in USE Validator with AnATLyzer.	OCL@MoDELS	2015	DBLP BibTeX RDF
39	Achim D. Brucker, Carolina Dania, Geri Georg, Martin Gogolla (eds.)	Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014.	OCL@MoDELS	2014	DBLP BibTeX RDF
39	Ahmed Ahmed 0005, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau	CdmCL, a Specific Textual Constraint Language for Common Data Model.	OCL@MoDELS	2014	DBLP BibTeX RDF
39	Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo	MQT, an Approach for Run-Time Query Translation: From EOL to SQL.	OCL@MoDELS	2014	DBLP BibTeX RDF
39	Gergely Dévai, Gábor Ferenc Kovács, Ádám An	Textual, Executable, Translatable UML.	OCL@MoDELS	2014	DBLP BibTeX RDF
39	Alexander Kraas	Realizing Model Simplifications with QVT Operational Mappings.	OCL@MoDELS	2014	DBLP BibTeX RDF
39	Frédéric Jouault, Jérôme Delatour	Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems.	OCL@MoDELS	2014	DBLP BibTeX RDF
39	Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maña	Validation of a Security Metamodel for the Development of Cloud Applications.	OCL@MoDELS	2014	DBLP BibTeX RDF
39	Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink (eds.)	Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013.	OCL@MoDELS	2013	DBLP BibTeX RDF
39	Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff	On the Semantics of Object-Oriented Data Structures and Path Expressions.	OCL@MoDELS	2013	DBLP BibTeX RDF
39	Geri Georg, Lucy J. Troup	Experiences Developing a Requirements Language Based on the Psychological Framework Activity Theory.	OCL@MoDELS	2013	DBLP BibTeX RDF
39	Lars Schütze, Claas Wilke, Birgit Demuth	Tool-Supported Step-By-Step Debugging for the Object Constraint Language.	OCL@MoDELS	2013	DBLP BibTeX RDF
39	Carolina Dania, Manuel Clavel	OCL2FOL+: Coping with Undefinedness.	OCL@MoDELS	2013	DBLP BibTeX RDF
39	Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke (eds.)	Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012	OCL@MoDELS	2012	DBLP BibTeX RDF
39	Arnaud Dieumegard, Andres Toom, Marc Pantel	Model-based formal specification of a DSL library for a qualified code generator.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
39	Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth 0001, István Ráth, Dániel Varró	Ontology driven design of EMF metamodels and well-formedness constraints.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
39	Filip Krikava, Philippe Collet	On the use of an internal DSL for enriching EMF models.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
39	Jens Brüning, Martin Kunert, Birger Lantow	Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
39	Renars Liepins	Library for model querying: IQuery.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
39	Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
39	Tony Clark 0001, Jos Warmer (eds.)	Object Modeling with the OCL, The Rationale behind the Object Constraint Language	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
39	Bran Selic	Introduction.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
39	Tony Clark 0001, Andy Evans, Stuart Kent 0001	A Meta-model Facility for a Family of UML Constraint Languages.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
38	Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds	XMI2USE: A Tool for Transforming XMI to USE Specifications.	ER Workshops	2009	DBLP DOI BibTeX RDF	MDA, Model Transformation, OCL, USE, Modeling Tool, XMI
38	Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu 0001	Validation of requirement models by automatic prototyping.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	UML, Prototype, Code generation, OCL, Requirement validation
38	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth 0002, Steffen Schlager, Peter H. Schmitt	The KeY tool.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL
38	László Lengyel, Tihamer Levendovszky, Hassan Charaf	Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF	Metamodel-Based Graph Transformation Steps, Aspect-Oriented Constraints, Crosscutting Constraints, Weaving AO Constraints, VMTS, OCL
38	Anneke Kleppe	Towards General Purpose, High Level, Software Languages.	ECMDA-FA	2005	DBLP DOI BibTeX RDF	UML, design patterns, programming language, MDA, model transformations, domain specific languages, OCL, Modeling language