Sciweavers

382 search results - page 25 / 77
» Service Contract Template
Sort
View
BPM
2006
Springer
117views Business» more  BPM 2006»
13 years 11 months ago
Web Service E-Contract Establishment Using Features
Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
Marcelo Fantinato, Itana Maria de Souza Gimenes, M...
ATAL
2008
Springer
13 years 9 months ago
Towards verifying compliance in agent-based web service compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
Alessio Lomuscio, Hongyang Qu, Monika Solanki
CBSE
2005
Springer
14 years 28 days ago
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...
Bert Lagaisse, Wouter Joosen
HICSS
2010
IEEE
162views Biometrics» more  HICSS 2010»
14 years 2 months ago
Risk-Based Decision Support in Service Value Networks
The current trend towards dynamic and highly scalable service provisioning fosters the rise of Software as a Service (SaaS) platforms and so called Compute Clouds. The on-demand p...
Wibke Michalk, Benjamin Blau, Jochen Stö&szli...
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
14 years 18 days ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...