1

Martín Abadi , Leslie Lamport , Pierre Wolper, Realizable and Unrealizable Specifications of Reactive Systems, Proceedings of the 16th International Colloquium on Automata, Languages and Programming, p.1-17, July 11-15, 1989

2

Serge Abiteboul , Victor Vianu , Brad Fordham , Yelena Yesha, Relational transducers for electronic commerce, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.179-187, June 01-04, 1998, Seattle, Washington, United States  [doi>10.1145/275487.275507]

3

Serge Abiteboul , Angela Bonifati , Grégory Cobéna , Ioana Manolescu , Tova Milo, Dynamic XML documents with distribution and replication, Proceedings of the 2003 ACM SIGMOD international conference on Management of data, June 09-12, 2003, San Diego, California  [doi>10.1145/872757.872821]

4

D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Proc. 1st Int. Conf. on Service Oriented Computing (ICSOC), LNCS, Vol. 2910, pages 43--58, 2003.

5

J. Buchi and L. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, 138:295--311, 1969.

6

Tevfik Bultan , Xiang Fu , Richard Hull , Jianwen Su, Conversation specification: a new approach to design and analysis of e-service composition, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary  [doi>10.1145/775152.775210]

7

E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 2000.

8

OWL Services Coalition. OWL-S: Semantic markup for web services, November 2003.

9

SWSL Committee. Semantic web services language requirements (draft). http://www.daml.org/services/swsl/requirements/swsl-requirements%.shtml.

10

Hasan Davulcu , Michael Kifer , C. R. Ramakrishnan , I. V. Ramakrishnan, Logic based modeling and analysis of workflows, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.25-33, June 01-04, 1998, Seattle, Washington, United States  [doi>10.1145/275487.275491]

11

Alin Deutsch , Liying Sui , Victor Vianu, Specification and verification of data-driven web services, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France  [doi>10.1145/1055558.1055571]

12

E. Allen Emerson, Temporal and modal logic, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991

13

Mary Fernández , Nicola Onose , Jérôme Siméon, Yoo-Hoo!: building a presence service with XQuery and WSDL, Proceedings of the 2004 ACM SIGMOD international conference on Management of data, June 13-18, 2004, Paris, France  [doi>10.1145/1007568.1007689]

14

Daniela Florescu , Andreas Grünhagen , Donald Kossmann, XL: an XML programming language for web service specification and composition, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA  [doi>10.1145/511446.511456]

15

H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In Proc. the 18th IEEE Int. Conf. on Automated Software Engineering Conference (ASE 2003), 2003.

16

X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proc. Int. Conf. on Implementation and Application of Automata (CIAA), 2003.

17

Xiang Fu , Tevfik Bultan , Jianwen Su, Analysis of interacting BPEL web services, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA  [doi>10.1145/988672.988756]

18

F. Gandon and N. Sadeh. A semantic eWallet to reconcile privacy and context awareness. In Proc. 2nd Int. Semantic Web Conf. (ISWC), Florida, October 2003.

19

M. Grüninger. Applications of PSL to semantic web services. In Proc. of SWDB'03, 1st Int. Workshop on Semantic Web and Databases, 2003.

20

John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990

21

Richard Hull , Michael Benedikt , Vassilis Christophides , Jianwen Su, E-services: a look behind the curtain, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-14, June 09-11, 2003, San Diego, California  [doi>10.1145/773153.773154]

22

Orna Kupferman , Moshe Y. Vardi, Synthesizing Distributed Systems, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, p.389, June 16-19, 2001

23

Shiyong Lu , Arthur J. Bernstein, Semantic correctness of transactions and workflows, 2002

24

S. McIlraith and T. Son. Adapting Golog for composition of semantic web services. In Proc. the 8th Int. Conf. on Knowledge Representation and Reasoning (KR2002), 2002.

25

Sheila A. McIlraith , Tran Cao Son , Honglei Zeng, Semantic Web Services, IEEE Intelligent Systems, v.16 n.2, p.46-53, March 2001  [doi>10.1109/5254.920599]

26

Robin Milner, Communicating and mobile systems: the &pgr;-calculus, Cambridge University Press, New York, NY, 1999

27

Srini Narayanan , Sheila A. McIlraith, Simulation, verification and automated composition of web services, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA  [doi>10.1145/511446.511457]

28

Nicola Onose , Jerome Simeon, XQuery at your web service, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA  [doi>10.1145/988672.988754]

29

A. Pnueli and R. Rosner. Distributed reactive systems are hard to synthesize. In Proc. IEEE Symp. on Foundations of Computer Science, 1990.

30

Knowlege in action: logical foundations for specifying and implementing dynamical systems, MIT Press, Cambridge, MA, 2001

31

Munindar P. Singh, Semantical Considerations on Workflows: An Algebra for Intertask Dependencies, Proceedings of the Fifth International Workshop on Database Programming Languages, p.5, September 06-08, 1995

32

PSL Standards Group. http://ats.nist.gov/psl/.

33

W. M. P. van der Aalst, On the automatic generation of workflow processes based on product structures, Computers in Industry, v.39 n.2, p.97-111, July 1999  [doi>10.1016/S0166-3615(99)00007-X]

Alin Deutsch , Monica Marcus , Liying Sui , Victor Vianu , Dayou Zhou, A verifier for interactive, data-driven web applications, Proceedings of the 2005 ACM SIGMOD international conference on Management of data, June 14-16, 2005, Baltimore, Maryland

Christian Skalka , X. Sean Wang, Trust but verify: authorization for web services, Proceedings of the 2004 workshop on Secure web service, p.47-55, October 29-29, 2004, Fairfax, Virginia

S. Conery , M. Catchen , Michael Lynch, Rule-based workflow management for bioinformatics, The VLDB Journal — The International Journal on Very Large Data Bases, v.14 n.3, p.318-329, September 2005

Alin Deutsch , Liying Sui , Victor Vianu , Dayou Zhou, Verification of communicating data-driven web services, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 26-28, 2006, Chicago, IL, USA

Kuo-Ming Chao , Muhammad Younas , Nathan Griffiths, BPEL4WS-based coordination of Grid Services in design, Computers in Industry, v.57 n.8, p.778-786, December 2006

Cagdas E. Gerede , Oscar H. Ibarra , Bala Ravikumar , Jianwen Su, Minimum-cost delegation in service composition, Theoretical Computer Science, v.409 n.3, p.417-431, December, 2008

Kun Yue , Weiyi Liu , Xiaoling Wang , Aoying Zhou , Jin Li, Discovering semantic associations among Web services based on the qualitative probabilistic network, Expert Systems with Applications: An International Journal, v.36 n.5, p.9082-9094, July, 2009

Victor Vianu, Automatic verification of database-driven systems: a new frontier, Proceedings of the 12th International Conference on Database Theory, March 23-25, 2009, St. Petersburg, Russia

Mauricio Chui Rodrigues , Simon Malkowski , João Eduardo Ferreira, Implementing rigorous web services with process algebra: navigation plan for web services, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii

Richard Hull: colleagues

Jianwen Su: colleagues