-
1
-
-
4244154274
-
-
B. Benatallah, M. Dumas, M.-C. Fauvet, and F. A. Rabhi. Towards patterns of web services composition, pages 265-296, 2003.
-
(2003)
Towards patterns of web services composition
, pp. 265-296
-
-
Benatallah, B.1
Dumas, M.2
Fauvet, M.-C.3
Rabhi, F.A.4
-
2
-
-
33747405859
-
The audition framework for testing web services interoperability
-
IEEE Computer Society
-
A. Bertolino and A. Polini. The audition framework for testing web services interoperability. In EUROMICRO-SEAA, pages 134-142. IEEE Computer Society, 2005.
-
(2005)
EUROMICRO-SEAA
, pp. 134-142
-
-
Bertolino, A.1
Polini, A.2
-
3
-
-
0034875651
-
From object composition to model transformation with the mda
-
Washington, DC, USA, IEEE Computer Society
-
J. Bézivin. From object composition to model transformation with the mda. In TOOLS '01: Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39), page 350, Washington, DC, USA, 2001. IEEE Computer Society.
-
(2001)
TOOLS '01: Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39)
, pp. 350
-
-
Bézivin, J.1
-
4
-
-
33845381485
-
Formal model merging applied to class diagram integration
-
A. Boronat, J. A. Carsí, I. Ramos, and P. Letelier. Formal model merging applied to class diagram integration. Electron. Notes Theor. Comput. Sci., 166:5-26, 2007.
-
(2007)
Electron. Notes Theor. Comput. Sci
, vol.166
, pp. 5-26
-
-
Boronat, A.1
Carsí, J.A.2
Ramos, I.3
Letelier, P.4
-
5
-
-
38849114913
-
-
F. Bouquet, C. Grandpierre, B. Legeard, F. Peureux, N. Vacelet, and M. Utting. A subset of precise UML for model-based testing. In A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing, pages 95-104, London, UK, July 2007. ACM Press. A-MOST'O7 is colocated with ISSTA 2007, Int. Symposium on Software Testing and Analysis.
-
F. Bouquet, C. Grandpierre, B. Legeard, F. Peureux, N. Vacelet, and M. Utting. A subset of precise UML for model-based testing. In A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing, pages 95-104, London, UK, July 2007. ACM Press. A-MOST'O7 is colocated with ISSTA 2007, Int. Symposium on Software Testing and Analysis.
-
-
-
-
6
-
-
70349130119
-
-
E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Wsdl 1.1. http://www.w3.org/TR/wsdl, 2001.
-
E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Wsdl 1.1. http://www.w3.org/TR/wsdl, 2001.
-
-
-
-
7
-
-
0036642741
-
Extending standard uml with model composition semantics
-
S. Clarke. Extending standard uml with model composition semantics. Sci. Comput. Program., 44(1):71-100, 2002.
-
(2002)
Sci. Comput. Program
, vol.44
, Issue.1
, pp. 71-100
-
-
Clarke, S.1
-
8
-
-
33646591545
-
Extending uml for model composition
-
Washington, DC, USA, IEEE Computer Society
-
J. Estublier and A. D. Ionita. Extending uml for model composition. In ASWEC '05: Proceedings of the 2005 Australian conference on Software Engineering, pages 31-38, Washington, DC, USA, 2005. IEEE Computer Society.
-
(2005)
ASWEC '05: Proceedings of the 2005 Australian conference on Software Engineering
, pp. 31-38
-
-
Estublier, J.1
Ionita, A.D.2
-
9
-
-
70349147606
-
-
H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. ase, 0:152, 2003.
-
H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. ase, 0:152, 2003.
-
-
-
-
10
-
-
34748906152
-
Towards model-based testing of web services. In A. Bertolino and A
-
Polini, editors, Palermo, Sicily, ITALY, June 9th
-
L. Frantzen, J. Tretmans, and R. de Vries. Towards model-based testing of web services. In A. Bertolino and A. Polini, editors, in Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006), pages 67-82, Palermo, Sicily, ITALY, June 9th 2006.
-
(2006)
Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006)
, pp. 67-82
-
-
Frantzen, L.1
Tretmans, J.2
de Vries, R.3
-
11
-
-
84869635151
-
-
M. Gudgin, M. Hadley, N. Mendelsohn, J.-J. Moreau, H. F. Nielsen, A. Karmarkar, and Y. Lafon. Soap version 1.2, 2007
-
M. Gudgin, M. Hadley, N. Mendelsohn, J.-J. Moreau, H. F. Nielsen, A. Karmarkar, and Y. Lafon. Soap version 1.2. http://www.w3.org/TR/soap12-part1/, 2007.
-
-
-
-
12
-
-
15744379239
-
Towards contract-based testing of web services
-
M. Pezzé, editor
-
R. Heckel and M. Lohmann. Towards contract-based testing of web services. In M. Pezzé, editor, Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), volume 116, pages 145-156, 2005.
-
(2005)
Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)
, vol.116
, pp. 145-156
-
-
Heckel, R.1
Lohmann, M.2
-
13
-
-
24644510437
-
-
R. Heckel and L. Mariani. Automatic conformance testing of web services. In In proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005), pages 34-48. Springer-Verlag, 2005.
-
R. Heckel and L. Mariani. Automatic conformance testing of web services. In In proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005), pages 34-48. Springer-Verlag, 2005.
-
-
-
-
14
-
-
35248895814
-
Representing web services with uml: A case study
-
E. Marcos, V. de Castro, and B. Vela. Representing web services with uml: A case study. In ICSOC, pages 17-27, 2003.
-
(2003)
ICSOC
, pp. 17-27
-
-
Marcos, E.1
de Castro, V.2
Vela, B.3
-
15
-
-
70349090751
-
-
OASIS UDDI specification TC. Uddi version 3.0.2. http://uddi.org/pubs/ uddLv3.htm, 2005.
-
OASIS UDDI specification TC. Uddi version 3.0.2. http://uddi.org/pubs/ uddLv3.htm, 2005.
-
-
-
-
16
-
-
68649106859
-
A model-based validation framework for web services
-
Paris, France, Dec
-
V. Pretre, F. Bouquet, and C. Lang. A model-based validation framework for web services. In STV07, Procs of the 5th workshop on Systems Testing and Validation, pages 63-76, Paris, France, Dec. 2007.
-
(2007)
STV07, Procs of the 5th workshop on Systems Testing and Validation
, pp. 63-76
-
-
Pretre, V.1
Bouquet, F.2
Lang, C.3
-
17
-
-
68649104964
-
Automating uml models merging: Application of the method
-
RR2008-09, LIFC, October
-
V. Pretre, F. Bouquet, and C. Lang. Automating uml models merging: application of the method. Research Report RR2008-09, LIFC, October 2008.
-
(2008)
Research Report
-
-
Pretre, V.1
Bouquet, F.2
Lang, C.3
-
18
-
-
33646530492
-
A comparative study of metamodel integration and interoperability in uml and web services
-
A. Staikopoulos and B. Bordbar. A comparative study of metamodel integration and interoperability in uml and web services. In ECMDA-FA, pages 145-159, 2005.
-
(2005)
ECMDA-FA
, pp. 145-159
-
-
Staikopoulos, A.1
Bordbar, B.2
-
19
-
-
34247206895
-
Process-oriented, flexible composition of web services with uml
-
S. Thöne, R. Depke, and G. Engels. Process-oriented, flexible composition of web services with uml. In ER (Workshops), pages 390-401, 2002.
-
(2002)
ER (Workshops)
, pp. 390-401
-
-
Thöne, S.1
Depke, R.2
Engels, G.3
-
20
-
-
1142277649
-
Web services are not distributed objects
-
W. Vogels. Web services are not distributed objects. IEEE Internet Computing, 7(6):59-66, 2003.
-
(2003)
IEEE Internet Computing
, vol.7
, Issue.6
, pp. 59-66
-
-
Vogels, W.1
|