-
2
-
-
38149134215
-
Encoding a Process Algebra Using the Event B Method. Application to the Validation of User Interfaces
-
Columbia, Maryland USA
-
Y. Aït-Ameur, M. Baron, and K. Nadjet. Encoding a Process Algebra Using the Event B Method. Application to the Validation of User Interfaces. In ISOLA 2005, Columbia, Maryland USA, 2005.
-
(2005)
ISOLA 2005
-
-
Aït-Ameur, Y.1
Baron, M.2
Nadjet, K.3
-
4
-
-
85178854840
-
-
D. Booth and C.-K. Liu. Web Services Description Language Version 2.0. Technical report, W3C Recommendation, 26 June 2007
-
D. Booth and C.-K. Liu. Web Services Description Language Version 2.0. Technical report, W3C Recommendation, 26 June 2007. http://www.w3.org/TR/2007/ REC-wsdl20-primer-20070626/.
-
-
-
-
5
-
-
4243270783
-
Abstract State Machines: A Method for High-Level System Design and Analysis
-
Technical report, Springer-Verlag, New York, NY, USA
-
E. Borger and R. Stark. Abstract State Machines: A Method for High-Level System Design and Analysis. Technical report, Springer-Verlag, New York, NY, USA, 2003.
-
(2003)
-
-
Borger, E.1
Stark, R.2
-
6
-
-
85178853899
-
-
ClearSy. Rodin, 2007. http://www.methodeb. com/php/travaux r&d methode b projet RODIN fr.php.
-
ClearSy. Rodin, 2007. http://www.methodeb. com/php/travaux r&d methode b projet RODIN fr.php.
-
-
-
-
8
-
-
28944444612
-
Complete Abstract Operational Semantics for the Web Service Business Process Execution Language
-
Technical report, Humboldt-Universitat zu Berlin, Institut fur Informatik, Germany
-
D. Fahland. Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. Technical report, Humboldt-Universitat zu Berlin, Institut fur Informatik, Germany, 2005.
-
(2005)
-
-
Fahland, D.1
-
12
-
-
0013451181
-
Concise Promela Reference. Technical report, Eindhoven University
-
June
-
R. Gerth. Concise Promela Reference. Technical report, Eindhoven University, June 1997.
-
(1997)
-
-
Gerth, R.1
-
14
-
-
0242581943
-
The Spin Model Checker, Primer and Reference Manual
-
Technical report, Addison-Wesley, Boston, MA, USA
-
G. J. Holzmann. The Spin Model Checker, Primer and Reference Manual. Technical report, Addison-Wesley, Boston, MA, USA, 2004.
-
(2004)
-
-
Holzmann, G.J.1
-
15
-
-
85178855407
-
-
D. Jordan and J. Evdemon. Web Services Business Process Execution Language Version 2.0. Technical report, OASIS Standard, April 2007
-
D. Jordan and J. Evdemon. Web Services Business Process Execution Language Version 2.0. Technical report, OASIS Standard, April 2007. http://docs.oasisopen. org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html.
-
-
-
-
19
-
-
70350050317
-
Model-Checking Behavioral Specifications of BPEL Applications
-
July
-
S. Nakajima. Model-Checking Behavioral Specifications of BPEL Applications. In WLFM'05, July 2005.
-
(2005)
WLFM'05
-
-
Nakajima, S.1
-
20
-
-
30844469504
-
Lightweight Formal Analysis of Web Service Flows
-
November
-
S. Nakajima. Lightweight Formal Analysis of Web Service Flows. In Progress in Informatics, No.2, November 2005.
-
(2005)
Progress in Informatics, No.2
-
-
Nakajima, S.1
-
23
-
-
0742292502
-
Web services orchestration and choreography
-
July 2003
-
C. Peltz. Web services orchestration and choreography. Web Services Journal, July 2003. http://www.wsj2.com.
-
Web Services Journal
-
-
Peltz, C.1
-
26
-
-
4744352776
-
An Extended Petri-Net-Based Workflow Model for Web Service Composition
-
Y. Tang, L. Chen, K.-T. He, and N. Jing. An Extended Petri-Net-Based Workflow Model for Web Service Composition. In IEEE International Conference on Web Service ICWS'04, pages 591-599, 2004.
-
(2004)
IEEE International Conference on Web Service ICWS'04
, pp. 591-599
-
-
Tang, Y.1
Chen, L.2
He, K.-T.3
Jing, N.4
-
28
-
-
85178856413
-
-
W3C. OWL-S:Semantic Markup for Web Services. Technical report, W3C Recommendation, 2004. http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/.
-
W3C. OWL-S:Semantic Markup for Web Services. Technical report, W3C Recommendation, 2004. http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/.
-
-
-
-
29
-
-
85178861494
-
-
W3C. Web Services Choreography Description Language Version 1.0. Technical report, W3C Recommendation, 2005
-
W3C. Web Services Choreography Description Language Version 1.0. Technical report, W3C Recommendation, 2005. http://www.w3.org/TR/2005/CR-ws-cdl- 10-20051109/.
-
-
-
|