-
1
-
-
46849085556
-
-
T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business process execution language for web services, version 1.1, May 2003
-
T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business process execution language for web services, version 1.1, May 2003. http://www-106.ibm.com/developerworks/webservices/library/ws-bpel.
-
-
-
-
2
-
-
33645599672
-
Introduction to lambda calculus
-
Göteborg. Programming Methodology Group, University of Göteborg and Chalmers University of Technology
-
H. P. Barendregt. Introduction to lambda calculus. In Aspenæs Workshop on Implementation of Functional Languages, Göteborg. Programming Methodology Group, University of Göteborg and Chalmers University of Technology, 1988. http://citeseer.ist.psu.edu/ barendregt94introduction.html.
-
(1988)
Aspenæs Workshop on Implementation of Functional Languages
-
-
Barendregt, H.P.1
-
4
-
-
0030268858
-
Www: Past, present, and future
-
69-77, Oct
-
T. Berners-Lee. Www: Past, present, and future. IEEE Computer, 29(10):69-77, Oct. 1996.
-
(1996)
IEEE Computer
, vol.29
, Issue.10
-
-
Berners-Lee, T.1
-
8
-
-
46849121566
-
Ibm submission for the w3c workshop on web of services for enterprise computing
-
Technical report, W3C, 2007
-
C. Ferris, K. Lawrence, and T. Storey. Ibm submission for the w3c workshop on web of services for enterprise computing. Technical report, W3C, 2007. http://www.w3.org/2007/01/wos-papers/ibm.
-
-
-
Ferris, C.1
Lawrence, K.2
Storey, T.3
-
9
-
-
0003415244
-
Hypertext transfer protocol - http/1.1
-
Technical report
-
R. Fielding, J. Gettys, J. Mogul, H. Frystyk, L. Masinter, P. Leach, and T. Berners-Lee. Hypertext transfer protocol - http/1.1. Technical report, The Internet Engineering Task Force, 1999. http://www.ietf.org/rfc/rfc2616.
-
(1999)
-
-
Fielding, R.1
Gettys, J.2
Mogul, J.3
Frystyk, H.4
Masinter, L.5
Leach, P.6
Berners-Lee, T.7
-
10
-
-
46849107877
-
-
R. T. Fielding. Architectural styles and the design of network-based software architectures. PhD thesis, University of California, Irvine, 2000. Chair-Richard N. Taylor.
-
R. T. Fielding. Architectural styles and the design of network-based software architectures. PhD thesis, University of California, Irvine, 2000. Chair-Richard N. Taylor.
-
-
-
-
11
-
-
46849112585
-
Soa wikis, soa for saas, and the future of business applications
-
Technical report, Interarbor Solutions, 2007
-
D. Gardner. Soa wikis, soa for saas, and the future of business applications. Technical report, Interarbor Solutions, 2007. http://blogs.zdnet. com/Gardner/?p=2395.
-
-
-
Gardner, D.1
-
12
-
-
46849121768
-
-
M. Hadley and P. Sandoz. Jsr 311: Java api for restful web services. Technical report, Java Community Process, Sun Microsystems, 2007. http://jcp.org/en/jsr/detail?id=311.
-
M. Hadley and P. Sandoz. Jsr 311: Java api for restful web services. Technical report, Java Community Process, Sun Microsystems, 2007. http://jcp.org/en/jsr/detail?id=311.
-
-
-
-
13
-
-
84902238353
-
The rise and fall of corba
-
M. Henning. The rise and fall of corba. ACM Queue, 4(10), 2006. http://www.acmqueue.com/modules.php?name=Content&pa=showpage&pid=396.
-
(2006)
ACM Queue
, vol.4
, Issue.10
-
-
Henning, M.1
-
15
-
-
34249742078
-
Reference Model for Service Oriented Architecture 1.0
-
Technical Report Committee Specification 1, OASIS Open
-
C. Matthew, K. Laskey, F. McCabe, P. F. Brown, and R. Metz. Reference Model for Service Oriented Architecture 1.0. Technical Report Committee Specification 1, OASIS Open, 2006. http://www.oasis-open.org/committees/tc_home. php?wg_abbrev=soa-rm.
-
(2006)
-
-
Matthew, C.1
Laskey, K.2
McCabe, F.3
Brown, P.F.4
Metz, R.5
-
16
-
-
4243075269
-
Contracts and types
-
L. G. Meredith and S. Bjorg. Contracts and types. Commun. ACM, 46(10):41-47, 2003.
-
(2003)
Commun. ACM
, vol.46
, Issue.10
, pp. 41-47
-
-
Meredith, L.G.1
Bjorg, S.2
-
17
-
-
0000511698
-
The polyadic pi-calculus: A tutorial
-
F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Springer-Verlag
-
R. Milner. The polyadic pi-calculus: a tutorial. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 203-246. Springer-Verlag, 1993. http://citeseer.ist. psu.edu/milner91polyadic.html.
-
(1993)
Logic and Algebra of Specification
, pp. 203-246
-
-
Milner, R.1
-
18
-
-
85014716551
-
Complex information processing: A file structure for the complex, the changing and the indeterminate
-
New York, NY, USA, ACM Press
-
T. H. Nelson. Complex information processing: a file structure for the complex, the changing and the indeterminate. In Proceedings of the 1965 20th national conference, pages 84-100, New York, NY, USA, 1965. ACM Press.
-
(1965)
Proceedings of the 1965 20th national conference
, pp. 84-100
-
-
Nelson, T.H.1
-
19
-
-
46849094077
-
-
H. Overdick, F. Puhlmann, and M. Weske. Towards a Formal Model for Agile Service Discovery and Integration. In K. Verma, A. Sheth, M. Zaremba, and C. Bussler, editors, Proceedings of the International Workshop on Dynamic Web Processes (DWP 2005), IBM technical report RC23822, Amsterdam, December 2005.
-
H. Overdick, F. Puhlmann, and M. Weske. Towards a Formal Model for Agile Service Discovery and Integration. In K. Verma, A. Sheth, M. Zaremba, and C. Bussler, editors, Proceedings of the International Workshop on Dynamic Web Processes (DWP 2005), IBM technical report RC23822, Amsterdam, December 2005.
-
-
-
-
20
-
-
0001956194
-
Foundations for the study of software architecture
-
D. E. Perry and A. L. Wolf. Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes, 17(4):40-52, 1992.
-
(1992)
SIGSOFT Softw. Eng. Notes
, vol.17
, Issue.4
, pp. 40-52
-
-
Perry, D.E.1
Wolf, A.L.2
-
22
-
-
4544277896
-
Describing and reasoning on web services using process algebra
-
Washington, DC, USA, IEEE Computer Society
-
G. Salaun, L. Bordeaux, and M. Schaerf. Describing and reasoning on web services using process algebra. In ICWS '04: Proceedings of the IEEE International Conference on Web Services (ICWS'04), page 43, Washington, DC, USA, 2004. IEEE Computer Society.
-
(2004)
ICWS '04: Proceedings of the IEEE International Conference on Web Services (ICWS'04)
, pp. 43
-
-
Salaun, G.1
Bordeaux, L.2
Schaerf, M.3
-
23
-
-
46849115087
-
-
I. C. Stephen A. White. Business process modeling notation (bpmn), May 2004. http://bpmn.org/Documents/BPMN%/,20V1-0%20May%203%202004.pdf.
-
I. C. Stephen A. White. Business process modeling notation (bpmn), May 2004. http://bpmn.org/Documents/BPMN%/,20V1-0%20May%203%202004.pdf.
-
-
-
-
24
-
-
0024014605
-
What is object-oriented programming?
-
B. Stroustrup. What is object-oriented programming? IEEE Software, 5(3):10-20, 1988.
-
(1988)
IEEE Software
, vol.5
, Issue.3
, pp. 10-20
-
-
Stroustrup, B.1
-
25
-
-
0003841075
-
Uniform resource identifiers (uri): Generic syntax
-
Technical report
-
L. T.Berners-Lee, R.Fielding. Uniform resource identifiers (uri): Generic syntax. Technical report, The Internet Engineering Task Force, 1998. http://www.ietf.org/rfc/rfc2396.txt.
-
(1998)
-
-
Berners-Lee, L.T.1
Fielding, R.2
-
26
-
-
0002719897
-
The Application of Petri Nets to Workflow Management
-
W. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998. citeseer.ist.psu.edu/vanderaalst98application.html.
-
(1998)
The Journal of Circuits, Systems and Computers
, vol.8
, Issue.1
, pp. 21-66
-
-
van der Aalst, W.1
|