5312 search results - page 135 / 1063 » Business Process Management Systems |
120
Voted
SPIN
1999
Springer
15 years 7 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
138
click to vote
WOA
2001
15 years 5 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
122
Voted
DBPL
2007
Springer
15 years 9 months ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
149
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
136
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...