UML formal semantics: Lessons learned

Manfred Broy; María Victoria Cengarle

doi:10.1007/s10270-011-0207-y

UML formal semantics: Lessons learned

Manfred Broy, María Victoria Cengarle

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

Technical University of Munich

Research output: Contribution to journal › Article › peer-review

39 Scopus citations

Abstract

The article below presents the insights gained during a number of years of research dedicated to the formalisation of the Unified Modeling Language.

Original language	English
Pages (from-to)	441-446
Number of pages	6
Journal	Software and Systems Modeling
Volume	10
Issue number	4
DOIs	https://doi.org/10.1007/s10270-011-0207-y
State	Published - Oct 2011

Keywords

All-encompassing UML semantics
Compositional semantics
Formal model-driven system development
Formal semantics
Multiple system views

Access to Document

10.1007/s10270-011-0207-y

Cite this

@article{f33835b6a481484ca82fab2342c3b379,

title = "UML formal semantics: Lessons learned",

abstract = "The article below presents the insights gained during a number of years of research dedicated to the formalisation of the Unified Modeling Language.",

keywords = "All-encompassing UML semantics, Compositional semantics, Formal model-driven system development, Formal semantics, Multiple system views",

author = "Manfred Broy and Cengarle, {Mar{\'i}a Victoria}",

note = "Funding Information: The insights reflected in this article are the corollary of the rUML project financed by the German Research Foundation (DFG).",

year = "2011",

month = oct,

doi = "10.1007/s10270-011-0207-y",

language = "English",

volume = "10",

pages = "441--446",

journal = "Software and Systems Modeling",

issn = "1619-1366",

publisher = "Springer Verlag",

number = "4",

}

TY - JOUR

T1 - UML formal semantics

T2 - Lessons learned

AU - Broy, Manfred

AU - Cengarle, María Victoria

N1 - Funding Information: The insights reflected in this article are the corollary of the rUML project financed by the German Research Foundation (DFG).

PY - 2011/10

Y1 - 2011/10

N2 - The article below presents the insights gained during a number of years of research dedicated to the formalisation of the Unified Modeling Language.

AB - The article below presents the insights gained during a number of years of research dedicated to the formalisation of the Unified Modeling Language.

KW - All-encompassing UML semantics

KW - Compositional semantics

KW - Formal model-driven system development

KW - Formal semantics

KW - Multiple system views

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

U2 - 10.1007/s10270-011-0207-y

DO - 10.1007/s10270-011-0207-y

M3 - Article

AN - SCOPUS:80053131406

SN - 1619-1366

VL - 10

SP - 441

EP - 446

JO - Software and Systems Modeling

JF - Software and Systems Modeling

IS - 4

ER -

UML formal semantics: Lessons learned

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this