Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
On statecharts with overlapping
ACM Transactions on Software Engineering and Methodology (TOSEM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
The open and autonomous interconnection semantics
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
Exploring ER and RE syntax and semantics with metamodel object diagrams
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
DisCComp -- A Formal Model for Distributed C oncurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Models in Conflict --- Towards a Semantically Enhanced Version Control System for Models
Models in Software Engineering
Graphical Concrete Syntax Rendering with SVG
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Modelling the CoCoME with DisCComp
The Common Component Modeling Example
A Scenario-Based Validation Language for ASMs
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases
Automatic Generation and Evolution of Model Transformations Using Ontology Engineering Space
Journal on Data Semantics XI
Definition and analysis of composition structures for discrete-event models
Proceedings of the 40th Conference on Winter Simulation
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
Models in Software Engineering
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
A semantic framework for metamodel-based languages
Automated Software Engineering
System Model-Based Definition of Modeling Language Semantics
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Exploring Multi-Paradigm Modeling Techniques
Simulation
Modeling aspects with UML's class, sequence and state diagrams in an industrial setting
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Variability within Modeling Language Definitions
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
2nd UML 2 semantics symposium: formal semantics for UML
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
An algebraic view on the semantics of model composition
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
On the correctness of model transformations in the development of embedded systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Unified modeling of attacks, vulnerabilities and security activities
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Generative software development
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Proceedings of the First International Workshop on Model-Driven Interoperability
Behavioural interoperability to support model-driven systems integration
Proceedings of the First International Workshop on Model-Driven Interoperability
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Towards readable layouts for modeling data warehouses
DOLAP '10 Proceedings of the ACM 13th international workshop on Data warehousing and OLAP
Automatic generation of model traversals from metamodel definitions
Proceedings of the 48th Annual Southeast Regional Conference
Towards a semantics of activity diagrams with semantic variation points
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Metamodelling: state of the art and research challenges
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
The model role level: a vision
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Random thoughts on multi-level conceptual modelling
The evolution of conceptual modeling
A framework for evolution of modelling languages
Science of Computer Programming
From the heterogeneity jungle to systematic benchmarking
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
A manifesto for semantic model differencing
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Agile development with domain specific languages
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
ADDiff: semantic differencing for activity diagrams
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Automatic generation of a data-centered view of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
CDDiff: semantic differencing for class diagrams
Proceedings of the 25th European conference on Object-oriented programming
Computer-aided PHA, FTA and FMEA for automotive embedded systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Improving the definition of UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Topic map exchange in the absence of shared vocabularies
TMRA'05 Proceedings of the First international conference on Charting the Topic Maps Research and Applications Landscape
Collaborative software development and topic maps
TMRA'05 Proceedings of the First international conference on Charting the Topic Maps Research and Applications Landscape
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
The association construct in conceptual modelling – an analysis using the bunge ontological model
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Synchronization contexts as a means to support collaborative modeling
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
TAMODIA'09 Proceedings of the 8th international conference on Task Models and Diagrams for User Interface Design
Limitations of automating model migration in response to metamodel adaptation
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
UEML 1.0 and UEML 2.0: benefits, problems and comparison
BPM'05 Proceedings of the Third international conference on Business Process Management
Expert Systems with Applications: An International Journal
An advanced approach for modeling and detecting software vulnerabilities
Information and Software Technology
An introduction to model versioning
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Enhancing UML extensions with operational semantics behaviored profiles with templates
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Integrated definition of abstract and concrete syntax for textual languages
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
Domain specific modeling for operations research simulation in a large industrial context
Proceedings of the 2012 workshop on Domain-specific modeling
A characteristics framework for Semantic Information Systems Standards
Information Systems and e-Business Management
Support for reverse engineering and maintaining feature models
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Metamodeling and model transformations in modeling and simulation
Proceedings of the Winter Simulation Conference
Modeling Approach for Integration and Evolution of Information System Conceptualizations
International Journal of Information System Modeling and Design
A Look Behind Conceptual Modeling Constructs in Information System Analysis and Design
International Journal of Information System Modeling and Design
On the definition and design-time analysis of process performance indicators
Information Systems
Towards model and language composition
Proceedings of the First Workshop on the Globalization of Domain Specific Languages
Guidelines for representing complex cardinality constraints in binary and ternary relationships
Software and Systems Modeling (SoSyM)
DESIGN SPACE ANALYSIS IN MODEL-DRIVEN ENGINEERING
Journal of Integrated Design & Process Science
| Hi-index | 4.10 |
Researchers differ on what constitutes semantics for UML subsets and adaptations. Worse, implicit assumptions often influence these definitions and results, which makes comparing published research on UML semantics difficult.The authors have thus set out to clarify some of the notions involved in defining modeling languages, with an eye toward the particular difficulties arising in defining UML. They are primarily interested in distinguishing a language's notation, or syntax, from its meaning, or semantics, as well as recognizing the differences between variants of syntax and semantics in their nature, purpose, style, and use.