2nd UML 2 semantics symposium: formal semantics for UML

Manfred Broy; Michelle L. Crane; Juergen Dingel; Alan Hartman; Bernhard Rumpe; Bran Selic

doi:10.1007/978-3-540-69489-2_39

2^nd UML 2 semantics symposium: formal semantics for UML

Manfred Broy (Editor), Michelle L. Crane (Editor), Juergen Dingel (Editor), Alan Hartman (Editor), Bernhard Rumpe (Editor), Bran Selic (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers
Publisher	Springer Verlag
Pages	318-323
Number of pages	6
ISBN (Print)	9783540694885
DOIs	https://doi.org/10.1007/978-3-540-69489-2_39
State	Published - 2007
Externally published	Yes
Event	Workshops and Symposia at MoDELS 2006: Models in Software Engineering - Genoa, Italy Duration: 1 Oct 2006 → 6 Oct 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4364 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Workshops and Symposia at MoDELS 2006: Models in Software Engineering
Country/Territory	Italy
City	Genoa
Period	1/10/06 → 6/10/06

Keywords

Formal semantics
UML

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-69489-2_39

Cite this

Broy, M., Crane, M. L., Dingel, J., Hartman, A., Rumpe, B., & Selic, B. (Eds.) (2007). 2^nd UML 2 semantics symposium: formal semantics for UML. In Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers (pp. 318-323). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4364 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-69489-2_39

Broy, Manfred (Editor) ; Crane, Michelle L. (Editor) ; Dingel, Juergen (Editor) et al. / 2^nd UML 2 semantics symposium : formal semantics for UML. Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers. Springer Verlag, 2007. pp. 318-323 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{280644d1bde64e82b63f03f6dbe463a9,

title = "2nd UML 2 semantics symposium: formal semantics for UML",

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.",

keywords = "Formal semantics, UML",

author = "Manfred Broy and Crane, {Michelle L.} and Juergen Dingel and Alan Hartman and Bernhard Rumpe and Bran Selic",

year = "2007",

doi = "10.1007/978-3-540-69489-2_39",

language = "English",

isbn = "9783540694885",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "318--323",

booktitle = "Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers",

address = "Germany",

note = "Workshops and Symposia at MoDELS 2006: Models in Software Engineering ; Conference date: 01-10-2006 Through 06-10-2006",

}

Broy, M, Crane, ML, Dingel, J, Hartman, A, Rumpe, B & Selic, B (eds) 2007, 2^nd UML 2 semantics symposium: formal semantics for UML. in Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4364 LNCS, Springer Verlag, pp. 318-323, Workshops and Symposia at MoDELS 2006: Models in Software Engineering, Genoa, Italy, 1/10/06. https://doi.org/10.1007/978-3-540-69489-2_39

2^nd UML 2 semantics symposium: formal semantics for UML. / Broy, Manfred (Editor); Crane, Michelle L. (Editor); Dingel, Juergen (Editor) et al.
Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers. Springer Verlag, 2007. p. 318-323 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4364 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - 2nd UML 2 semantics symposium

T2 - Workshops and Symposia at MoDELS 2006: Models in Software Engineering

A2 - Broy, Manfred

A2 - Crane, Michelle L.

A2 - Dingel, Juergen

A2 - Hartman, Alan

A2 - Rumpe, Bernhard

A2 - Selic, Bran

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - Formal semantics

KW - UML

UR - http://www.scopus.com/inward/record.url?scp=38149009532&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-69489-2_39

DO - 10.1007/978-3-540-69489-2_39

M3 - Conference contribution

AN - SCOPUS:38149009532

SN - 9783540694885

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 318

EP - 323

BT - Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers

PB - Springer Verlag

Y2 - 1 October 2006 through 6 October 2006

ER -

Broy M, (ed.), Crane ML, (ed.), Dingel J, (ed.), Hartman A, (ed.), Rumpe B, (ed.), Selic B, (ed.). 2^nd UML 2 semantics symposium: formal semantics for UML. In Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers. Springer Verlag. 2007. p. 318-323. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-69489-2_39