Sciweavers

330 search results - page 19 / 66
» Extending the Reach of Business Processes
Sort
View
EPK
2006
114views Management» more  EPK 2006»
13 years 9 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
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...
Stefan Denne
ATAL
2009
Springer
13 years 8 months ago
Directed Deadline Obligations in Agent-Based Business Contracts
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
Henrique Lopes Cardoso, Eugénio C. Oliveira
GI
2004
Springer
14 years 1 months ago
Extending BPEL4WS for Multiple Instantiation
: A means to define multiple activity instantiation is an important feature of a business process modelling language. In this paper we suggest to extend BPEL4WS with structured ac...
Jan Mendling, Mark Strembeck, Gustaf Neumann
RE
2009
Springer
14 years 2 months ago
[vem: xi: ] - A Methodology for Process Based Requirements Engineering
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
Philipp Liegl, Rainer Schuster, Marco Zapletal, Ch...
SEMWEB
2001
Springer
14 years 4 days ago
Utilizing Host-Formalisms to Extend RDF-Semantics
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
Wolfram Conen, Reinhold Klapsing