1532 search results - page 81 / 307 » Sequence Constraints in Business Modelling and Business Proc... |
BPM
2010
Springer
15 years 24 days ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
AAAI
2007
15 years 2 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
ICEIS
2007
IEEE
15 years 6 months ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
106
click to vote
APCCM
2009
15 years 24 days ago
2009
Before two businesses can engage in a business-tobusiness process an agreement about the process execution order and the business documents exchanged in the collaborative process ...
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...