348 search results - page 24 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
195
click to vote
ICDT
2009
ACM
16 years 15 days ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
108
click to vote
CASCON
2007
15 years 1 months ago
2007
The management of non-functional goals, or Service Level Agreements (SLA), in the development of business processes in a Service Oriented Architecture often requires much manual a...
102
click to vote
EGOV
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Research works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypo...
106
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...