Search results for "Modeling languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Ákos Schmidt, Dániel Varró	CheckVML: A Tool for Model Checking Visual Modeling Languages.	UML	2003	DBLP DOI BibTeX RDF	model checking, formal verification, metamodeling, graph transformation, visual modeling languages
3	Ethan K. Jackson, Janos Sztipanovits	Formalizing the structural semantics of domain-specific modeling languages.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Structural semantics, Metamodeling, Model-based Design, Formal logic, Domain-specific modeling languages, Horn logic
3	Carlo Combi, Mauro Gambini	Flaws in the Flow: The Weakness of Unstructured Business Process Modeling Languages Dealing with Data.	OTM Conferences	2009	DBLP DOI BibTeX RDF	unstructured business process modeling languages, concurrency, modularity, refactoring, process-aware information systems
3	Michal Antkiewicz	Round-trip engineering using framework-specific modeling languages.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	FSMLs, framework-specific modeling, framework-specific modeling languages, object-oriented frameworks, round-trip engineering
3	Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer	Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
3	Peter Bunus, Peter Fritzson	A Debugging Scheme for Declarative Equation Based Modeling Languages.	PADL	2002	DBLP DOI BibTeX RDF	Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica
2	James H. Hill	Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples.	ECBS	2011	DBLP DOI BibTeX RDF	measure, reduction, domain-specific modeling languages, model complexity
2	Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers, Wouter Joosen	Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages.	TOOLS	2009	DBLP DOI BibTeX RDF
2	Juha-Pekka Tolvanen, Steven Kelly	MetaEdit+: defining and using integrated domain-specific modeling languages.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	code generation, domain-specific languages, metamodeling, domain-specific modeling, language workbench
2	Stefan Jablonski, Stephanie Meerkamm	An extended interpretation of process design and modeling.	DESRIST	2009	DBLP DOI BibTeX RDF	specification of process modeling languages, process modeling, business process management, process design
2	María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe	Variability within Modeling Language Definitions.	MoDELS	2009	DBLP DOI BibTeX RDF	UML, variability, formal semantics, Modeling languages
2	Michal Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki	Fast extraction of high-quality framework-specific models from application code.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Framework-specific models, Framework-specific modeling languages, Reverse engineering, Static analysis, Application programming interface, API, Object-oriented frameworks
2	Hui Xu, Debao Xiao	Evaluation on data modeling languages for NETCONF-based network management.	NOMS	2008	DBLP DOI BibTeX RDF
2	Daniel A. Sadilek, Stephan Weißleder	Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages.	DSML	2008	DBLP BibTeX RDF
2	José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo	Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.	SLE	2008	DBLP DOI BibTeX RDF
2	Jörg Becker, Daniel Beverungen, Ralf Knackstedt	Reference Models and Modeling Languages for Product-Service Systems - Status-Quo and Perspectives for Further Research.	HICSS	2008	DBLP DOI BibTeX RDF
2	Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz	The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008).	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
2	Ali Kamandi, Jafar Habibi	Modeling Languages Study and Evaluation Techniques.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	language evaluation, human-computer interaction, language design, modeling language, cognitive complexity
2	Iván García-Magariño, Jorge J. Gómez-Sanz, Rubén Fuentes-Fernández	An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics.	AOSE	2008	DBLP DOI BibTeX RDF	evaluation, multi-agent system, Metric, metamodel, modeling language
2	Iván García-Magariño	Towards the Coexistence of Different Multi-Agent System Modeling Languages with a Powertype-Based Metamodel.	DCAI	2008	DBLP DOI BibTeX RDF	powertype, software engineering, multi-agent systems, model-driven development, metamodel
2	Iván Martínez-Ortiz, Pablo Moreno-Ger, José Luis Sierra-Rodríguez, Baltasar Fernández-Manjón	A Flow-Oriented Visual Language for Learning Designs.	ICWL	2008	DBLP DOI BibTeX RDF	Educational Modeling Languages, Graphical authoring, Learning Design
2	Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk	Flexible and Extensible Notations for Modeling Languages.	FASE	2007	DBLP DOI BibTeX RDF
2	Michael Strommer, Marion Murzek, Manuel Wimmer	Applying Model Transformation By-Example on Business Process Modeling Languages.	ER Workshops	2007	DBLP DOI BibTeX RDF	MTBE, Model Transformation, Business Process Models
2	Christer Thörn	Evaluating variability modeling languages using a generic quality framework.	SOQUA	2007	DBLP DOI BibTeX RDF	variability spaces, variability, feature models, domain modeling, quality evaluation
2	Michal Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki	Automatic extraction of framework-specific models from framework-based application code.	ASE	2007	DBLP DOI BibTeX RDF	framework-specific modeling languages, framework-specific models, reverse engineering, static analysis, object-oriented frameworks
2	Allyson M. Hoss, Doris L. Carver	Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models.	Monterey Workshop	2007	DBLP DOI BibTeX RDF	abstract artifact, software evolution, modeling languages, domain knowledge, knowledge reuse, design knowledge
2	Michal Antkiewicz	Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages.	ASE	2006	DBLP DOI BibTeX RDF
2	Andrea Schauerhuber, Manuel Wimmer, Elisabeth Kapsammer	Bridging existing Web modeling languages to model-driven engineering: a metamodel for WebML.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	model driven web engineering, web modeling language, metamodel, DTD
2	Steen Brahe, Kasper Østerbye	Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
2	Daniel Amyot, Hanna Farah, Jean-François Roy	Evaluation of Development Tools for Domain-Specific Modeling Languages.	SAM	2006	DBLP DOI BibTeX RDF
2	Gerti Kappel, Elisabeth Kapsammer, Horst Kargl, Gerhard Kramler, Thomas Reiter, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer	Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages.	MoDELS	2006	DBLP DOI BibTeX RDF
2	Geri Georg, Siv Hilde Houmb, Robert B. France, Steffen Zschaler, Dorina C. Petriu, Jan Jürjens	Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF
2	Thomas Baar	Correctly Defined Concrete Syntax for Visual Modeling Languages.	MoDELS	2006	DBLP DOI BibTeX RDF
2	Michal Antkiewicz, Krzysztof Czarnecki	Framework-Specific Modeling Languages with Round-Trip Engineering.	MoDELS	2006	DBLP DOI BibTeX RDF
2	Martin Vasko, Schahram Dustdar	A View Based Analysis of Workflow Modeling Languages.	PDP	2006	DBLP DOI BibTeX RDF
2	Manuel Caeiro Rodríguez, Martín Llamas Nistal, Luis E. Anido-Rifón	The PoEML Proposal to Model Services in Educational Modeling Languages.	CRIWG	2006	DBLP DOI BibTeX RDF
2	Jin Song Dong	From semantic web to expressive software specifications: a modeling languages spectrum.	ICSE	2006	DBLP DOI BibTeX RDF
2	Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwahed	A Semantic Unit for Timed Automata Based Modeling Languages.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
2	Magali Roux-Rouquié, Michel Soto	Virtualization in Systems Biology: Metamodels and Modeling Languages for Semantic Data Integration.	T. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF
2	Kai Chen 0003, Janos Sztipanovits, Sandeep Neema	Toward a semantic anchoring infrastructure for domain-specific modeling languages.	EMSOFT	2005	DBLP DOI BibTeX RDF	semantic anchoring, abstract syntax, model-integrated computing, domain-specific modeling language
2	Giancarlo Guizzardi, Luís Ferreira Pires, Marten van Sinderen	An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages.	MoDELS	2005	DBLP DOI BibTeX RDF
2	Manuel Caeiro Rodríguez, Martín Llamas Nistal, Luis E. Anido-Rifón	Towards the Use of Web Services to Support the Provision of Learning Environments in Educational Modeling Languages.	WISE Workshops	2005	DBLP DOI BibTeX RDF
2	Soon-Kyeong Kim, Damian Burger, David A. Carrington	An MDA Approach Towards Integrating Formal and Informal Modeling Languages.	FM	2005	DBLP DOI BibTeX RDF
2	Dániel Varró	Automated formal verification of visual modeling languages by model checking.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Model checking, Formal verification, Model transformation, Metamodeling, Graph transformation
2	Antoni Olivé	Definition of Events and Their Effects in Object-Oriented Conceptual Modeling Languages.	ER	2004	DBLP DOI BibTeX RDF
2	Antoni Olivé	Derivation Rules in Object-Oriented Conceptual Modeling Languages.	CAiSE	2003	DBLP DOI BibTeX RDF
2	Antoni Olivé	Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages.	ER	2003	DBLP DOI BibTeX RDF
2	Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres	A Workbench to Experiment on New Model Engineering Applications.	UML	2003	DBLP DOI BibTeX RDF
2	Gabor Karsai, Aditya Agrawal	Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).	AGTIVE	2003	DBLP DOI BibTeX RDF	formal specifications, model-driven architecture, graph transformations, Graph grammars, Model-Integrated Computing, domain-specific modeling languages
2	Ulrich Frank	Multi-perspective Enterprise Modeling (MEMO) - Conceptual Framework and Modeling Languages.	HICSS	2002	DBLP DOI BibTeX RDF	Business Process Modelling, Modelling Language, Enterprise Modelling
2	Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino	Using extended positional grammars to develop visual modeling languages.	SEKE	2002	DBLP DOI BibTeX RDF	automatic generation of visual programming environments, extended positional grammars, formal specifications, visual languages, statecharts
2	Gennaro Costagliola, Sergio Di Martino, Filomena Ferrucci, Fabio Pittarello	An approach for authoring 3D cultural heritage exhibitions on the web.	SEKE	2002	DBLP DOI BibTeX RDF	cultural heritage, authoring tool, virtual museum, visual modeling languages
2	Jean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang	Extended Modeling Languages for Interaction Protocol Design.	AOSE	2001	DBLP DOI BibTeX RDF
2	Kamal Zuhairi Zamli, Peter Lee	Taxonomy of Process Modeling Languages.	AICCSA	2001	DBLP DOI BibTeX RDF
2	Werner Damm	Understanding UML - Pains and Rewards.	UML	2001	DBLP DOI BibTeX RDF
2	Marco Gagliardi, Cosimo Spera	Some new results in model integration.	HICSS	1995	DBLP DOI BibTeX RDF	model scheme, model management system, software engineering, software engineering, algorithms, diagrams, modeling languages, entity-relationship modelling, procedures, structured modeling, model integration, algebraic models
2	Sergio Bandinelli, Alfonso Fuggetta, Luigi Lavazza, Maurizio Loi, Gian Pietro Picco	Modeling and Improving an Industrial Software Process.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	process-centered software engineering environments (PSEEs), process modeling, Software process, process improvement, process assessment, process modeling languages
1	María Adela Grando, David Glasspool, John Fox	A formal approach to the analysis of clinical computer-interpretable guideline modeling languages.	Artificial Intelligence in Medicine	2012	DBLP DOI BibTeX RDF
1	Frank Schönthaler, Gottfried Vossen, Andreas Oberweis, Thomas Karle (eds.)	Business Processes for Business Communities - Modeling Languages, Methods, Tools.		2012	DOI RDF
1	David Broman, Henrik Nilsson	Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages.	PADL	2012	DBLP DOI BibTeX RDF
1	James H. Hill	Using Parameterized Attributes to Improve Testing Capabilities with Domain-Specific Modeling Languages.	ECBS	2012	DBLP DOI BibTeX RDF
1	Florian Johannsen, Susanne Leist	Reflecting modeling languages regarding Wand and Weber's Decomposition Model.	Modellierung	2012	DBLP BibTeX RDF
1	Christian Schalles, John Creagh, Michael Rebstock	Exploring usability-driven Differences of graphical Modeling Languages: An empirical Research Report.	Modellierung	2012	DBLP BibTeX RDF
1	Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz	Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages.	Software and System Modeling	2011	DBLP DOI BibTeX RDF
1	Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai	Challenges and directions in formalizing the semantics of modeling languages.	Comput. Sci. Inf. Syst.	2011	DBLP DOI BibTeX RDF
1	Vanea Chiprianov, Iyas Alloush, Yvon Kermarrec, Siegfried Rouvrais	Telecommunications Service Creation: Towards Extensions for Enterprise Architecture Modeling Languages.	ICSOFT	2011	DBLP BibTeX RDF
1	Juha-Pekka Tolvanen, Steven Kelly	Creating Domain-Specific Modeling Languages for Product Lines.	SPLC	2011	DBLP DOI BibTeX RDF
1	Terry A. Halpin	Structural Aspects of Data Modeling Languages.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Krzysztof Czarnecki	Designing Variability Modeling Languages.	SLE	2011	DBLP DOI BibTeX RDF
1	Susanne Patig, Vanessa Casanova-Brito	Requirements of Process Modeling Languages - Results from an Empirical Investigation.	Wirtschaftsinformatik	2011	DBLP BibTeX RDF
1	James H. Hill	Modeling Interface Definition Language Extensions (IDL3+) Using Domain-Specific Modeling Languages.	ISORC	2011	DBLP DOI BibTeX RDF
1	François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee (eds.)	Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011	EOOLT	2011	DBLP BibTeX RDF
1	Kathrin Figl, Michael Derntl	The Impact of Perceived Cognitive Effectiveness on Perceived Usefulness of Visual Conceptual Modeling Languages.	ER	2011	DBLP DOI BibTeX RDF
1	Hyun Cho	A demonstration-based approach for designing domain-specific modeling languages.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Hyun Cho	Creating domain-specific modeling languages using by-demonstration technique.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Peter Csaba Ölveczky	Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
1	Nguyen Doan Tung	A Comparative Study of Data Modeling Languages in Next Generation Network Management.	KSE	2011	DBLP DOI BibTeX RDF
1	Paul Pichler, Barbara Weber, Stefan Zugal, Jakob Pinggera, Jan Mendling, Hajo A. Reijers	Imperative versus Declarative Process Modeling Languages: An Empirical Investigation.	Business Process Management Workshops	2011	DBLP DOI BibTeX RDF
1	Sabine Buckl, Florian Matthes, Christian M. Schweda	A method to develop EA modeling languages using practice-proven solutions.	EEWC	2011	DBLP DOI BibTeX RDF
1	Carlo Combi, Mauro Gambini, Sara Migliorini	Towards Structured Business Process Modeling Languages.	ADBIS	2011	DBLP BibTeX RDF
1	Hongchao Ji, Oliver Lenord, Dieter Schramm	A Model Driven Approach for Requirements Engineering of Industrial Automation Systems.	EOOLT	2011	DBLP BibTeX RDF
1	Gregory Provan	Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications.	EOOLT	2011	DBLP BibTeX RDF
1	Martin Sjölund, Peter Fritzson	Debugging Symbolic Transformations in Equation Systems.	EOOLT	2011	DBLP BibTeX RDF
1	Toby Myers, Wladimir Schamai, Peter Fritzson	Comodeling Revisited: Execution of Behavior Trees in Modelica.	EOOLT	2011	DBLP BibTeX RDF
1	Hisahiro Ito, Akira Ohata, Ken Butts, Jürgen Gerhard, Masoud Abbaszadeh, David Linder, Erik Postman, Elena Shmoylova	Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export.	EOOLT	2011	DBLP BibTeX RDF
1	Nate Soule, Azer Bestavros, Assaf J. Kfoury, Andrei Lapets	Safe Compositional Equation-based Modeling of Constrained Flow Networks.	EOOLT	2011	DBLP BibTeX RDF
1	Peter Pepper, Alexandra Mehlhase, Christoph Höger, Lena Scholz	A Compositional Semantics for Modelica-style Variable-structureModeling.	EOOLT	2011	DBLP BibTeX RDF
1	Pieter J. Mosterman, Justyna Zander	AdvancingModel-Based Design by Modeling Approximations of Computational Semantics.	EOOLT	2011	DBLP BibTeX RDF
1	Wuzhu Chen, Michaela Huhn, Peter Fritzson	A Generic FMU Interface for Modelica.	EOOLT	2011	DBLP BibTeX RDF
1	Christoph Höger	Separate Compilation of Causalized Equations -Work in Progress.	EOOLT	2011	DBLP BibTeX RDF
1	Klaus Röbenack, Jan Winkler, Siqian Wang	LIEDRIVERS - A Toolbox for the Efficient Computation of Lie Derivatives Based on the Object-Oriented Algorithmic Differentiation Package ADOL-C.	EOOLT	2011	DBLP BibTeX RDF
1	Javier Bonilla, Luis José Yebra, Sebastián Dormido	Exploiting OpenMP in the Initial Section of Modelica Models (Work in Progress).	EOOLT	2011	DBLP BibTeX RDF
1	Uwe Pohlmann, Matthias Tichy	Modelica code generation from ModelicaML state machines extended by asynchronous communication.	EOOLT	2011	DBLP BibTeX RDF
1	Irina Todoran, Zuheb Hussain, Niina Gromov	SOA Integration Modeling: An Evaluation of How SoaML Completes UML Modeling.	EDOCW	2011	DBLP DOI BibTeX RDF	SoaML modeling, SOA integration modeling, service-oriented architectures modeling, service-oriented architectures integration, modeling languages, UML modeling
1	Albrecht Schmidt	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
1	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
1	István Ráth, András Ökrös, Dániel Varró	Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations.	Software and System Modeling	2010	DBLP DOI BibTeX RDF
1	Eric Mjolsness	Towards Measurable Types for Dynamical Process Modeling Languages.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	André L. Santos, Kai Koskimies, Antónia Lopes	Automating the construction of domain-specific modeling languages for object-oriented frameworks.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Jörg Becker, Daniel Beverungen, Ralf Knackstedt	The challenge of conceptual modeling for product-service systems: status-quo and perspectives for reference models and modeling languages.	Inf. Syst. E-Business Management	2010	DBLP DOI BibTeX RDF