Sciweavers

444 search results - page 69 / 89
» Semantic Business Process Repository
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
14 years 11 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
BPM
2008
Springer
174views Business» more  BPM 2008»
14 years 11 months ago
A Framework for Dependency Based Automatic Service Composition
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...
Abrehet M. Omer, Alexander Schill
BPM
2009
Springer
153views Business» more  BPM 2009»
14 years 10 months ago
DECLARE Demo: A Constraint-based Workflow Management System
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...
JBI
2007
104views Bioinformatics» more  JBI 2007»
14 years 9 months ago
Anatomy of data integration
Producing reliable information is the ultimate goal of data processing. The ocean of data created with the advances of science and technologies calls for integration of data comin...
Olga Brazhnik, John F. Jones
ASIAN
2005
Springer
178views Algorithms» more  ASIAN 2005»
15 years 2 months ago
An Approach for Service Discovery Based on Semantic Peer-to-Peer
The service discovery is a key step during Peer-to-Peer (P2P) converging with Web Service. In this paper, a semantic-P2P based approach is presented for web service discovery. To e...
Hao Wu, Hai Jin, Yunfa Li, Hanhan Chen