Sciweavers

862 search results - page 33 / 173
» BISON: Providing Business Information Analysis as a Service
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
13 years 10 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
IEEESCC
2005
IEEE
14 years 2 months ago
A Framework for Failure Impact Analysis and Recovery with Respect to Service Level Agreements
In today’s IT service market customers urge providers to grant guarantees for quality of service (QoS) which are laid down in Service Level Agreements (SLAs). To satisfy custome...
Andreas Hanemann, David Schmitz, Martin Sailer
ISDO
2000
145views Business» more  ISDO 2000»
13 years 10 months ago
Business Contracts for B2B
This paper presents an approach for the specification and implementation of business contracts needed for Business-to-Business (B2B) services. We first examine typical elements of...
Andrew Goodchild, Charles Herring, Zoran Milosevic
BPM
2006
Springer
153views Business» more  BPM 2006»
14 years 18 days ago
Decision Mining in ProM
Process-aware Information Systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. Proper analysis of these execu...
Anne Rozinat, Wil M. P. van der Aalst
WISE
2009
Springer
14 years 6 months ago
Formal Identification of Right-Grained Services for Service-Oriented Modeling
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
Yukyong Kim, Kyung-Goo Doh