Sciweavers

2653 search results - page 353 / 531
» Business process reengineering
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
13 years 6 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
SIGMOD
2004
ACM
107views Database» more  SIGMOD 2004»
14 years 8 months ago
Declarative Specification of Web Applications exploiting Web Services and Workflows
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
Marco Brambilla, Stefano Ceri, Sara Comai, Marco D...
WECWIS
2007
IEEE
143views ECommerce» more  WECWIS 2007»
14 years 2 months ago
Semantic Web-Service Discovery and Composition Using Flexible Parameter Matching
When there are a large number of web services available and no single service satisfies the given request, one has to compose multiple web services to fulfill the goal, considerin...
Seog-Chan Oh, Jung-Woon Yoo, Hyunyoung Kil, Dongwo...
ICSOC
2007
Springer
14 years 2 months ago
Service Selection Based on Non-functional Properties
Service-oriented Architecture supports software to be composed from services dynamically. Selecting and composing appropriate services according to business process, policies and n...
Stephan Reiff-Marganiec, HongQing Yu, Marcel Tilly
TRUSTBUS
2007
Springer
14 years 2 months ago
Usage Control in Service-Oriented Architectures
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
Alexander Pretschner, Fabio Massacci, Manuel Hilty