Search results for "OCL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson 0001	Automating commutativity analysis at the design level.	ISSTA	2004	DBLP DOI BibTeX RDF	proton therapy, model checking, formal specification, testing, concurrency, case study, OCL, alloy, commutativity, critical systems, radiation therapy, lightweight formal methods
38	Nora Koch, Martin Wirsing	The Munich Reference Model for Adaptive Hypermedia Applications.	AH	2002	DBLP DOI BibTeX RDF	UML, Formal Specification, OCL, Adaptive Hypermedia, Reference Model, Visual Modeling, Constraint Language
37	Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat 0001	A Property-Driven Approach to Formal Verification of Process Models.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Properties Validation, Temporal OCL, Models Semantics, Verification, Petri Nets, Process Model, Model Transformation, Metamodelling, LTL
37	Bernhard Beckert, Steffen Schlager	Software Verification with Integrated Data Type Refinement for Integer Arithmetic.	IFM	2004	DBLP DOI BibTeX RDF	UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic
36	Martin Gogolla, Mirco Kuhlmann, Lars Hamann	Consistency, Independence and Consequences in UML and OCL Models.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
36	Samira Sadaoui, Malek Mouhoub, Xiao Feng Li	An OCL-Based CSP Specification and Solving Tool.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
36	Raquel Pau, Jordi Cabot	Paraphrasing OCL Expressions with SBVR.	NLDB	2008	DBLP DOI BibTeX RDF
36	Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin	Optimization Patterns for OCL-Based Model Transformations.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
36	Junqing Li 0001, Xin-you Li, Shengxian Xie, Chen Chen, Hui-Shan Yu, Guangliang Liu	A fine-grained time-constraint role-based access control using OCL.	ICDIM	2008	DBLP DOI BibTeX RDF
36	Anna Queralt, Ernest Teniente	Reasoning on UML Class Diagrams with OCL Constraints.	ER	2006	DBLP DOI BibTeX RDF
36	Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche	Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
36	Martin Giese, Daniel Larsson	Simplifying Transformations of OCL Constraints.	MoDELS	2005	DBLP DOI BibTeX RDF
36	Kurt Stirewalt, Spencer Rugaber	Automated Invariant Maintenance Via OCL Compilation.	MoDELS	2005	DBLP DOI BibTeX RDF
36	Magali Duboisset, François Pinet, Myoung-Ah Kang, Michel Schneider	Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
36	Hanna Bauerdick, Martin Gogolla, Fabian Gutsche	Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.	UML	2004	DBLP DOI BibTeX RDF
36	Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt	An OCL Formulation of UML2 Template Binding.	UML	2004	DBLP DOI BibTeX RDF
36	Paul Ziemann, Martin Gogolla	OCL Extended with Temporal Logic.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
36	Martin Gogolla, Jörn Bohling, Mark Richters	Validation of UML and OCL Models by Automatic Snapshot Generation.	UML	2003	DBLP DOI BibTeX RDF
36	Boris Roussev	Generating OCL Specifications and Class Diagrams from Use Cases: A Newtonian Approach.	HICSS	2003	DBLP DOI BibTeX RDF
36	Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens	Enriching OCL Using Observational Mu-Calculus.	FASE	2002	DBLP DOI BibTeX RDF
36	María Victoria Cengarle, Alexander Knapp	A Formal Semantics for OCL 1.4.	UML	2001	DBLP DOI BibTeX RDF
36	Jos Warmer, Anneke Kleppe	Introduction to OCL.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
33	Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté	UML/OCL and Refinement.	ECBS	2011	DBLP DOI BibTeX RDF	Mathematics extension, Global invariant, Local invariant, Refinement, Genericity, Inheritance, OCL, Class Library
33	Krzysztof Czarnecki 0001, Krzysztof Pietroszek	Verifying feature-based model templates against well-formedness OCL constraints.	GPCE	2006	DBLP DOI BibTeX RDF	model templates, UML, formal verification, model-driven development, software-product lines, configuration, OCL, feature modeling, feature interaction, metaprogramming
32	Robert Clarisó, Lars Hamann	International Workshop on OCL and Textual Modeling (OCL 2023).	MoDELS (Companion)	2023	DBLP DOI BibTeX RDF
32	Elyes Cherfa	Assistance à la spécification de contraintes OCL dans les métamodèles. (Assisting the creation of OCL constraints).		2021	RDF
32	Kevin Lano	Adding Regular Expression Operators to OCL.	STAF Workshops	2021	DBLP BibTeX RDF
32	Kevin Lano	Implementing OCL in Swift.	STAF Workshops	2021	DBLP BibTeX RDF
32	Martin Gogolla, Loli Burgueño, Antonio Vallecillo	Refactoring Collections in OCL.	STAF Workshops	2021	DBLP BibTeX RDF
32	Messaoud Abbas	L'environnement FoCaLiZe au service d'UML/OCL. (The FoCaLiZe environment for UML/OCL service).		2018	RDF
32	Robert Darimont, Christophe Ponsard, Michel Lemoine	Goal-driven elaboration of OCL enriched UML class diagrams.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
32	Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais	SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints.	D&P@MoDELS	2016	DBLP BibTeX RDF
32	Frédéric Tuong	Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. (Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL).		2016	RDF
32	Achim D. Brucker, Frédéric Tuong, Burkhart Wolff	Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
32	Jérôme Cantenot	Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. (Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation).		2013	RDF
32	Imen Sayar	D'Event-B vers UML/OCL en passant par UML/EM-OCL	CoRR	2012	DBLP BibTeX RDF
32	Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente	OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.	Data Knowl. Eng.	2012	DBLP DOI BibTeX RDF
32	Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente	OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.	Description Logics	2012	DBLP BibTeX RDF
32	Elizabeta Fourneret	Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs. (Test Generation from UML/OCL Model for involving critical system).		2012	RDF
32	Mathias Soeken, Robert Wille, Rolf Drechsler	Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models.	TAP@TOOLS	2011	DBLP DOI BibTeX RDF
32	Jordi Cabot, Tony Clark 0001, Manuel Clavel, Martin Gogolla	Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010).	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
32	Joanna Chimiak-Opoka, Birgit Demuth	Teaching OCL Standard Library: First Part of an OCL 2.x Course.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
32	Magali Duboisset	Un système de contraintes d'intégrité OCL pour les bases de données spatiales. Application à un système d'information pour l'épandage agricole. (A system of OCL integrity constraints for spatial databases. Application to an agricultural spreading information system).		2007	RDF
32	Luis Reynoso, Marcela Genero, Mario Piattini	Validating Metrics for OCL Expressions Expressed within UML/OCL models.	Software Audit and Metrics	2004	DBLP BibTeX RDF
30	Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin	Experiments with a High-Level Navigation Language.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
30	Achim D. Brucker, Jürgen Doser, Burkhart Wolff	A Model Transformation Semantics and Analysis Methodology for SecureUML.	MoDELS	2006	DBLP DOI BibTeX RDF
30	Marc Lohmann, Stefan Sauer 0001, Gregor Engels	Executable Visual Contracts.	VL/HCC	2005	DBLP DOI BibTeX RDF
30	Liliana Favre	Well-Founded Metamodeling for Model-Driven Architecture.	SOFSEM	2005	DBLP DOI BibTeX RDF
30	Jeff Gray 0001, Stephen R. Schach	Constraint animation using an object-oriented declarative language.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
30	Richard Mitchell	Analysis by Contract: UML with Attitude!	TOOLS (29)	1999	DBLP DOI BibTeX RDF
28	Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar	A method for validating the compliance of business processes to business rules.	SAC	2010	DBLP DOI BibTeX RDF	compliance validation, UML, business process, OCL, business rules
28	Piotr Kosiuczenko	Redesign of UML class diagrams: a formal approach.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	UML, Formal methods, Refactoring, OCL, Requirements tracing
28	Yingfei Xiong 0001, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei 0001	Supporting automatic model inconsistency fixing.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	beanbag, inconsistency fixing, ocl, model consistency
28	Luis Reynoso, Elvira Rolón Aguilar, Marcela Genero, Félix García 0001, Francisco Ruiz 0001, Mario Piattini	Formal Definition of Measures for BPMN Models.	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	Measure, Business Process, OCL, BPMN, Formal Definition
28	Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito	A model-prover for constrained dynamic conversations.	iiWAS	2008	DBLP DOI BibTeX RDF	web service, UML, conversations, OCL, WSDL, alloy
28	Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier	Definition and Correct Refinement of Operation Specifications.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF	System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT
28	Stefan Haustein, Jörg Pleumann	A model-driven runtime environment for Web applications.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	UML virtual machnies, UML, Web applications, MDA, OCL, Action semantics
28	Richard Bubel, Reiner Hähnle	Integration of informal and formal development of object-oriented safety-critical software.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	UML, Formal specification, Design patterns, OCL, Safety-critical software
28	Aline Lúcia Baroni	Quantitative assessment of UML dynamic models.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	UML meta-model, UML models (use cases, activity, sequence, collaboration, communication), estimation, statecharts, OCL, behavioral models, formalization, dynamic models, object-oriented design metrics
28	Fabian Büttner, Hanna Bauerdick, Martin Gogolla	Towards Transformation of Integrity Constraints and Database States.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	constraint transformation, UML, OCL, Integrity constraint, schema transformation, cardinality constraint
28	Frédéric Fondement, Thomas Baar	Making Metamodels Aware of Concrete Syntax.	ECMDA-FA	2005	DBLP DOI BibTeX RDF	Concrete Syntax Description, UML, Metamodeling, Visual Languages, OCL, MOF
28	Eduardo Fernández-Medina, Juan Trujillo 0001, Rodolfo Villarroel, Mario Piattini	Extending UML for Designing Secure Data Warehouses.	ER	2004	DBLP DOI BibTeX RDF	Secure data warehouses, OCL, multidimensional modeling, UML extension
28	Achim D. Brucker, Burkhart Wolff	Using Theory Morphisms for Implementing Formal Methods Tools.	TYPES	2002	DBLP DOI BibTeX RDF	Shallow Embeddings, Formal Methods, Theorem Proving, OCL, Formal Semantics
28	Gregor Engels, Reiko Heckel, Stefan Sauer 0001	UML - A Universal Modeling Language?	ICATPN	2000	DBLP DOI BibTeX RDF	UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram
27	Frédéric Massicotte, Mathieu Couture, Lionel C. Briand, Yvan Labiche	Model-Driven, Network-Context Sensitive Intrusion Detection.	MoDELS	2007	DBLP DOI BibTeX RDF	OCL constraints, Intrusion Detection, UML modeling
27	Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar	Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	Enterprise Language, Structural Concepts, UML/OCL, Denotational Semantics, RM-ODP
27	L. J. Wang, A. S. M. Sajeev, Lachana Inchaiwong	A Formal Specification of Interaction Widgets Hierarchy Framework.	ITNG	2006	DBLP DOI BibTeX RDF	device independent interface, abstract interactor, object constraint language (OCL), widget, design by contract
27	Liliana Favre, Liliana Martinez, Claudia Pereira	Transforming UML Static Models into Object-Oriented Code.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts
26	Fabiana Gomes Marinho	A proposal for consistency checking in dynamic software product line models using OCL.	ICSE (2)	2010	DBLP DOI BibTeX RDF	dynamic software product line models, consistency checking
26	Jordi Cabot, Robert Clarisó, Daniel Riera	Verifying UML/OCL Operation Contracts.	IFM	2009	DBLP DOI BibTeX RDF
26	Hang Zhou 0002, Zhiqiu Huang, Yi Zhu 0008	Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.	ICYCS	2008	DBLP DOI BibTeX RDF
26	Duc-Hanh Dang	Triple Graph Grammars and OCL for Validating System Behavior.	ICGT	2008	DBLP DOI BibTeX RDF
26	Karsten Sohr, Tanveer Mustafa, Xinyu Bao, Gail-Joon Ahn	Enforcing Role-Based Access Control Policies in Web Services with UML and OCL.	ACSAC	2008	DBLP DOI BibTeX RDF
26	Martin Gogolla, Fabian Büttner, Duc-Hanh Dang	From Graph Transformation to OCL Using USE.	AGTIVE	2007	DBLP DOI BibTeX RDF
26	Hui Song, Yanchun Sun, Li Zhou, Gang Huang 0001	Towards Instant Automatic Model Refinement Based on OCL.	APSEC	2007	DBLP DOI BibTeX RDF
26	François Lagarde, François Terrier, Charles André, Sébastien Gérard	Extending OCL to Ensure Model Transformations.	ER Workshops	2007	DBLP DOI BibTeX RDF
26	John T. E. Timm, Gerald C. Gannod	Specifying Semantic Web Service Compositions using UML and OCL.	ICWS	2007	DBLP DOI BibTeX RDF
26	Jordi Cabot, Ernest Teniente	Incremental Evaluation of OCL Constraints.	CAiSE	2006	DBLP DOI BibTeX RDF
26	Michael Altenhofen, Thomas Hettel, Stefan Kusterer	OCL Support in an Industrial Environment.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF
26	Claudia Pons, Diego García	An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE.	MoDELS	2006	DBLP DOI BibTeX RDF
26	Karsten Sohr, Gail-Joon Ahn, Lars Migge	Articulating and enforcing authorisation policies with UML and OCL.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	UML
26	Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge	Specification and Validation of Authorisation Constraints Using UML and OCL.	ESORICS	2005	DBLP DOI BibTeX RDF
26	Bernhard K. Aichernig, Percy Antonio Pari Salas	Test Case Generation by OCL Mutation and Constraint Solving.	QSIC	2005	DBLP DOI BibTeX RDF
26	Narayan C. Debnath, Daniel Riesco, German Montejano, Robert Uzal, Lorena Baigorria, Aristides Dasso, Ana Funes	A technique based on the OMG metamodel and OCL for the definition of object-oriented metrics applied to UML models.	AICCSA	2005	DBLP DOI BibTeX RDF
26	Eduardo Fernández-Medina, Mario Piattini	Extending OCL for Secure Database Development.	UML	2004	DBLP DOI BibTeX RDF
26	Ahmed Gaafar, Sherif Sakr	Towards a Framework for Mapping Between UML/OCL and XML/XQuery.	UML	2004	DBLP DOI BibTeX RDF
26	Agustín Goñi, Yadran Eterovic	Building Precise UML Constructs to Model Concurrency Using OCL.	UML	2004	DBLP DOI BibTeX RDF
26	François Pinet, Myoung-Ah Kang, Frédéric Vigier	Spatial Constraint Modelling with a GIS Extension of UML and OCL: Application to Agricultural Information Systems.	Metainformatics	2004	DBLP DOI BibTeX RDF
26	Birgit Hofreiter, Christian Huemer, Werner Winiwarter	OCL-Constraints for UMM Business Collaborations.	EC-Web	2004	DBLP DOI BibTeX RDF
26	Stephan Flake, Wolfgang Müller 0003	Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.	SEFM	2004	DBLP DOI BibTeX RDF
26	L. Ol'khovich, Dmitrij V. Koznov	OCL-Based Automated Validation Method for UML Specifications.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
26	David Hearnden, Kerry Raymond, Jim Steel	MQL: a Powerful Extension to OCL for MOF Queries.	EDOC	2003	DBLP DOI BibTeX RDF
26	Thomas Baar, Bernhard Beckert, Peter H. Schmitt	An Extension of Dynamic Logic for Modelling OCL's @pre Operator.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
20	Giuseppe Pelagatti, Mauro Negri, Alberto Belussi, Sara Migliorini	From the conceptual design of spatial constraints to their implementation in real systems.	GIS	2009	DBLP DOI BibTeX RDF	spatial data validation, spatial integrity constraints, conceptual modeling
20	Piotr Kosiuczenko	On the Implementation of @pre.	FASE	2009	DBLP DOI BibTeX RDF
20	Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla	Analyzing and Managing Role-Based Access Control Policies.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Access controls, Protection mechanisms
20	Liliana Favre, Claudia Pereira	Formalizing MDA-Based Refactorings.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Formal Specification, Model Driven Architecture, Refactoring, Model Driven Development
20	Nasreddine Aoumeur, Gunter Saake	A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS.	UNISCON	2008	DBLP DOI BibTeX RDF	Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic
20	Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille	Description and Implementation of a UML Style Guide.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
20	Christian Glodt, Pierre Kelsen, Elke Pulvermüller	DEMOCLES: a tool for executable modeling of platform-independent systems.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code generation, model-driven architecture, visual programming, eclipse, executable models, platform-independent model