2374 search results - page 334 / 475 » Automatic Generation of Model Translations |
139
click to vote
ASM
2003
ASM
15 years 10 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
131
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
141
click to vote
APN
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
129
click to vote
PARLE
1991
15 years 8 months ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
114
click to vote
RIAO
2000
15 years 6 months ago
2000
This paper presents the results of two separate studies into electronic book production. The Visual Book (Landoni, 1997) which explored the importance of the visual component of t...