Maurice H. ter Beek, Stefania Gnesi, Nora Koch & Franco Mazzanti (2008):
Formal verification of an automotive scenario in service-oriented computing.
In: Proceedings of the 30th international conference on Software engineering,
ICSE '08.
ACM,
New York, NY, USA,
pp. 613–622,
doi:10.1145/1368088.1368173.
Gerd Behrmann, Alexandre David & Kim Larsen (2004):
A Tutorial on UPPAAL.
In: Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems,
Lecture Notes in Computer Science 3185.
Springer Berlin / Heidelberg,
pp. 33–35,
doi:10.1007/978-3-540-30080-9_7.
Anind K. Dey (2001):
Understanding and Using Context.
Personal Ubiquitous Comput. 5,
pp. 4–7,
doi:10.1007/s007790170019.
Thomas Erl (2007):
SOA Principles of Service Design.
Prentice Hall PTR,
Upper Saddle River, NJ, USA.
Jesús Arias Fisteus, Luis Sánchez Fernández & Carlos Delgado Kloos (2005):
Applying model checking to BPEL4WS business collaborations.
In: Proceedings of the 2005 ACM symposium on Applied computing (SAC '05).
ACM,
New York, NY, USA,
pp. 826–830,
doi:10.1145/1066677.1066866.
Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David Rosenblum & Sebastian Uchitel (2007):
Model checking service compositions under resource constraints.
In: Proceedings of the ACM SIGSOFT symposium on the foundations of software engineering.
ACM,
New York, NY, USA,
pp. 225–234,
doi:10.1145/1287624.1287657.
Xiang Fu, Tevfik Bultan & Jianwen Su (2004):
Analysis of interacting BPEL web services.
In: Proceedings of the 13th international conference on World Wide Web.
ACM,
New York, NY, USA,
pp. 621–630,
doi:10.1145/988672.988756.
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis & Sergio Yovine (1994):
Symbolic model checking for real-time systems.
Information and Computation 111,
pp. 193–244,
doi:10.1006/inco.1994.1045.
Sebastian Hinz, Karsten Schmidt & Christian Stahl (2005):
Transforming BPEL to Petri Nets.
In: Proceedings of the International Conference on Business Process Management (BPM2005), volume 3649 of Lecture Notes in Computer Science.
Springer-Verlag,
pp. 220–235,
doi:10.1007/11538394_15.
Naseem Ibrahim, Vangalur Alagar & Mubarak Mohammad (March 2011):
A Formal Approach to Specification and Verification of Context-dependent Services..
Technical Report ACTS-SOA-11-02.
Department of Computer Science and Software Engineering, Concordia University,
Montreal, Canada.
Available at http://users.encs.concordia.ca/ñ_ibrah/ACTS-SOA-1102.pdf.
Naseem Ibrahim, Mubarak Mohammad & Vangalur Alagar (2011):
An Architecture for Managing and Delivering Trustworthy Context-dependent Services.
In: the 8th IEEE International Conference on Services Computing (SCC2011).
IEEE Computer Society,
Washington, DC, USA.
Naseem Ibrahim, Mubarak Mohammad & Vangalur Alagar (February 2011):
Managing Services for Trustworthy Context-dependent Delivery..
Technical Report ACTS-SOA-11-01.
Department of Computer Science and Software Engineering, Concordia University,
Montreal, Canada.
Available at http://users.encs.concordia.ca/ñ_ibrah/TR2011-v1.pdf.
David Kitchin, Adrian Quark, William R. Cook & Jayadev Misra (2009):
The Orc Programming Language.
In: David Lee, Antónia Lopes & Arnd Poetzsch-Heffter: Proceedings of FMOODS/FORTE 2009,
Lecture Notes in Computer Science 5522.
Springer,
pp. 1–25,
doi:10.1007/978-3-642-02138-1_1.
Ben Margolis (2007):
SOA for the Business Developer: Concepts, BPEL, and SCA.
Mc Press.
Mubarak Mohammad & Vangalur Alagar (2011):
A formal approach for the specification and verification of trustworthy component-based systems.
J. Syst. Softw. 84,
pp. 77–104,
doi:10.1016/j.jss.2010.08.048.
Justin O’Sullivan (2007):
Towards a Precise Understanding of Service Properties.
Phd thesis.
Queensland University of Technology,
Brisbane, Australia.
Mohsen Rouached & Claude Godart (2007):
Requirements-driven Verification of WSBPEL Processes.
In: IEEE International Conference on Web Services, ICWS2007,
pp. 354–363,
doi:10.1109/ICWS.2007.153.
Haiyan Sun, Xiaodong Wang, Bin Zhou & Peng Zou1 (2003):
Research and Implementation of Dynamic Web Services Composition.
In: Xingming Zhou, Stefan Jähnichen, Ming Xu & Jiannong Cao: Advanced Parallel Processing Technologies, 5th InternationalWorkshop, APPT 2003,
Lecture Notes in Computer Science 2834.
Springer-Verlag,
pp. 457–466,
doi:10.1007/978-3-540-39425-9_54.
Kaiyu Wan (2006):
Lucx: Lucid Enriched with Context.
Phd thesis.
Concordia University,
Montreal, Canada.
Kaiyu Wan & Vasu Alagar (2008):
An Intensional Functional Model of Trust.
In: Yucel Karabulut, John Mitchell, Peter Herrmann & Christian Jensen: Trust Management II,
IFIP Advances in Information and Communication Technology 263.
Springer Boston,
pp. 69–85,
doi:10.1007/978-0-387-09428-1_5.
Kaiyu Wan, Mubarak Muhammad & Vasu Alagar (2009):
A Formal Model of Business Application Integration from Web Services.
In: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science,
SOFSEM '09.
Springer-Verlag,
Berlin, Heidelberg,
pp. 656–667,
doi:10.1007/978-3-540-95891-8_58.
WS-CDL:
Web Services Choreography Description Language Version 1.0.
W3C Candidate Recommendation. November, 2005..
Available at http://www.w3.org/TR/ws-cdl-10/.
eptcs@eptcs.org