Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Suggested Additional Reading
Monika Solanki and Antonio Cau and Hussein Zedan. Introducing Compositionality in Web Service Descriptions. In Proceedings of the 10th International Workshop on Future Trends in Distributed Computing Systems-FTDCS 2004, Suzhou, China, May 26–28 2004. IEEE Computer Society Press.
Antonio Cau. ITL and (Ana)Tempura Home page on the web. http://www.cse.dmu.ac.uk/~lcau/itlhomepage/itlhomepage.html.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
B. Moszkowski. Executing temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986.
References
F. Bry and S. Spranger (2003). Temporal constructs for a web language.
A. Cau, (2005). ITL and (Ana)Tempura Home page on the web. http://www.cse.dmu.ac.uk/~cau/itlhomepage/itlhomepage.html.
Antonio Cau and Hussein Zedan (1997). Refining interval temporal logic specifications. In ARTS, pages 79–94, 1997.
Roberto Chinnic, Hugo Haas, Amy Lewis, Jeans Jacque Moreau, David Orchard, and Sanjiva Weerawarana (2005). Web services description language (WSDL) version 2.0 part 1: Core language w3c working draft 3rd August, 2005. http://www.w3.org/TR/2005/WDwsd120-20050803/.
W.P. de Roever (1985). The quest for compositionality a survey of assertion based proof systems for concurrent programs. In Neuhold EJ, editor, Proc of the IFIP conference: the role of abstract models in computer science,, Vienna. North Holland, Amsterdam.
W. P. de Roever et al (2001). Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge University Press, Cambridge, England, 2001.
E. W. Dijkstra (1965). Solution of a problem in concurrent programming control. Commun. ACM, 8(9):569.
E. W. Dijkstra (1976). A Discipline of Programming. PrenticeHall.
Jurgen Dinge (2000). Systematic parallel programming. PhD thesis, Carnegie Mellon University.
Frank Leymann, IBM Software Group. Web Services Flow Language (WSFL) Version 1.0, 2001.
Drew McDermott and Dejing Dou (2002). Representing Disjunction and Quantifiers in RDF Embedding Logic in DAML./RDF. In ISWC2002. 1st International Semantic Web Conference, 2002.
E.M. Clarke and 0. Grumberg, and D. A. Peled (1999). Model Checking. The MIT Press, Cambridge, Massachusetts.
R. W. Floyd. Assigning meaning to programs (1967). In Symposium in Applied Mathematics, volume 19, pages 19–31. American Mathematical Society, 1967.
Martin Gudgin, Marc Hadley, Noah Mendelsohn, JeanJacques Moreau, and Henrik Frystyk Nielsen (2003). SOAP Version 1.2 Part 1: Messaging Framework W3C Recommendation 24 June, http://www.w3.org/TR/soap12partl/.
On the development of reactive systems, pages 477–498. SpringerVerlag New York, Inc., New York, NY, USA.
D. Harel and M. Politi.(1998). Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGrawHill.
The Rule Markup Initiative. http://www.dfki.unikl.de/ruleml/.
C.A.R Hoare. An axiomatic basis for computer programming. Comm. ACM, 12 (1969) 576–580,583, 1969.
Ian Horrocks, Peter F. PatelSchneider, Harold Boley, Said Tabet, Benjamin Grosof, Mike Dean (2003). SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Technical report, University of Manchester, Version 0.5 of 19 November.
M Imperato (1991). An introduction to Z. ChartwellBratt, 1991.
Z. Manna and A. Pnueli (1991). The Temporal Logic of Reactive and Concurrent Systems: Specification. SpringerVerlag, New York.
Zohar Manna and Amir Pnueli.(1993) Models for reactivity. Acta Inf., 30(7):609–678.
Mike Dean and Guus Schreiber (eds.) 2004. OWL Web Ontology Language Reference, 10 February 2004. http://www.w3.org/TR/owlref/.
J. Misra and K.M. Chandy (1981). Proofs of networks of processes. In IEEE Transactions on Software Engineering, volume 7(7):417426.
Monika Solanki and Antonio Cau and Hussein Zedan (2003). Introducing compositionality in Webservice Descriptions. In Proceedings of the 3rd International Anwire Workshop on Adaptable Service Provision, Paris, France, 2003. SpringerVerlag.
Monika Solanki and Antonio Cau and Hussein Zedan (2004). Introducing Compositionality in Web Service Descriptions. In Proceedings of the 10th International Workshop on Future Trends in Distributed Computing Systems FTDCS 2004, Suzhou, China, May, 2004. IEEE Computer Society Press.
B Moszkowski (1983). Reasoning about Digital Circuits. PhD thesis, Department of Computer Science, Stanford University
B. Moszkowski (1986). Executing temporal Logic Programs. Cambridge University Press, Cambridge, England.
B. Moszkowski (1994). Programming Concepts, Methods and Calculi, IFIP Transactions, A-56., Some Very Compositional Temporal Properties, pages 307–326. Elsevier Science, B. V., North Holland, 1994.
B. Moszkowski (1995). Compositional reasoning about projected and infinite time. In Proceedings of the First IEEE Int’l Conf, on Engineering of Complex Computer Systems (ICECCS195). In, pages 238245. IEEE Computer Society Press.
B. Moszkowski (1995). A temporal logic for multilevel reasoning about hardware. IEEE Computer, pages 10–19.
B. Moszkowski (1996). Compositionality: The Significant Difference, volume 1536 of LNCS, chapter Compositional reasoning using Interval Temporal Logic and Tempura, pages 439–464. Springer Verlag, Berlin, 1996.
B. Moszkowski (1996). Using temporal fixpoints to compositionally reason about liveness. In He Jifeng, John Cooke, and Peter Wallis, editors, BCSFACS 7th Refinement Workshop, electronic Workshops in Computing. “SpringerVerlag and British Computer Society”, London.
Nickolas Kavantzas, David Burdett, Gregory Ritzinger, Tony Fletcher, Yves Lafon (2004).Web Services Choreography Description Language Version 1.0: W3C Working Draft 17 December.
Feng Pan and Jerry R. Hobbs (2004). Time in OWLS. In Proceedings of AAAI Spring Symposium Series on Semantic Web Services, 2004.
P. K. Pandya (1990). Some comments on the assumption commitment framework for compositional verification of distributed programs. In REX workshop: Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness, pages 622–640, New York, NY, USA. SpringerVerlag New York, Inc.
Satish Thatte. XLANG: Web Services for Business Process Design, 2002. Amazon Web Service. www.amazon.com.
Monika Solanki. (2005) A Graphical representation of Class Hierarchies in the ITLTempura Ontology. http://www.cse.dmu.ac.uk/~monika/TeSCOS/OntoITL.jpg.
Monika Solanki. (2005) An Ontology for ITL and Tempura. http://www.cse.dmu.ac.uk/~inonika/TeSCOS/OntoITL.owl.
Monika Solanki, Antonio Cau, and Hussein Zedan (2004). Augmenting semantic web service descriptions with compositional specification. In Proceedings of the 13th international conference on World Wide Web, pages 544–552. ACM Press.
J. Michael Spivey (1996). Richer types for Z. Formal Asp. Comput., 8(5):565–584, 1996.
The Protégé ontology editor and knowledge acquisition system. http://Protégé.stanford.edu/index.html.
Ketil Stolen (1990). Development of parallel programs on shared datastructures. Technical report, Department of Computer Science, University of Manchester.
Kim Sunesen (1998). Reasoning about Reactive Systems. PhD thesis, BRICS, Department of Computer Science University of Aarhus.
The OWL-S Coalition, (2004). OWLS 1.1 Release, http://www.daml.org/services/owlsll.0/.
Tony Andrews et al. (2003) Business Process Execution Language for Web Services, Version 1.1, 2003. http://wwwl06.ibm.com/developerworksl/library/wsbpel/.
Web Service Modelling Ontology, (2004). http://www.wsmo.org.
R. J. Wieringa (2003). Design Methods for Reactive Systems. MorganKaufmann: Elsevier Science, San Francisco.
Qiwen Xu and Mohalik Swarup, (1998). Compositional reasoning using the assumptioncommitment paradigm. Lecture Notes in Computer Science, 1536:565–583.
Cau A. Xu Q. W. and Collette P (1994). On unifying assumptioncomrnitment style proof rules for concurrency. In B. Jonsson and Eds. J. Parrow, editors, In CONCUR’94, LNCS 836.
Shikun Zhou (2003). Compositional Framework for the Guided Evolution of Timecritical Systems. PhD thesis, Software Technology Research Laboratory, De Montfort University UK.
J. Zwiers (1989). Compositionality, concurrency and partial correctness. SpringerVerlag New York, Inc., New York, NY, USA.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer Science+Business Media
About this chapter
Cite this chapter
Solanki, M., Cau, A., Zedan, H. (2006). Temporal Reasoning Of Reactive Web Services. In: Cardoso, J., Sheth, A.P. (eds) Semantic Web Services, Processes and Applications. Semantic Web and Beyond, vol 3. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34685-4_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-34685-4_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-30239-3
Online ISBN: 978-0-387-34685-4
eBook Packages: Computer ScienceComputer Science (R0)