Sciweavers

3089 search results - page 186 / 618
» services 2008
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
SERVICES
2008
94views more  SERVICES 2008»
15 years 7 months ago
Using Characteristics of Computational Science Schemas for Workflow Metadata Management
Computational science workflows are generating an ever-increasing volume of data products. Metadata for these workflows is communicated using one or more discipline-specific schem...
Scott Jensen, Beth Plale
GI
2008
Springer
15 years 7 months ago
Authenticity: The missing link in the social semantic web
Abstract: Especially data on social network services (SNS) is linked to online personas. Our analysis has shown that no reliably solution for origin authentication is in widespread...
Bastian Braun, Henrich Christopher Pöhls
JOT
2008
445views more  JOT 2008»
15 years 6 months ago
From The Business Motivation Model (BMM) To Service Oriented Architecture (SOA)
The purpose of this article is to provide a brief insight about how to link your business vision, goals, strategies, tactics as well as business rules according to BMM, then bridg...
Birol Berkem
MKWI
2008
206views Business» more  MKWI 2008»
15 years 7 months ago
Service-Oriented Architecture: Introducing a Query Language
: Language offers human beings the ability to exchange information. Whether the information is understood or not depends on the structure, complexity and knowledge of the language....
Sebastian Günther, Claus Rautenstrauch, Niko ...