3921 search results - page 46 / 785 » Transforming Models with ATL |
106
click to vote
CORR
2006
Springer
15 years 15 days ago
2006
Springer
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
108
Voted
ASM
2010
ASM
15 years 7 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
110
Voted
ESEC
1997
Springer
15 years 4 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
97
Voted
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper we develop a variant of a previously proposed method the regenerative randomization method for the transient analysis of dependability performability models. The va...
95
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...