Skip to main content
SpringerLink
Log in

Towards Formalization of Ontological Descriptions of Services Interfaces in Services Systems Using CL

  • Conference paper
Advances in Computing and Information Technology (ACITY 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 198))

  • 1743 Accesses

Abstract

With the advent of semantic technologies, the Internet is moving from Web 2.0 to Web 3.0. Social Networks, Semantic Web, Blogs, etc are all components of Web 3.0. In this paper, we intend to formally represent the description of the service systems proposed by expressing the constraints and capabilities of the system in standards-based language; Common Logic. We translate and represent the WSML ontology, web-services, relations, axioms and other entity metadata descriptions of the system in ISO Common Logic. Also, the temporal constraints of the system discussed are represented using service policies. The extended service policies (WS-Policy Language) are discussed for representing the temporal constraints of the system.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. International Standards Office, ISO 24707/2007 Information Technology - Common Logic (CL): a framework for a family of logic-based languages. ISO, Geneva (2007), http://www.iso.org/iso/catalogue_detail.htm?csnumber=39175

  2. Menzel, C.: Common Logic - Motivations and Some Gentle Theory. Presentation delivered at Semtech 2008 Workshop (2008), http://www.cl.tamu.edu/

  3. International Standards Office, ISO 14977/1996 Information Technology – Syntactic Metalanguage – Extended BNF. ISO, Geneva (2007), http://www.iso.org/iso/catalogue_detail.htm?csnumber=26153

  4. Wang, H. H., Saleh, A., Payne, T., Gibbins, N.: Formal Specification of OWL-S with Object-Z. In: Proceedings of the First ESWC Workshop on OWL-S: Experiences and Future Directions, Austria (2007)

    Google Scholar 

  5. Wang, H.H., Saleh, A., Payne, T., Gibbins, N.: Formal Specification of OWL-S with Object-Z: the Static Aspect. In: Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence, pp. 431–434. IEEE Press, New York (2007)

    Google Scholar 

  6. Corcho, Ó., Gómez Pérez, A.: A Roadmap to Ontology Specification Languages. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 80–96. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  7. Roman, D., Kifer, M., Fensel, D.: WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 659–673. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Wang, H.H., Gibbins, N., Payne, T., Sun, J.: A Formal Model of Semantic Web Service Ontology (WSMO) Execution. In: Proceedings of 13th IEEE International Conference on Engineering of Complex Computer Systems, pp. 111–120. IEEE Press, New York (2008)

    Google Scholar 

  9. Wang, H.H., Gibbins, N., Payne, T., Sun, J.: A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). In: Proceedings of 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 74–86. IEEE Press, New York (2007)

    Google Scholar 

  10. Roman, D., Lausan, H., Keller, U., Oren, E., Busseler, C., Kifer, M., Fensel, D.: D2v1.0. Web Service Modeling Ontology (WSMO), http://www.wsmo.org/2004/d2/v1.0/

  11. Steinmetz, N., Toma, I. (eds.) D16.1v1.0 WSML Language Reference (2008), http://www.wsmo.org/TR/d16/d16.1/v1.0/

  12. Vedamuthu, A. S., Orchard, D., Hirsch, F., Hondo, M., Yendluri, P., Boubez, T., Yalcinalp, U.: Web Services Policy 1.5 – Framework. W3C Recommendation (2007), http://www.w3.org/TR/ws-policy/

  13. IBM developerWorks, Web Services Policy Framework, http://www.ibm.com/developerworks/library/specification/ws-polfram/

  14. Andrieux, A., et al.: Web Services Agreement Specification (WS-Agreement), http://www.ogf.org/documents/GFD.107.pdf

  15. Bhandari, A., Singh, M.: Formal Description of Services Interfaces of SMAL Services in Services Computing Environment. In: 2011 International Conference on Network Communication and Computer, pp. 58–62 (2011)

    Google Scholar 

  16. Bhandari, A., Singh, M.: Towards Ontology-based Services Interfaces in Services Systems based Environment. International Journal of Computer Applications 15(6), 19–24 (2011)

    Article  Google Scholar 

  17. Mathes, M., Heinzl, S., Freisleben, B.: WS-TemporalPolicy: A WS-Policy extension for Describing Service Properties with Time Constraints. In: Annual IEEE International Computer Software and Applications Conference, pp. 1180–1186. IEEE Press, New York (2008)

    Google Scholar 

  18. Heinzl, S., Seiler, D., Juhnke, E., Freisleben, B.: Exposing Validity Periods of Prices for Resource Consumption to Web Service Users via Temporal Policies. In: Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services, pp. 235–242. ACM Press, New York (2009)

    Google Scholar 

  19. Tosic, V., Erradi, A., Maheshwari, P.: WS-Policy4MASC – A WS-Policy Extension Used in the MASC Middleware. In: Proceedings of the 2007 IEEE International Conference on Services Computing, pp. 458–465. IEEE Press, New York (2007)

    Google Scholar 

  20. Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., Jmaiel, M.: Specifying and Monitoring Temporal Properties in Web services Compositions. In: Proceedings of the Seventh IEEE European Conference on Web Services, pp. 148–157. IEEE Press, New York (2009)

    Chapter  Google Scholar 

  21. Microsoft Technet, Understanding Office Web Apps (Installed on SharePoint 2010 Products) (2010), http://technet.microsoft.com/en-gb/library/ff431685.aspx

  22. Kerrigan, M.: D9.1v0.2 Web Service Modeling Toolkit (WSMT), http://www.wsmo.org/TR/d9/d9.1/v0.2/20050425/

Download references

Author information

Authors and Affiliations

  1. Department of Computer Sc & Engg, RIMT-MAEC, Mandi Gobindgarh, Punjab, India

    Amit Bhandari

  2. UCOE, Punjabi University, Patiala, Punjab, India

    Manpreet Singh

Authors
  1. Amit Bhandari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manpreet Singh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Southeastern Louisiana University, 70402, Hammond, LA, USA

    David C. Wyld

  2. Chair of Systems and Computer Networks, Wroclaw University of Technology, Wybrzeze Wyspianskiego 27, 50-370, Wroclaw, Poland

    Michal Wozniak

  3. University of Calcutta, Calcutta, India

    Nabendu Chaki

  4. Jackson State University Jackson, 39217, MS, USA

    Natarajan Meghanathan

  5. Wireilla Net Solutions PTY Ltd, Melbourne, Victoria, Australia

    Dhinaharan Nagamalai

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bhandari, A., Singh, M. (2011). Towards Formalization of Ontological Descriptions of Services Interfaces in Services Systems Using CL. In: Wyld, D.C., Wozniak, M., Chaki, N., Meghanathan, N., Nagamalai, D. (eds) Advances in Computing and Information Technology. ACITY 2011. Communications in Computer and Information Science, vol 198. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22555-0_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22555-0_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22554-3

  • Online ISBN: 978-3-642-22555-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation