Search results for "OCL"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou	On the Transition from Design Time to Runtime Model-Based Assurance Cases.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Mira Balaban, Igal Khitron, Azzam Maraee	Context-aware factors in rearchitecting two-level models into multilevel models.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Adrián García-López, Loli Burgueño, Antonio Vallecillo	Static Analysis of Complex Event Processing Programs.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Maik Appeldorn, Dilshodbek Kuryazov, Andreas Winter 0001	Delta-driven collaborative modeling.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Francis Bordeleau, Benoît Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer	Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Simon Pizonka, Timo Kehrer, Matthias Weidlich 0001	Domain Model-Based Data Stream Validation for Internet of Things Applications.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Jan Bosch, Sebastien Gerard, Dimitris S. Kolovos, Ivano Malavolta, Henry Muccini	COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDE.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Robbert Jongeling, Jan Carlson, Antonio Cicchetti, Federico Ciccozzi	Continuous integration support in modeling tools.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Gergely Mezei, Zoltán Theisz, Dániel Urbán, Sándor Bácsi	The bicycle challenge in DMLA, where validation means correct modeling.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel	CPS simulation models categories in Extended Enterprises.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Omar Alam, Jonathan Corley, Constantin Masson, Eugene Syriani	Challenges for reuse in collaborative modeling environments.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter	Handling constraints in model versioning.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Önder Babur, Loek Cleophas, Mark van den Brand	Model analytics for feature models: case studies for S.P.L.O.T. repository.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Stefan Klikovits, Aurélien Coet, Didier Buchs	ML4CREST: Machine Learning for CPS Models.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic	Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Sandra Greiner 0001, Bernhard Westfechtel	Improving Trace-Based Propagation of Feature Annotations in Model Transformations.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Martin Gogolla, Loli Burgueño, Antonio Vallecillo	Model Finding and Model Completion with USE.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau	Robotic system testing with AMSA framework.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Alejandro Rodríguez 0006, Adrian Rutle, Francisco Durán 0001, Lars Michael Kristensen, Fernando Macías	Multilevel modelling of coloured petri nets.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth	Embedding Scenario-based Modeling in Statecharts.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Jakob Pietron, Alexander Raschke, Michael Stegmaier, Matthias Tichy, Enrico Rukzio	A study design template for identifying usability issues in graphical modeling tools.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Armin Moin, Stephan Rössler, Stephan Günnemann	ThingML+: Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	João Silva, Ankica Barisic, Vasco Amaral 0001, Miguel Goulão, Baris Tekin Tezel, Ömer Faruk Alaca, Moharram Challenger, Geylani Kardas	Comparing the Developer Experience with two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS - Study Design.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Juri Di Rocco, Davide Di Ruscio, Hrishikesh Narayanankutty, Alfonso Pierantonio	Resilience in Sirius Editors: Understanding the Impact of Metamodel Changes.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern	EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration).	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Francesco Basciani, Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio	Exploring model repositories by means of megamodel-aware search operators.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Adel Ferdjoukh, Jean-Marie Mottu	Towards an Automated Fault Localizer while Designing Meta-models.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Johannes Meier, Andreas Winter 0001	Model Consistency ensured by Metamodel Integration.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Jörg Walter 0001, Kim Grüttner, Wolfgang Nebel	Using IEC 61499 to Implement a Self-Organising Plug and Produce System.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion	Using process algebra to statically analyze incremental propagation graphs.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Jakob Høgenes, Brice Morin	Implementing the MDETools'18 challenge with ThingML.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Hussein M. Marah, Raheleh Eslampanah, Moharram Challenger	DSML4TinyOS: Code Generation for Wireless Devices.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee	Multilevel modeling: what's in a level? A position paper.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
16	Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Muhammad Kashif	Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog.	Des. Autom. Embed. Syst.	2017	DBLP DOI BibTeX RDF
16	Gilles Vanwormhoudt, Olivier Caron, Bernard Carré	Aspectual templates in UML - Enhancing the semantics of UML templates in OCL.	Softw. Syst. Model.	2017	DBLP DOI BibTeX RDF
16	Chunlei Fu, Dan Yang 0001, Xiaohong Zhang 0002, Haibo Hu	An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency.	Autom. Softw. Eng.	2017	DBLP DOI BibTeX RDF
16	Philipp Zech, Philipp Kalb, Michael Felderer, Colin Atkinson 0001, Ruth Breu	Model-based regression testing by OCL.	Int. J. Softw. Tools Technol. Transf.	2017	DBLP DOI BibTeX RDF
16	Djamel Eddine Khelladi, Reda Bendraou, Regina Hebig, Marie-Pierre Gervais	A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
16	Xavier Oriol, Ernest Teniente	Simplification of UML/OCL schemas for efficient reasoning.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
16	Hammad Muhammad, Tao Yue 0002, Shuai Wang 0001, Shaukat Ali 0001, Jan Nygård	IOCL: An interactive tool for specifying, validating and evaluating OCL constraints.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
16	Nils Przigoda, Philipp Niemann 0001, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler	More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models.	MEMOCODE	2017	DBLP DOI BibTeX RDF
16	Loli Burgueño, Martin Gogolla	Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL.	ICSOC	2017	DBLP DOI BibTeX RDF
16	Artur Boronat	Structural model subtyping with OCL constraints.	SLE	2017	DBLP DOI BibTeX RDF
16	Martin Gogolla, Khanh-Hoang Doan	Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification.	Conceptual Modeling Perspectives	2017	DBLP DOI BibTeX RDF
16	Xavier Oriol, Ernest Teniente	OCLUNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning.	ER	2017	DBLP DOI BibTeX RDF
16	Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai 0001	Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms.	TAP@STAF	2017	DBLP DOI BibTeX RDF
16	Edward D. Willink	Deterministic Lazy Mutable OCL Collections.	STAF Workshops	2017	DBLP DOI BibTeX RDF
16	Hao Wu 0017	Step 0: An Idea for Automatic OCL Benchmark Generation.	STAF Workshops	2017	DBLP DOI BibTeX RDF
16	Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi	Translating UML-RSDS OCL to ANSI C.	STAF Workshops	2017	DBLP DOI BibTeX RDF
16	Martin Gogolla, Antonio Vallecillo	(An Example for) Formally Modeling Robot Behavior with UML and OCL.	STAF Workshops	2017	DBLP DOI BibTeX RDF
16	Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink	Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions.	STAF Workshops	2017	DBLP DOI BibTeX RDF
16	Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern	OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
16	Josh G. M. Mengerink, Jeroen Noten, Ramon R. H. Schiffelers, Mark G. J. van den Brand, Alexander Serebrenik	A Case of Industrial vs. Open-source OCL: Not So Different After All.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
16	Antonio Vallecillo, Martin Gogolla	Adding Random Operations to OCL.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
16	Khanh-Hoang Doan, Martin Gogolla	Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
16	Edouard Batot, Wael Kessentini, Houari A. Sahraoui, Michalis Famelis	Heuristic-Based Recommendation for Metamodel - OCL Coevolution.	MoDELS	2017	DBLP DOI BibTeX RDF
16	Loli Burgueño, Antonio Vallecillo, Martin Gogolla	Teaching Model Views with UML and OCL.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
16	Marina Egea, Carolina Dania	SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language.	MoDELS	2017	DBLP DOI BibTeX RDF
16	Bastian Ulke, Friedrich Steimann, Ralf Lämmel	Partial Evaluation of OCL Expressions.	MoDELS	2017	DBLP DOI BibTeX RDF
16	Jeroen Noten, Josh Mengerink, Alexander Serebrenik	A data set of OCL expressions on GitHub.	MSR	2017	DBLP DOI BibTeX RDF
16	Nils Przigoda	SMT-based validation & verification of UML-OCL models.		2017	RDF
16	Xavier Oriol	Incremental checking and maintenance of UML/OCL integrity constraints.		2017	RDF
16	Shaukat Ali 0001, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri	Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach.	Empir. Softw. Eng.	2016	DBLP DOI BibTeX RDF
16	Tao Yue 0002, Shaukat Ali 0001	Empirically evaluating OCL and Java for specifying constraints on UML models.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
16	Nils Przigoda, Robert Wille, Rolf Drechsler	Analyzing Inconsistencies in UML/OCL Models.	J. Circuits Syst. Comput.	2016	DBLP DOI BibTeX RDF
16	Samin Salemi, Ali Selamat, Marek Penhaker	A model transformation framework to increase OCL usability.	J. King Saud Univ. Comput. Inf. Sci.	2016	DBLP DOI BibTeX RDF
16	Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler	Verifying the structure and behavior in UML/OCL models using satisfiability solvers.	IET Cyper-Phys. Syst.: Theory & Appl.	2016	DBLP DOI BibTeX RDF
16	Miloud Bennama, Thouraya Bouabana-Tebibel	A CTL-based OCL extension using CPN ML for UML validation.	Int. J. Crit. Comput. Based Syst.	2016	DBLP DOI BibTeX RDF
16	Nils Przigoda, Jonas Gomes Filho, Philipp Niemann 0001, Robert Wille, Rolf Drechsler	Frame conditions in symbolic representations of UML/OCL models.	MEMOCODE	2016	DBLP DOI BibTeX RDF
16	Frank Hilken, Martin Gogolla	Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping.	DSD	2016	DBLP DOI BibTeX RDF
16	Shaukat Ali 0001, Tao Yue 0002, Xiang Qiu, Hong Lu 0005	Generating boundary values from OCL constraints using constraints rewriting and search algorithms.	CEC	2016	DBLP DOI BibTeX RDF
16	Mohamed Abomhara, Mehdi Ben Lazreg	UML/OCL-based modeling of work-based access control policies for collaborative healthcare systems.	HealthCom	2016	DBLP DOI BibTeX RDF
16	Hossain Shahriar, Hisham M. Haddad, Pranahita Bulusu	OCL Fault Injection-Based Detection of LDAP Query Injection Vulnerabilities.	COMPSAC Workshops	2016	DBLP DOI BibTeX RDF
16	Khanh-Hoang Doan, Martin Gogolla, Frank Hilken	Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models.	STAF Workshops	2016	DBLP DOI BibTeX RDF
16	Martin Gogolla, Jordi Cabot	Continuing a Benchmark for UML and OCL Design and Analysis Tools.	STAF Workshops	2016	DBLP DOI BibTeX RDF
16	Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou, Jacques Robin, Marie-Pierre Gervais	Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints.	ICSR	2016	DBLP DOI BibTeX RDF
16	Sebastian Fiss, Max E. Kramer, Michael Langhammer	Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language.	Modellierung	2016	DBLP BibTeX RDF
16	Martin Gogolla, Frank Hilken	Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool.	Modellierung	2016	DBLP BibTeX RDF
16	Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe, Christoph Schulze 0002, Michael von Wenckstern	Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models.	Modellierung	2016	DBLP BibTeX RDF
16	Frank Hilken, Philipp Niemann 0001, Martin Gogolla, Robert Wille	Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models.	Modellierung	2016	DBLP BibTeX RDF
16	Robert Bill, Martin Gogolla, Manuel Wimmer	On Leveraging UML/OCL for Model Synchronization.	ME@MoDELS	2016	DBLP BibTeX RDF
16	Hammad Muhammad, Tao Yue 0002, Shaukat Ali 0001, Shuai Wang 0001	iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints.	D&P@MoDELS	2016	DBLP BibTeX RDF
16	Nils Przigoda, Robert Wille, Rolf Drechsler	Ground setting properties for an efficient translation of OCL in SMT-based model finding.	MoDELS	2016	DBLP BibTeX RDF
16	Carolina Dania, Manuel Clavel	OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints.	MoDELS	2016	DBLP BibTeX RDF
16	Massimo Tisi, Frédéric Jouault, Zied Saidi, Jérôme Delatour	Enabling OCL and fUML Integration by Transformation.	ECMFA	2016	DBLP DOI BibTeX RDF
16	Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí	AuRUS: explaining the validation of UML/OCL conceptual schemas.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
16	Alcino Cunha, Ana Gabriela Garis, Daniel Riesco	Translating between Alloy specifications and UML class diagrams annotated with OCL.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
16	A. Jalila, D. Jeya Mala, M. Eswaran	Functional Testing Using OCL Predicates to Improve Software Quality.	Int. J. Syst. Serv. Oriented Eng.	2015	DBLP DOI BibTeX RDF
16	Juan José Cadavid, Benoît Combemale, Benoit Baudry	An analysis of metamodeling practices for MOF and OCL.	Comput. Lang. Syst. Struct.	2015	DBLP DOI BibTeX RDF
16	Xavier Oriol, Ernest Teniente, Albert Tort	Computing repairs for constraint violations in UML/OCL conceptual schemas.	Data Knowl. Eng.	2015	DBLP DOI BibTeX RDF
16	Jakub Malý, Martin Necaský	Model-driven approach to modeling and validating integrity constraints for XML with OCL and Schematron.	Inf. Syst. Frontiers	2015	DBLP DOI BibTeX RDF
16	Aymen Louati, Kamel Barkaoui, Chadlia Jerad	Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
16	Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, Remi Coletta, Clémentine Nebut	Instantiation of Meta-models Constrained with OCL - A CSP Approach.	MODELSWARD	2015	DBLP DOI BibTeX RDF
16	Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Manuel Wimmer	Systematic Co-Evolution of OCL Expressions.	APCCM	2015	DBLP BibTeX RDF
16	Vincent Mirian, Paul Chow	UT-OCL: an OpenCL framework for embedded systems using xilinx FPGAs.	ReConFig	2015	DBLP DOI BibTeX RDF
16	Frank Hilken, Philipp Niemann 0001, Martin Gogolla, Robert Wille	From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification.	ICMT	2015	DBLP DOI BibTeX RDF
16	Frédéric Jouault, Olivier Beaudoux, Matthias Brun 0001, Mickael Clavreul, Guillaume Savaton	Towards Functional Model Transformations with OCL.	ICMT	2015	DBLP DOI BibTeX RDF
16	Alexander Knapp, María Victoria Cengarle	Institutions for OCL-Like Expression Languages.	Software, Services, and Systems	2015	DBLP DOI BibTeX RDF
16	Xavier Oriol, Ernest Teniente	Incremental Checking of OCL Constraints with Aggregates Through SQL.	ER	2015	DBLP DOI BibTeX RDF
16	Mathias Soeken, Julia Seiter 0002, Rolf Drechsler	Coverage of OCL Operation Specifications and Invariants.	TAP@STAF	2015	DBLP DOI BibTeX RDF