Search results for "OCL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	G. Satya Reddy, Hrushikesha Mohanty	Specification Based Testing of Inheritance: A Framework of a Tool.	ICIT	2007	DBLP DOI BibTeX RDF
20	Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu 0012, Jifeng He 0001	The Validation and Verification of WSCDL.	APSEC	2007	DBLP DOI BibTeX RDF	WSCDL, Verification, Validation
20	Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano	A light-weight static approach to analyzing UML behavioral properties.	ICECCS	2007	DBLP DOI BibTeX RDF
20	Claudia Pons, Diego García	Practical Verification Strategy for Refinement Conditions in UML Models.	IFIP Workshop on Advanced Software Engineering	2006	DBLP DOI BibTeX RDF
20	Orest Pilskalns, Daniel Williams 0001, Damir Aracic, Anneliese Amschler Andrews	Security Consistency in UML Designs.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
20	Levi Lucio, Luis Pedro, Didier Buchs	A Methodology and a Framework for Model-Based Testing.	RISE	2004	DBLP DOI BibTeX RDF
20	Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim	Using uml to visualize role-based access control constraints.	SACMAT	2004	DBLP DOI BibTeX RDF	modeling, UML, RBAC
20	Herman Balsters, Bert O. de Brock	Integration of Integrity Constraints in Federated Schemata Based on Tight Constraining.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
20	Herman Balsters, Bert O. de Brock	An Object-Oriented Framework for Reconciliation and Extraction in Heterogeneous Data Federations.	ADVIS	2004	DBLP DOI BibTeX RDF
20	Dominik Stein, Stefan Hanenberg, Rainer Unland	A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models.	MDAFA	2004	DBLP DOI BibTeX RDF
20	Richard Widhalm, Thomas A. Mück	Merging Topics in Well-Formed XML Topic Maps.	ISWC	2003	DBLP DOI BibTeX RDF
20	Joseph Gil, John Howse, Stuart Kent 0001	Constraint Diagrams: A Step Beyond UML.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Modelling, formal methods, visual formalism, object-oriented software development
20	Jan Øyvind Aagedal	Towards an ODP-Compliant Object Definition Language with QoS-Support.	IDMS	1998	DBLP DOI BibTeX RDF
17	Manoli Albert, Jordi Cabot, Cristina Gómez 0001, Vicente Pelechano	Automatic generation of basic behavior schemas from UML class diagrams.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Behavior schema, Structural event, UML, OCL, Operation, Class diagram
17	Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher	A Lightweight GRL Profile for i* Modeling.	ER Workshops	2009	DBLP DOI BibTeX RDF	jUCMNav, profile, OCL, User Requirements Notation, i*, Goal-oriented Requirement Language
17	Thomas Baar	Correctly defined concrete syntax.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Metamodeling, Visual languages, OCL, Triple-Graph-Grammars (TGGs), Concrete syntax
17	Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta	Executable Platform Independent Models for Data Intensive Applications.	ICCS (3)	2008	DBLP DOI BibTeX RDF	UML, Model Driven Architecture, OCL, Executable Models, Database Modelling, Platform Independent Modelling, Database Query Languages
17	Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman	Using JULE to generate a compliance test suite for the UML standard.	ICSE	2008	DBLP DOI BibTeX RDF	ocl, test generation, metamodel, certification, binary decision diagram, uml
17	Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting	A subset of precise UML for model-based testing.	A-MOST	2007	DBLP DOI BibTeX RDF	UML, model-based testing, OCL
17	Matthias Erche, Michael Wagner 0006, Christian Hein	Mapping visual notations to MOF compliant models with QVT relations.	SAC	2007	DBLP DOI BibTeX RDF	QVT relations, model transformation, domain specific languages, visual languages, OCL
17	Lionel C. Briand, Yvan Labiche, Johanne Leduc	Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	UML, reverse engineering, distribution, OCL, AspectJ, sequence diagram, RMI
17	Chouki Tibermacine, Régis Fleurquin, Salah Sadou	Simplifying transformation of software architecture constraints.	SAC	2006	DBLP DOI BibTeX RDF	architecture constraint languages, constraint transformation, OCL, component-based software development
17	Uwe Zdun, Paris Avgeriou	Modeling architectural patterns using architectural primitives.	OOPSLA	2005	DBLP DOI BibTeX RDF	modeling patterns, UML, OCL, software patterns, architectural patterns, architectural documentation
17	Egon Teiniker, Robert Lechner, Gernot Schmoelzer, Christian Kreiner, Zsolt Kovács, Reinhold Weiss	Towards a Contract Aware CORBA Component Container.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	OCL, Design by Contract, CCM
17	Miguel Goulão, Fernando Brito e Abreu	Composition Assessment Metrics for CBSE.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF	Software Metrics, OCL, Component-Based Software Engineering, CORBA Component Model
17	Issa Traoré, Demissie B. Aredo	Enhancing Structured Review with Model-Based Verification.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Structured review, prototype verification system (PVS), model-based verification, UML, formal methods, OCL, validation and verification
17	Franca Garzotto, Vito Perrone	Integrating user operations in multichannel hypermedia.	Hypertext	2003	DBLP DOI BibTeX RDF	services on the web, web operations, UML, context, conceptual modelling, OCL, multi-channel
17	Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi	Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments.	ECBS	1999	DBLP DOI BibTeX RDF	Modeling, UML, Metamodeling, OCL, Modeling Tools, Visual Modeling, Multigraph
16	Bernhard Beckert, Steffen Schlager	Refinement and retrenchment for programming language data types.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic
16	Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake	Towards the compositional verification of real-time UML designs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	unified modelling language (UML), embedded systems, real-time, pattern, object constraint language (OCL)
16	Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan	Efficient Test Data Generation for MC/DC with OCL and Search.	CoRR	2024	DBLP DOI BibTeX RDF
16	Hoang Nguyen Phuoc Bao, Manuel Clavel	Proving correctness for SQL implementations of OCL constraints.	CoRR	2024	DBLP DOI BibTeX RDF
16	Shan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith	Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Artur Boronat	Safe reuse in modelling language engineering using model subtyping with OCL constraints.	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
16	Shaurya Rohatgi, Yanxia Qin, Benjamin Aw, Niranjana Unnithan, Min-Yen Kan	The ACL OCL Corpus: advancing Open science in Computational Linguistics.	CoRR	2023	DBLP DOI BibTeX RDF
16	Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh	On Codex Prompt Engineering for OCL Generation: An Empirical Study.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hao Wu 0017	QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
16	Yiling Xie, Baochuang Wang, Jianping Guo, Dihu Chen	An Event-Driven Charge Pump Based OCL-LDO with 410nA IQ and 30ns Recovery Time.	ICTA	2023	DBLP DOI BibTeX RDF
16	Friedrich Steimann, Robert Clarisó, Martin Gogolla	OCL Rebuilt, From the Ground Up.	MODELS	2023	DBLP DOI BibTeX RDF
16	Shaurya Rohatgi, Yanxia Qin, Benjamin Aw, Niranjana Unnithan, Min-Yen Kan	The ACL OCL Corpus: Advancing Open Science in Computational Linguistics.	EMNLP	2023	DBLP DOI BibTeX RDF
16	Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh	On Codex Prompt Engineering for OCL Generation: An Empirical Study.	MSR	2023	DBLP DOI BibTeX RDF
16	Hao Wu 0017	A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
16	Robert Clarisó, Lola Burgueño, Jordi Cabot	Managing Design-time Uncertainty in OCL Expressions.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
16	Shan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith	Ontology-based Detection of Inconsistencies in UML/OCL Models.	MODELSWARD	2022	DBLP DOI BibTeX RDF
16	Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo J. Perez	Transformation of TOCL temporal properties into OCL.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
16	Kunxiang Jin, Kevin Lano	Design and classification of mutation operators for OCL specification.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
16	Kevin Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin	OCL libraries for software specification and representation.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
16	Lars Hamann, Martin Gogolla, Mustafa Al-Lail	Categorization of approaches to extend and reuse OCL.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
16	Jordi Cabot, David Delgado 0003, Lola Burgueño	Combining OCL and natural language: a call for a community effort.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
16	Edward D. Willink	Support for OCL libraries and static features.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
16	Frédéric Jouault, Maxime Méré, Matthias Brun 0001, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov	From OCL-based model static analysis to quick fixes.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
16	Kunxiang Jin, Kevin Lano	OCL-based test case prioritisation using AgileUML.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
16	Edward D. Willink	Challenges for code generated OCL execution.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
16	Juan Antonio Gómez-Gutiérrez, Robert Clarisó, Jordi Cabot	A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams.	BPMDS/EMMSAD@CAiSE	2022	DBLP DOI BibTeX RDF
16	Hao Wu 0017	QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.	FASE	2022	DBLP DOI BibTeX RDF
16	Beatriz A. Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige, Justin C. Cooper, Jason Hampson	Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries.	Softw. Syst. Model.	2021	DBLP DOI BibTeX RDF
16	Fatma Abdelhédi, Amal Ait Brahim, Gilles Zurfluh	OCL Constraints Checking on NoSQL Systems Through an MDA-Based Approach.	Int. J. Data Warehous. Min.	2021	DBLP DOI BibTeX RDF
16	Martin Gogolla	Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models.	ICDCIT	2021	DBLP DOI BibTeX RDF
16	Messaoud Abbas, Fatima Haloua, Ammar Boucherit	Development of Critical Systems with UML/OCL and FoCaLiZe.	MEDI Workshops	2021	DBLP DOI BibTeX RDF
16	Nan Liu, Jianping Guo	A 25nA IQ, 20mA ILOAD OCL-LDO for Battery-Powered IoT Devices.	ICTA	2021	DBLP DOI BibTeX RDF
16	Kevin Lano, Shekoufeh Kolahdouz Rahimi	Extending OCL with Map and Function Types.	FSEN	2021	DBLP DOI BibTeX RDF
16	Ludovico Iovino, Lars Michael Kristensen (eds.)	STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021.	STAF Workshops	2021	DBLP BibTeX RDF
16	Nardi Utomo, Boon Chiat Terence Teo, Xian Yang Lim, Venkadasamy Navaneethan, Ziming Liu, Chong Boon Tan, Yun Da Bryan Seah, Ying Hung Yvonne Lam, Liter Siek	Low Voltage Low Power Output Programmable OCL-LDO with Embedded Voltage Reference.	ISCAS	2021	DBLP DOI BibTeX RDF
16	Paula Muñoz 0001, Javier Troya, Antonio Vallecillo	Using UML and OCL Models to Realize High-Level Digital Twins.	MoDELS (Companion)	2021	DBLP DOI BibTeX RDF
16	Georg Hinkel	An NMF solution to the TTC 2021 OCL to SQL case.	TTC/	2021	DBLP BibTeX RDF
16	Zijun Chen, Wilbert Alberts, Ivan Kurtev	Testing Code Generators: a Case Study on Applying USE, EFinder and Tracts in Practice.	STAF Workshops	2021	DBLP BibTeX RDF
16	Alexander Heß, Franz J. Hauck, David Mödinger, Jakob Pietron, Matthias Tichy, Jörg Domaschka	Morpheus: A Degradation Framework for Resilient IoT Systems.	STAF Workshops	2021	DBLP BibTeX RDF
16	Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio	Towards a Modeling and Analysis Environment for Industrial IoT systems.	STAF Workshops	2021	DBLP BibTeX RDF
16	Steven Kelly 0001, Juha-Pekka Tolvanen	Automated Annotations in Domain-Specific Models: Analysis of 23 Cases.	STAF Workshops	2021	DBLP BibTeX RDF
16	Elina Kalnina, Dmitrijs Kosarevskis, Agris Sostaks	Find-Replace as a Service of Graph-Based DSL Tool Development Framework.	STAF Workshops	2021	DBLP BibTeX RDF
16	Timur Saglam, Heiko Klare	Classifying and Avoiding Compatibility Issues in Networks of Bidirectional Transformations.	STAF Workshops	2021	DBLP BibTeX RDF
16	Edward D. Willink	A Validity Analysis to Reify 2-valued Boolean Constraints.	STAF Workshops	2021	DBLP BibTeX RDF
16	Bryce Clarke	Delta Lenses as Coalgebras for a Comonad.	STAF Workshops	2021	DBLP BibTeX RDF
16	Kunxiang Jin, Kevin Lano	Mutation Operators for Object Constraint Language Specification.	STAF Workshops	2021	DBLP BibTeX RDF
16	Jakob Pietron, Fabian Füg, Matthias Tichy	An Operation-based Versioning Approach for Synchronous and Asynchronous Collaboration in Graphical Modeling Tools.	STAF Workshops	2021	DBLP BibTeX RDF
16	Zahra Rajaei, Shekoufeh Kolahdouz Rahimi, Massimo Tisi, Frédéric Jouault	A DSL for Encoding Models for Graph-Learning Processes.	STAF Workshops	2021	DBLP BibTeX RDF
16	Nils Weidmann, Anthony Anjorin	eMoflon: : Neo - Consistency and Model Management with Graph Databases.	STAF Workshops	2021	DBLP BibTeX RDF
16	Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink	A SWOT Analysis of the Object Constraint Language.	STAF Workshops	2021	DBLP BibTeX RDF
16	Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici	C-Lenses Explained: Bx Foundations for the Rest of Us.	STAF Workshops	2021	DBLP BibTeX RDF
16	Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu	Toward Recursive View Update Strategies on Relations.	STAF Workshops	2021	DBLP BibTeX RDF
16	Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri	A Prototyping Process for Medical Devices and Systems.	STAF Workshops	2021	DBLP BibTeX RDF
16	Nuno Amálio, Lionel C. Briand, Pierre Kelsen	An experimental scrutiny of visual design modelling: VCL up against UML+OCL.	Empir. Softw. Eng.	2020	DBLP DOI BibTeX RDF
16	Frank Hilken, Lars Hamann	History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.	J. Object Technol.	2020	DBLP DOI BibTeX RDF
16	Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller	Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL.	J. Object Technol.	2020	DBLP DOI BibTeX RDF
16	Robert Clarisó, Carlos A. González, Jordi Cabot	Incremental Verification of UML/OCL Models.	J. Object Technol.	2020	DBLP DOI BibTeX RDF
16	Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra	Java Bytecode Verification with OCL Why, How and Whenc.	J. Object Technol.	2020	DBLP DOI BibTeX RDF
16	Paula Muñoz 0001, Loli Burgueño, Victor Ortiz, Antonio Vallecillo	Extending OCL with Subjective Logic.	J. Object Technol.	2020	DBLP DOI BibTeX RDF
16	Ed Willink	Reflections on OCL 2.	J. Object Technol.	2020	DBLP DOI BibTeX RDF
16	Manuel F. Bertoa, Loli Burgueño, Nathalie Moreno, Antonio Vallecillo	Incorporating measurement uncertainty into OCL/UML primitive datatypes.	Softw. Syst. Model.	2020	DBLP DOI BibTeX RDF
16	Jesús Sánchez Cuadrado	A verified catalogue of OCL optimisations.	Softw. Syst. Model.	2020	DBLP DOI BibTeX RDF
16	Mohamed Larhrib, Miguel Escribano, Carlos Cerrada, Juan Jose Escribano	Converting OCL and CGMES Rules to SHACL in Smart Grids.	IEEE Access	2020	DBLP DOI BibTeX RDF
16	Dong Wang 0006, Pak Kwong Chan	A Sub-1-V 100-mA OCL-LDO Regulator With Process-Temperature-Aware Design for Transient Sustainability.	IEEE Trans. Very Large Scale Integr. Syst.	2020	DBLP DOI BibTeX RDF
16	Murali Mohanan	Automated transformation of NL to OCL constraints via SBVR.	Int. J. Adv. Intell. Paradigms	2020	DBLP DOI BibTeX RDF
16	Soumiya Ain El Hayat, Fouad Toufik, Mohamed Bahaj	UML/OCL based design and the transition towards temporal object relational database with bitemporal data.	J. King Saud Univ. Comput. Inf. Sci.	2020	DBLP DOI BibTeX RDF
16	Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo	Formalizing UML/OCL structural features with FoCaLiZe.	Soft Comput.	2020	DBLP DOI BibTeX RDF
16	A. Jalila, D. Jeya Mala	Automated optimal test data generation for OCL specification using harmony search algorithm.	Int. J. Bus. Intell. Data Min.	2020	DBLP DOI BibTeX RDF
16	Hao Wu 0017, Joseph Timoney	Verifying OCL Operational Contracts via SMT-based Synthesising.	MODELSWARD	2020	DBLP DOI BibTeX RDF
16	Antonio Vallecillo, Martin Gogolla	Modeling Behavioral Deontic Constraints Using UML and OCL.	ER	2020	DBLP DOI BibTeX RDF
16	Pei Hong, Chunling Sheng, Xiaohu Luo, Yueyuan Jin, Ruonan Rao	OACV: OCL-based Avionics Component Verification.	HP3C	2020	DBLP DOI BibTeX RDF
16	Martin Gogolla, Haleh Havakili, Carsten Schipke	Advanced Features for Model Visualization in the UML and OCL Tool USE.	Modellierung (Companion)	2020	DBLP BibTeX RDF