Sciweavers

5518 search results - page 93 / 1104
» Rule-Based Service Modeling
Sort
View
FASE
2008
Springer
15 years 8 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»
15 years 7 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»
14 years 5 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 9 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 11 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...