On systematic Design of Service Oriented Architectures

SERP 2008 : International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 14 juli 2008

[1]  Diego Calvanese,et al.  Automatic Composition of Web Services in Colombo , 2005, SEBD.

[2]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[3]  James Snell,et al.  Introduction to Web services architecture , 2002, IBM Syst. J..

[4]  Ingolf Krüger,et al.  Systematic development and exploration of service-oriented software architectures , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[5]  Joseph A. Goguen,et al.  A categorical manifesto , 1989, Mathematical Structures in Computer Science.

[6]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

[7]  José Luiz Fiadeiro,et al.  Algebraic Semantics of Coordination or What Is in a Signature , 1998, AMAST.

[8]  Giuseppe Longo,et al.  Categories, types and structures - an introduction to category theory for the working computer scientist , 1991, Foundations of computing.

[9]  Thomas A. Henzinger,et al.  Web service interfaces , 2005, WWW '05.

[10]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[11]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[12]  Fabio Casati,et al.  Representing, analysing and managing Web service protocols , 2006, Data Knowl. Eng..

[13]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.

[14]  Laura Bocchi,et al.  A Formal Approach to Service Component Architecture , 2006, WS-FM.

[15]  José Luiz Fiadeiro,et al.  Categorical Semantics of Parallel Program Design , 1997, Sci. Comput. Program..

[16]  Ivan Lanese,et al.  Towards a Unifying Theory for Web Services Composition , 2006, WS-FM.

[17]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[18]  John L. Bell,et al.  Category Theory and the Foundations of Mathematics* , 1981, The British Journal for the Philosophy of Science.

[19]  Cheikh Ba,et al.  Composing Web Services with PEWS: A Trace-Theoretical Approach , 2006, 2006 European Conference on Web Services (ECOWS'06).

[20]  Scott Anderson,et al.  Supply Chain Management Use Case Model , 2003 .

[21]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

[22]  Cristina Sernadas,et al.  Object Interaction , 1992, MFCS.

[23]  Fabio Casati,et al.  Developing Adapters for Web Services Integration , 2005, CAiSE.

[24]  Thomas A. Henzinger,et al.  An Application ofWeb-Service Interfaces , 2007, IEEE International Conference on Web Services (ICWS 2007).

[25]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[26]  Hamid R. Arabnia,et al.  Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes , 2008, Software Engineering Research and Practice.

[27]  Dirk Beyer,et al.  An Application of Web-Service Interfaces ∗ , 2007 .

[28]  Regina Dunlea,et al.  Simple Object Access Protocol (SOAP) , 2005 .

[29]  Jianwen Su,et al.  Web service discovery based on behavior signatures , 2005, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1.

[30]  José Luiz Fiadeiro.  Algebraic Support for Service-Oriented Architecture , 2002, AMAST.

[31]  Fabio Casati,et al.  Semi-automated adaptation of service interactions , 2007, WWW '07.

[32]  Jianwen Su,et al.  On Completeness of Web Service Compositions , 2007, IEEE International Conference on Web Services (ICWS 2007).