Sciweavers

129 search results - page 14 / 26
» Web Services Composition Applying MDA
Sort
View
ICSOC
2007
Springer
14 years 4 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...
PROCEDIA
2010
127views more  PROCEDIA 2010»
13 years 4 months ago
Web service selection for transactional composition
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
Yudith Cardinale, Joyce El Haddad, Maude Manouvrie...
ICIW
2009
IEEE
14 years 4 months ago
Dynamic Composition of Service-Oriented Web User Interfaces
So far, little research has addressed reuse and contextawareness with respect to rich web-based user interfaces. Uniform models for encapsulation and reuse have been developed for...
Stefan Pietschmann, Martin Voigt, Klaus Meiß...
ESWS
2007
Springer
14 years 1 months ago
A BPMO Based Semantic Business Process Modelling Environment
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
Marin Dimitrov, Alex Simov, Sebastian Stein, Mihai...
IEEESCC
2005
IEEE
14 years 3 months ago
SOA Without Web Services: a Pragmatic Implementation of SOA for Financial Transactions Systems
The Service Oriented Architecture (SOA) provides a methodology for designing software systems by integrating loosely coupled services. Compared to traditional distributed object-o...
Ziyang Duan, Subhra Bose, Charles A. Shoniregun, P...