Sciweavers

1039 search results - page 131 / 208
» Using GXL for exchanging business process models
Sort
View
150
Voted
WSFM
2007
Springer
15 years 10 months ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
142
Voted
ICSOC
2010
Springer
15 years 2 months ago
BPMN Modelling of Services with Dynamically Reconfigurable Transactions
We promote the use of transactional attributes for modelling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBe...
Laura Bocchi, Roberto Guanciale, Daniele Strollo, ...
ISIM
2007
15 years 5 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave
IIWAS
2004
15 years 5 months ago
ReFFlow: A Model and Generic Approach to Flexibility of Web Service Compositions
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
Dimka Karastoyanova, Alejandro P. Buchmann
VLDB
2002
ACM
156views Database» more  VLDB 2002»
15 years 3 months ago
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu