14809 search results - page 89 / 2962 » Model transformation by demonstration |
165
click to vote
CORR
2006
Springer
15 years 5 months 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...
155
click to vote
ASM
2010
ASM
16 years 2 days 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...
155
Voted
ESEC
1997
Springer
15 years 9 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...
134
click to vote
IPPS
2000
IEEE
15 years 9 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...
137
click to vote
GG
2008
Springer
15 years 6 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 ...