Sciweavers

5518 search results - page 93 / 1104
» Rule-Based Service Modeling
Sort
View
FASE
2008
Springer
14 years 11 months ago
A Model Checking Approach for Verifying COWS Specifications
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
Alessandro Fantechi, Stefania Gnesi, Alessandro La...
MKWI
2008
152views Business» more  MKWI 2008»
14 years 11 months ago
Towards a Market-Centric OGSA-Compliant Architecture Model
: The Open Grid Services Architecture (OGSA) provides a high-level framework for service-oriented grid architecture, mostly based on web service standards. The vision of a worldwid...
Paul Karänke, Thomas Bieser, Michael Schü...
FEDCSIS
2011
90views more  FEDCSIS 2011»
13 years 9 months ago
Services Composition Model for Home-Automation peer-to-peer Pervasive Computing
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
Juan A. Holgado-Terriza, Sandra Rodríguez-V...
ECOWS
2006
Springer
15 years 1 months ago
A Value-Based Foundation for Service Modelling
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
Martin Henkel, Erik Perjons, Jelena Zdravkovic, Ch...
WETICE
2005
IEEE
15 years 3 months ago
Challenges and Solutions for Model Driven Web Service Composition
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
Konrad Pfadenhauer, Burkhard Kittl, Schahram Dustd...