2nd UML 2 semantics symposium: formal semantics for UML

Authors:
Manfred Broy;Michelle L. Crane;Juergen Dingel;Alan Hartman;Bernhard Rumpe;Bran Selic
Affiliations:
Technische Universität München, Germany;Queen's University, Kingston, Ontario, Canada;Queen's University, Kingston, Ontario, Canada;IBM Research, Israel;Technische Universität Braunschweig, Germany;IBM Rational Software, Canada
Venue:
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Year:
2006

Citing 3
Cited 12

Meaningful Modeling: What's the Semantics of "Semantics"?

Computer
Package merge in UML 2: practice vs. theory?

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Mappings, maps and tables: towards formal semantics for associations in UML2

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Definition and analysis of composition structures for discrete-event models

Proceedings of the 40th Conference on Winter Simulation
The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems

Agent-Oriented Software Engineering IX
A semantic framework for metamodel-based languages

Automated Software Engineering
Experiences in using the SOMT method to support the design and implementation of a network simulator

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Towards accurate conflict detection in a VCS for model artifacts: a comparison of two semantically enhanced approaches

APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
On scenario synchronization

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Unifying the semantics of UML 2 state, activity and interaction diagrams

PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Revising the UML collaborations: a well-founded approach

Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Experiences in model driven verification of behavior with UML

Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
A logic-based semantics for the verification of multi-diagram UML models

ACM SIGSOFT Software Engineering Notes
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems

Proceedings of the Eleventh ACM International Conference on Embedded Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback from an audience of experts was the opportunity to invite researchers in the field to discuss their own work related to a formal semantics for the Unified Modeling Language. This symposium is a follow-on to our first workshop, held in conjunction with ECMDA 2005.