Sciweavers

40 search results - page 2 / 8
» Formal aspects of classifying and selecting business service...
Sort
View
BPM
2007
Springer
201views Business» more  BPM 2007»
13 years 11 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
ERSHOV
2003
Springer
13 years 10 months ago
Combining Aspects of Reactive Systems
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
Leonid Kof, Bernhard Schätz
WETICE
2005
IEEE
13 years 10 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
ICWS
2010
IEEE
13 years 6 months ago
Extending BPMN for Supporting Customer-Facing Service Quality Requirements
Service-oriented computing promises to create flexible business processes and applications on demand by dynamically assembling loosely coupled services within and across organizati...
Kawther Saeedi, Liping Zhao, Pedro R. Falcone Samp...
ICSOC
2007
Springer
13 years 11 months ago
Managing Non-Functional Properties of Inter-enterprise Business Service Delivery
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...
Toni Ruokolainen, Lea Kutvonen