348 search results - page 27 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
100
click to vote
EPK
2006
15 years 1 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
DKE
2007
14 years 11 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
110
click to vote
APIN
1998
14 years 11 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
BIRTHDAY
2009
Springer
15 years 3 months ago
2009
Springer
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...