-
3
-
-
33646814030
-
An abstract model for process mediation
-
In: Lau K-K, Banach R (eds) 7th international conference on formal engineering methods (ICFEM 2005), vol 3785 of lecture notes in computer science. Springer
-
Altenhofen M, Börger E, Lemcke J (2005) An abstract model for process mediation. In: Lau K-K, Banach R (eds) Formal methods and software engineering, 7th international conference on formal engineering methods (ICFEM 2005), vol 3785 of lecture notes in computer science. Springer, pp 81-95.
-
(2005)
Formal methods and software engineering
, pp. 81-95
-
-
Altenhofen, M.1
Börger, E.2
Lemcke, J.3
-
6
-
-
33745626091
-
Representing, analysing and managing web service protocols
-
Benatallah B, Casati F, Toumani F (2006) Representing, analysing and managing web service protocols. Data Knowl Eng 58(3): 327-357.
-
(2006)
Data Knowl Eng
, vol.58
, Issue.3
, pp. 327-357
-
-
Benatallah, B.1
Casati, F.2
Toumani, F.3
-
8
-
-
3042773722
-
Abstract state machines capture parallel algorithms
-
Blass A, Gurevich J (2003) Abstract state machines capture parallel algorithms. ACM Trans Comput Logic 4(4): 578-651.
-
(2003)
ACM Trans Comput Logic
, vol.4
, Issue.4
, pp. 578-651
-
-
Blass, A.1
Gurevich, J.2
-
10
-
-
34548534641
-
Service-oriented architecture and web services penetration in next-generation networks
-
Brenner MR, Unmehopa MR (2007) Service-oriented architecture and web services penetration in next-generation networks. Bell Labs Tech J 12(2): 147-159.
-
(2007)
Bell Labs Tech J
, vol.12
, Issue.2
, pp. 147-159
-
-
Brenner, M.R.1
Unmehopa, M.R.2
-
12
-
-
1542701666
-
Web services transaction (WS-Transaction)
-
Cox W et al (2004) Web services transaction (WS-Transaction), BEA Systems, IBM, Microsoft. http://dev2dev. bea. com/pub/a/2004/01/ws-transaction. html.
-
(2004)
BEA Systems, IBM, Microsoft
-
-
Cox, W.1
-
13
-
-
77951454630
-
Web services coordination (WS-Coordination), version 1.1
-
Feingold W, Jeyaraman R (2007) Web services coordination (WS-Coordination), version 1. 1, OASIS Web Services Transaction WS-TX TC. http://docs. oasis-open. org/ws-tx/wstx-wscoor1. 1-spec. pdf.
-
(2007)
OASIS Web Services Transaction WS-TX TC
-
-
Feingold, W.1
Jeyaraman, R.2
-
14
-
-
1342337728
-
The web service modeling framework WSMF
-
Fensel D, Bussler C (2002) The web service modeling framework WSMF. Electron Commer Res Appl 1(2): 113-137.
-
(2002)
Electron Commer Res Appl
, vol.1
, Issue.2
, pp. 113-137
-
-
Fensel, D.1
Bussler, C.2
-
16
-
-
0001835656
-
Formal ontology and information systems
-
Guarino N (1998) Formal ontology and information systems. In: Proceedings FOIS'98. IOS Press, pp 3-15.
-
(1998)
Proceedings FOIS'98. IOS Press
, pp. 3-15
-
-
Guarino, N.1
-
17
-
-
84947248224
-
Sequential abstract state machines capture sequential algorithms
-
Gurevich J (2000) Sequential abstract state machines capture sequential algorithms. ACM Trans Comput Logic 1(1): 77-111.
-
(2000)
ACM Trans Comput Logic
, vol.1
, Issue.1
, pp. 77-111
-
-
Gurevich, J.1
-
19
-
-
0031141317
-
Kleene algebra with tests
-
Kozen D (1997) Kleene algebra with tests. ACM Trans Program Lang Syst 19(3): 427-443.
-
(1997)
ACM Trans Program Lang Syst
, vol.19
, Issue.3
, pp. 427-443
-
-
Kozen, D.1
-
20
-
-
34948821111
-
Using a model-driven transformational approach and service-oriented architecture for service delivery management
-
Kumaran S et al (2007) Using a model-driven transformational approach and service-oriented architecture for service delivery management. IBM Syst J 46(3): 513-530.
-
(2007)
IBM Syst J
, vol.46
, Issue.3
, pp. 513-530
-
-
Kumaran, S.1
-
21
-
-
70949100978
-
A theory of data-intensive software services
-
Ma H, Schewe K-D, Thalheim B, Wang Q (2009) A theory of data-intensive software services. Serv Orient Comput Appl 3(4): 263-283.
-
(2009)
Serv Orient Comput Appl
, vol.3
, Issue.4
, pp. 263-283
-
-
Ma, H.1
Schewe, K.-D.2
Thalheim, B.3
Wang, Q.4
-
23
-
-
0036711884
-
What is a service? Towards accurate description of non-functional properties
-
O'Sullivan J, Edmond D, Ter Hofstede A (2002) What is a service? Towards accurate description of non-functional properties. Distrib Parallel Databas 12(2-3): 117-133.
-
(2002)
Distrib Parallel Databas
, vol.12
, Issue.2-3
, pp. 117-133
-
-
O'Sullivan, J.1
Edmond, D.2
Ter Hofstede, A.3
-
24
-
-
34249080831
-
Service oriented architectures: approaches, technologies and research issues
-
Papazoglou MP, van den Heuvel W-J (2007) Service oriented architectures: approaches, technologies and research issues. VLDB J 16(3): 389-415.
-
(2007)
VLDB J
, vol.16
, Issue.3
, pp. 389-415
-
-
Papazoglou, M.P.1
van den Heuvel, W.-J.2
-
25
-
-
18844448920
-
Conceptual modelling of web information systems
-
Schewe K-D, Thalheim B (2005) Conceptual modelling of web information systems. Data Knowl Eng 54(2): 147-188.
-
(2005)
Data Knowl Eng
, vol.54
, Issue.2
, pp. 147-188
-
-
Schewe, K.-D.1
Thalheim, B.2
-
26
-
-
84864566023
-
Component-driven engineering of database applications
-
Australian Computer Society In: Stumptner M, Hartmann S, Kiyoki Y (eds)
-
Schewe K-D, Thalheim B (2006) Component-driven engineering of database applications. In: Stumptner M, Hartmann S, Kiyoki Y (eds) Conceptual modelling 2006-third Asia-Pacific conference on conceptual modelling (APCCM 2006), vol 53 of CRPIT. Australian Computer Society, pp 105-114.
-
(2006)
Conceptual modelling 2006-third Asia-Pacific conference on conceptual modelling (APCCM 2006), vol 53 of CRPIT
, pp. 105-114
-
-
Schewe, K.-D.1
Thalheim, B.2
-
27
-
-
78649902843
-
A customised ASM thesis for database transformations
-
Schewe K-D, Wang Q (2010) A customised ASM thesis for database transformations. Acta Cybern 19(4): 765-805.
-
(2010)
Acta Cybern
, vol.19
, Issue.4
, pp. 765-805
-
-
Schewe, K.-D.1
Wang, Q.2
-
29
-
-
84865595987
-
-
Simple object access protocol (SOAP)
-
Simple object access protocol (SOAP). http://www. w3c. org/TR/soap.
-
-
-
-
32
-
-
84865595985
-
-
Universal description, discovery and integration (UDDI)
-
Universal description, discovery and integration (UDDI). http://www. uddi. org.
-
-
-
-
33
-
-
84865595887
-
-
Web ontology language (OWL)
-
Web ontology language (OWL). http://www. w3c. org//OWL/.
-
-
-
|