Sciweavers

Share
27 search results - page 2 / 6
» Model-Based Analysis of Obligations in Web Service Choreogra...
Sort
View
ECLIPSE
2005
ACM
10 years 18 days ago
Leveraging Eclipse for integrated model-based engineering of web service compositions
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
Howard Foster, Sebastián Uchitel, Jeff Mage...
FORTE
2013
5 years 5 months ago
Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper)
Abstract. Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In se...
Tevfik Bultan
WSFM
2007
Springer
10 years 4 months ago
Towards a Theory of Web Service Choreographies
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zha...
VLDB
2007
ACM
161views Database» more  VLDB 2007»
10 years 4 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-proļ¬le projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
BMCBI
2004
131views more  BMCBI 2004»
9 years 10 months ago
A web services choreography scenario for interoperating bioinformatics applications
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
Remko de Knikker, Youjun Guo, Jin-long Li, Albert ...
books