170 search results - page 16 / 34 » From BPEL to SRML: A Formal Transformational Approach |
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
IJCIS
2007
13 years 7 months ago
2007
Information plays an increasingly important role in our lives. Often we retrieve this information by querying the Web: data resources found on the web may provide the information ...
DFG
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
DAC
1995
ACM
13 years 11 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
CIDM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—A variational approach is proposed for the unsupervised assessment of attribute variability of high-dimensional data given a differentiable similarity measure. The key q...