Sciweavers

91 search results - page 13 / 19
» Semantic Annotation and Composition of Business Processes wi...
Sort
View
IHM
2009
ACM
14 years 2 months ago
Une interface de programmation visuelle pour la composition de services de visualisation d'information
In this article, we are interested in information visualisations creation and sharing. Our approach is to consider information visualisation as a dataflow, issued from web servic...
Romain Vuillemot, Béatrice Rumpler
IJCAI
2003
13 years 9 months ago
A Method for Semantically Enhancing the Service Discovery Capabilities of UDDI
The promise of dynamic selection of business services and automatic integration of applications written to Web Services standards is yet to be realized. This is partially attribut...
Rama Akkiraju, Richard Goodwin, Prashant Doshi, Sa...
BPSC
2009
184views Business» more  BPSC 2009»
13 years 8 months ago
Generating WS-SecurityPolicy Documents via Security Model Transformation
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
Meiko Jensen
IEEEHPCS
2010
13 years 6 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
SAC
2010
ACM
13 years 7 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink