171 search results - page 34 / 35 » Supporting Process Model Validation through Natural Language... |
WECWIS
2007
IEEE
13 years 12 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
ICWS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Web service models are increasingly being used in the Grid community as way to create distributed applications exposing data and/or applications through self describing interfa...
ZUM
1997
Springer
13 years 9 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
UML
2004
Springer
13 years 11 months ago
2004
Springer
We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an o...
GECCO
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The need for supporting CSCW applications with heterogeneous and varying user requirements calls for adaptive and reconfigurable schedulers accommodating a mixture of re...