Search Sciweavers | Sciweavers

484 search results - page 41 / 97

» Semantics of Metamodels in UML

173

click to vote

ROOM
2000

138views Programming Languages» more ROOM 2000»

Structured Axiomatic Semantics for UML Models

15 years 7 months ago

Download www.bcs.org

In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...

Kevin Lano, Juan Bicarregui, Andy Evans

claim paper

Read More »

271

click to vote

SCESM
2006
ACM

292views Algorithms» more SCESM 2006»

Assert and negate revisited: modal semantics for UML sequence diagrams

16 years 4 days ago

Download www.wisdom.weizmann.ac.il

David Harel, Shahar Maoz

claim paper

Read More »

127

click to vote

FMCO
2004
Springer

102views Formal Methods» more FMCO 2004»

A Fully Abstract Semantics for UML Components

15 years 11 months ago

Download www.liacs.nl

Frank S. de Boer, Marcello M. Bonsangue, Martin St...

claim paper

Read More »

109

click to vote

BPM
2008
Springer

132views Business» more BPM 2008»

Towards a BPMN Semantics Using UML Models

15 years 8 months ago

Download oxygen.informatik.tu-cottbus.de

Oana Nicolae, Mirel Cosulschi, Adrian Giurca, Gerd...

claim paper

Read More »

103

click to vote

ECEASST
2008

60views more ECEASST 2008»

On a Graph-Based Semantics for UML Class and Object Diagrams

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers