Skip to main content
SpringerLink
Log in

Event Calculus-Based Adaptive Services Composition Policy for AmI Systems

  • Conference paper
Active Media Technology (AMT 2012)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7669))

Included in the following conference series:

  • 2287 Accesses

Abstract

Services composition technology which is used in Ambient Intelligence should have the features of context-aware, partial order and concurrent. It should adaptive to the dynamic change of user preference and context. To meet these requirements, the paper puts forward an adaptive dynamic services composition framework and its implementation mechanism based on event calculus. It studies the basic principles and technologies for descripting domain services, context information and domain rules based on event calculus. On the basis, it details the composition planning mechanism. At last, a prototype system, intelligence application control, is built to verify the effectiveness and availability of the services composition policy.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Chen, R., Hou, Y., Huang, Z., He, J.: Modeling the ambient intelligence application system: concept, software, data, and network. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 39(3), 299–314 (2009)

    Article  Google Scholar 

  2. Lindenberg, J., Pasman, W., Kranenborg, K., et al.: Improving service matching and selection inubiquitous computing environments: a user study. Personal Ubiquitous Computing 11(1), 59–68 (2006)

    Article  Google Scholar 

  3. Benazzouz, Y., Sabouret, N., Chikhaoui, B.: Dynamic Service Composition in Ambient Intelligence Environment. In: 2009 IEEE International Conference on Services Computing, pp. 411–418 (2009)

    Google Scholar 

  4. Martin, D., Burstein, M., et al.: OWL-S: Semantic Markup for Web Services (2010), http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/.5.10

  5. Medjahed, B., Bouguettaya, A., Elmagarmid, A.: Composing web services on the semantic web. The VLDB Journal 12(4), 333–351 (2003)

    Article  Google Scholar 

  6. Shanahan, M.: An abductive event calculus planner. The Journal of Logic Programming 44, 207–239 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  7. Shanahan, M.: The Event Calculus Explained (June 10, 2011), http://www.doc.ic.ac.uk/~mpsha/ECExplained.pdf

  8. Kowalski, R.A., Sergot, M.J.: A Logic-Based Calculus of Events. New Generation Computing 4, 67–95 (1986)

    Article  Google Scholar 

  9. Shanahan, M.P.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press (1997)

    Google Scholar 

  10. Barros, L.N.D., Santos, P.E.: The nature of knowledge in an abductive event calculus planner. In: Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management, pp. 328–343. Springer, London (2000)

    Google Scholar 

  11. Shanahan, M.: The Event Calculus Explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  12. Okutan, C., Cicekli, N.K.: A monolithic approach to automated composition of semantic web services with the Event Calculus. Knowledge-Based Systems 23, 440–454 (2010)

    Article  Google Scholar 

  13. Ozorhan, E.K., Kuban, E.K., Cicekli, N.K.: Automated composition of web services with the abductive event calculus. Information Sciences 180(19), 3589–3613 (2010)

    Article  Google Scholar 

  14. Rouached, M., Perrin, O., Godart, C.: Towards Formal Verification of Web Service Composition. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 257–273. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  15. Rouached, M., Godart, C.: An event based model for web service coordination. In: Second International Conference on Web Information Systems and Technologies, pp. 81–88 (2006)

    Google Scholar 

  16. Aydın, O., Cicekli, N.K., Cicekli, I.: Automated Web Services Composition with the Event Calculus. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 142–157. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Ishikawa, F., Yoshioka, N., Honiden, S.: Developing consistent contractual policies in service composition. In: Proceedings of the Second IEEE Asia-Pacific Service Computing Conference, pp. 527–534 (2007)

    Google Scholar 

  18. Chen, L., Yang, X.: Applying AI planning to semantic web services for workflow generation. In: The First International Conference on Semantics, Knowledge and Grid, pp. 323–325 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Guangxi KeyLaboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, Guangxi, China

    Huibing Zhang, Jingwei Zhang & Junyan Qian

  2. Research Center on Data Science and Social Computing, Guilin University of Electronic Technology, Guilin, Guangxi, China

    Huibing Zhang, Jingwei Zhang & Ya Zhou

Authors
  1. Huibing Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jingwei Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ya Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Junyan Qian
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer and Information Sciences, Hosei University, 3-7-2, Kajino-cho, 184-8584, Koganei-shi, Tokyo, Japan

    Runhe Huang

  2. Faculty of Computer Science, University of New Brunswick, Box 440, E3B 5A3, Fredicton, NB, Canada

    Ali A. Ghorbani

  3. Department of Informatics, Systems and Communication, University of Milano Bicocca, Viale Sarca 336, 20126, Milano, Italy

    Gabriella Pasi

  4. Department of Administration Engineering, Keio University, 3-14-1 Hiyoshi, 223-8522, Kohoku-ku, Yokohama, Japan

    Takahira Yamaguchi

  5. University of Aizu, 102-C, Research Quadrangles, Tsuruga, Ikki-machi, 965-8580, Aizu-Wakamatsu City, Fukushima, Japan

    Neil Y. Yen

  6. Institute of Software, Chinese Academy of Sciences, no.4 Nan Sie Jie, Zhong Guan Cun, Hai Dian Qu, 100190, Beijing, China

    Beijing Jin

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, H., Zhang, J., Zhou, Y., Qian, J. (2012). Event Calculus-Based Adaptive Services Composition Policy for AmI Systems. In: Huang, R., Ghorbani, A.A., Pasi, G., Yamaguchi, T., Yen, N.Y., Jin, B. (eds) Active Media Technology. AMT 2012. Lecture Notes in Computer Science, vol 7669. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35236-2_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35236-2_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35235-5

  • Online ISBN: 978-3-642-35236-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation