We discuss the specification of signatures, protocols (behaviour) and quality of service within software component specification frameworks. In particular we focus on (a) contractually used components, (b) the specification of components with variable contracts and interfaces, and (c) of quality of service. Interface descriptions including these aspects allow powerful static interoperability ch...

service oriented enterprises (soes) are subject to constant change and variation. in this paper, the changes are considered from an economic perspective based on service culture notion. once a change is implemented, the costs of some member services may increase, whereas the costs of some other services may reduce. we construct a game theoretic model trying to capture the possible conflicting i...

47 As recently as several years ago, technology gurus predicted that the next big trend in software system development would be service-oriented architecture: that is, a successful integration of loosely coupled services belonging to different organisations, sometimes competing but on specific tasks collaborating , would storm the world. This would create a myriad of new business opportunities,...

This paper discusses a framework for contract-based monitoring and adaptation with respect to customers’ goals seen as an important part of Service Level Agreement (SLA) contracts. Within standard SLA contracts concepts, as mutual agreements between service providers and users, we introduce Key Goal Indicators (KGIs). These are parameters that state how well service-based processes achieve the ...

Service Level Agreements (SLA) for multi-service Information Technology (IT) outsourcing contracts contain vast amounts of textual information. The SLAs provide details about a specific service, Key Performance Indicators (KPI) to measure its performance; as well as process elements, such as activities, events, and resources that are integral in achieving performance goals. However, KPIs and th...

This paper presents an executable service choreography framework (ECF). Current choreography languages are specification languages. They are used at design time to define a mutual contract between services that are under the supervision of different domain controllers. Choreography contracts are established by specifying the observable sequence of messages that are exchanged between services. S...

The availability of public computing resources in the cloud has revolutionized data analysis, but requesting cloud resources often involves complex decisions for consumers. Under the current pricing mechanisms, cloud service providers offer several service options and charge consumers based on the resources they use. Before they can decide which cloud resources to request, consumers have to est...

This survey identifies and defines innovative contracting mechanisms developed in the Forest Service Pacific Northwest Region and northern California. A survey of nine case studies reveals that several new mechanisms have facilitated ecosystem management, quality jobs, and administrative efficiencies, but at times innovation was hampered by Forest Service institutional structures and downsizing...

Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where potential trading partners can find them. This can give rise to new business paradigms based on ad-hoc trading relations as companies, particularly small to medium scale, can cheaply and flexibly enter into fruitful con...

Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Service (cost, performance, availability, etc.). We overview a simple model of contracts for QoS and SLAs that combines two basic programming paradigms: name-passing calculi and concurrent constraint programming. In the resulting c...