Skip to main content
SpringerLink
Log in

Temporal Logical-Based Web Services Architecture Description

  • Conference paper
Grid and Cooperative Computing - GCC 2005 (GCC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3795))

Included in the following conference series:

Abstract

The formalized definitions about service and service-oriented architecture were proposed on the basis of the temporal logical language XYZ/E. The whole web services architecture and the stepwise refinement process were formally described, where the web service architecture could be divided into four sub-processes to be concretely realized by stepwise refinement programming. In addition, the liveness and the security of system also had a semantic characteristic of composition during the process of service refinement under this architecture, which is described by XYZ/ADL language to provide a formalized foundation in theory for web service reusing and composition.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ogbuji, U.: The Past, Present and Future of Web Services, http://www.webservices.org/index.php/article/articleview/663/

  2. Zhang, G.Q., Sun, M.: Comparison and Analysis of Temporal Logic. Journal of YUZHOU University (Nat. Scien. Edit) 16(2), 15–18 (1999) (in Chinese)

    Google Scholar 

  3. Zhu, X.Y., Tang, Z.S.: A temporal logic-based software architecture description language XYZ/ADL. Journal of Software 14(4), 713–720 (2003) (in Chinese)

    MATH  MathSciNet  Google Scholar 

  4. Tang, Z.S., et al.: Temporal Logic Programming and Software Engineering. Science Press, Beijing (1999/2002) (in Chinese)

    Google Scholar 

  5. Guo, L., Tang, Z.S.: An Overview Towards the Semantics of XYZ/E Object-Oriented Programs. Journal of Software 14(3), 356–361 (2003) (in Chinese)

    Google Scholar 

  6. Griss, M.L.: Architecting for large-scale systematic component reuse. In: Proceedings of the 1999 International Conference on Software Engineering, May 1999, pp. 615–616 (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Automation, Tsinghua University, Beijing, 100084, China

    Yuan Rao

  2. UFIDA Software Co. Ltd., Beijing, 100085, China

    Yuan Rao

Authors
  1. Yuan Rao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. China Knowledge Grid Research Group, Key Lab of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, 100080, Beijing, China

    Hai Zhuge

  2. Community Grids Lab, Indiana University Bloomington,  

    Geoffrey C. Fox

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rao, Y. (2005). Temporal Logical-Based Web Services Architecture Description. In: Zhuge, H., Fox, G.C. (eds) Grid and Cooperative Computing - GCC 2005. GCC 2005. Lecture Notes in Computer Science, vol 3795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11590354_31

Download citation

  • DOI: https://doi.org/10.1007/11590354_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-30510-1

  • Online ISBN: 978-3-540-32277-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation