Sciweavers

POPL
2012
ACM
11 years 11 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
ER
2011
Springer
260views Database» more  ER 2011»
12 years 3 months ago
Service Variability Patterns
Service-oriented computing (SOC) increases flexibility of IT systems and helps enterprises to meet their changing needs. Different methods address changing requirements in service...
Ateeq Khan, Christian Kästner, Veit Köpp...
ECOWS
2011
Springer
12 years 3 months ago
Automating the Generation of Web Service Testbeds Using AOP
Abstract—One of the key concepts of service-oriented computing is dynamic binding which favors on-demand integration of services into a running system. Companies can outsource ta...
Lukasz Juszczyk, Schahram Dustdar
ATAL
2011
Springer
12 years 3 months ago
Trust as dependence: a logical approach
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
Munindar P. Singh
FMOODS
2006
13 years 5 months ago
Mobility Mechanisms in Service Oriented Computing
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
Claudio Guidi, Roberto Lucchi
ICWS
2010
IEEE
13 years 5 months ago
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations
Several activities in service oriented computing can benefit from the knowledge of properties of a given service composition ahead of time. We will focus here on properties related...
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegi...
FASE
2008
Springer
13 years 5 months ago
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
Laura Bocchi, Stephen Gorton, Stephan Reiff-Margan...
WETICE
2005
IEEE
13 years 9 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...
IEEESCC
2007
IEEE
13 years 10 months ago
A Service Discovery Framework based on Linear Composition
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...
Andrea Zisman, Khaled Mahbub, George Spanoudakis
ICAART
2010
INSTICC
14 years 21 days ago
A Pattern Approach to Modeling the Provider Selection Problem
This article introduces the notion of agreement patterns, which provide a framework for modelling reusable problem solution descriptions for agreement fulfilment. In particular, t...
José Javier Durán, Carlos Angel Igle...