Sciweavers

1173 search results - page 32 / 235
» On the Compositionality of Round Abstraction
Sort
View
AOSD
2007
ACM
13 years 11 months ago
The service creation environment: a telecom case study
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...
Niels Joncheere
CSAC
2006
13 years 11 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
AAAI
2004
13 years 11 months ago
Mixed-Initiative Workflow Composition
CAT's knowledge base contains abstract task or example "abstract flight reservation task," which can be included in a workflow as placeholders. CAT will gest that us...
Marc Spraragen
JISE
2010
110views more  JISE 2010»
13 years 4 months ago
SOA-based Service Layering for Facilitating Dynamic Service Composition and Alternative Service Discovery
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
Meeyeon Lee, Jung-Won Lee, Seung Soo Park, We-Duke...
FASE
2007
Springer
14 years 4 months ago
Software Product Families: Towards Compositionality
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
Jan Bosch