Skip to main content
Log in

Automatic Composition of Heterogeneous Models Based on Semantic Web Services

International Journal of Parallel Programming Aims and scope Submit manuscript

Abstract

As an important function of a distributed decision support system, model composition aims to aggregate model functions to solve complex decision problems. Most existing methods on model composition only apply to the models which have the same type of input and output data so that they can be linked together directly. Those methods are inadequate for the heterogeneous models, since a heterogeneous model may have different types of input and output data that are represented in either qualitative or quantitative manner. This paper aims to address the problem of heterogeneous model composition by employing the techniques based on semantic web services and artificial intelligence planning. In this paper, the heterogeneous model composition problem is converted to the problem of planning in nondeterministic domains under partial observability. An automatic composition method is presented to generate the composite model based on the planning as model checking technique. The experiment results are also presented in this paper to show the feasibility and capability of our approach in dealing with the complex problems involving heterogeneous models.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11

Notes

  1. The Protégé Ontology Editor and Knowledge Acquisition System: http://protege.stanford.edu/.

  2. Eclipse platform: http://www.eclipse.org/.

  3. Apache Tomcat: http://tomcat.apache.org/.

  4. Apache Axis2: http://axis.apache.org/axis2/java/core/.

  5. WebSphere ILOG JRules: http://www-01.ibm.com/software/integration/business-rule-management/jrules/.

  6. NuPDDL: http://mbp.fbk.eu/NuPDDL.html.

References

  1. Krishnan, R., Chari, K.: Model management: survey, future research directions and a bibliography. Interact. Trans. OR/MS 3(1) (2000). http://www.informs.org/Pubs/ITORMS/Archive/Volume-3/No.-1-Krishnan-and-Chari

  2. Deokar, A.V., El-Gayar, O.F.: Enabling distributed model management using semantic Web technologies. In: 42nd Hawaii International Conference on System Sciences, 2009 (HICSS ’09), 5–8 Jan. 2009, pp. 1–9

  3. Madhusudan, T.: A web services framework for distributed model management. Inf, Syst. Frontiers 9(1), 9–27 (2006). doi:10.1007/s10796-006-9015-2

    Article  Google Scholar 

  4. Chari, K.: Model composition in a distributed environment. Decis. Support Syst. 35(3), 399–413 (2003). doi:10.1016/s0167-9236(02)00116-1

    Article  Google Scholar 

  5. Madhusudan, T., Uttamsingh, N.: A declarative approach to composing web services in dynamic environments. Decis. Support Syst. 41(2), 325–357 (2006). doi:10.1016/j.dss.2004.07.003

    Article  Google Scholar 

  6. Karakoc, E., Senkul, P.: Composing semantic Web services under constraints. Expert Syst. Appl. 36(8), 11021–11029 (2009). doi:10.1016/j.eswa.2009.02.098

    Article  Google Scholar 

  7. Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for Web service composition using SHOP2. Web Semant.: Sci. Serv. Agents World Wide Web 1(4), 377–396 (2004). doi:10.1016/j.websem.2004.06.005

    Article  Google Scholar 

  8. Tang, X., Jiang, C., Zhou, M.: Automatic Web service composition based on Horn clauses and Petri nets. Expert Syst. Appl. 38(10), 13024–13031 (2011). doi:10.1016/j.eswa.2011.04.102

    Article  Google Scholar 

  9. Yeung, W.L.: A formal and visual modeling approach to choreography based web services composition and conformance verification. Expert Syst. Appl. 38(10), 12772–12785 (2011). doi:10.1016/j.eswa.2011.04.068

    Article  Google Scholar 

  10. Panakkat, A., Adeli, H.: Recent efforts in earthquake prediction (1990–2007). Nat. Hazards Rev. 9(2), 70–80 (2008)

    Article  Google Scholar 

  11. Cicerone, R.D., Ebel, J.E., Britton, J.: A systematic compilation of earthquake precursors. Tectonophysics 476(3–4), 371–396 (2009). doi:10.1016/j.tecto.2009.06.008

    Article  Google Scholar 

  12. Geng, Q.: The “seismic drought” Connection in China. Ocean Press, Beijing (1985)

    Google Scholar 

  13. McIlraith, S.A., Son, T.C., Honglei, Z.: Semantic Web services. IEEE Intell. Syst. 16(2), 46–53 (2001). doi:10.1109/5254.920599

    Article  Google Scholar 

  14. McIlraith, S.A., Martin, D.L.: Bringing semantics to Web services. IEEE Intell. Syst. 18(1), 90–93 (2003). doi:10.1109/mis.2003.1179199

    Article  Google Scholar 

  15. Chandrasekaran, B., Josephson, J.R., Benjamins, V.R.: What are ontologies, and why do we need them? IEEE Intell. Syst. Their Appl. 14(1), 20–26 (1999)

    Article  Google Scholar 

  16. Bechhofer, S., Harmelen, F.v., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004). http://www.w3.org/TR/2004/REC-owl-ref-20040210/

  17. Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic Markup for Web Services (2004). http://www.w3.org/Submission/OWL-S/

  18. Cimatti, A., Giunchiglia, E., Giunchiglia, F., Traverso, P.: Planning via model checking: a decision procedure for AR. In: Steel, S., Alami, R. (eds.) vol. 1348. Lecture Notes in Computer Science, pp. 130–142. Springer, Berlin (1997)

  19. Cimatti, A., Roveri, M., Traverso, P.: Automatic OBDD-based generation of universal plans in non-deterministic domains. Paper Presented at the Proceedings of the Fifteenth National/Tenth Conference on Artificial Intelligence/Innovative Applications of Artificial Intelligence, Madison, WI, USA

  20. Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147(1–2), 35–84 (2003). doi:10.1016/s0004-3702(02)00374-0

    Article  MATH  MathSciNet  Google Scholar 

  21. Cimatti, A., Roveri, M.: Conformant planning via model checking. In: Biundo, S., Fox, M. (eds.) vol. 1809. Lecture Notes in Computer Science, pp. 21–34. Springer, Berlin (2000)

  22. Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a model based planner. In: IJCAI-2001 Workshop on Planning Under Uncertainty and Incomplete Information, pp. 93–97 (2001)

  23. Traverso, P., Pistore, M.: Automated composition of semantic Web services into executable processes. In: McIlraith, S., Plexousakis, D., van Harmelen, F. (eds.) vol. 3298. Lecture Notes in Computer Science, pp. 380–394. Springer, Berlin (2004)

  24. Marconi, A., Pistore, M., Poccianti, P.: Automated Web service composition at work: the Amazon/MPS case study. In: IEEE International Conference on Web Services, 2007 (ICWS 2007), 9–13 July 2007, pp. 767–774 (2007)

  25. Bertoli, P., Pistore, M., Traverso, P.: Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174(3–4), 316–361 (2010). doi:10.1016/j.artint.2009.12.002

    Article  MathSciNet  Google Scholar 

  26. Liang, T-p: Development of a knowledge-based model management system. Oper. Res. 36(6), 849–863 (1988). doi:10.1287/opre.36.6.849

    Article  Google Scholar 

  27. Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Strong planning under partial observability. Artif. Intell. 170(4–5), 337–384 (2006). doi:10.1016/j.artint.2006.01.004

    Article  MATH  MathSciNet  Google Scholar 

  28. Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Int. Res. 20(1), 61–124 (2003)

    MATH  Google Scholar 

  29. Rintanen, J.: Complexity of planning with partial observability. Paper Presented at the Proceedings of ICAPS 2004

Download references

Acknowledgments

This work is jointly supported by National Natural Science Foundations of China (No. 60903174, 61142010), the Fundamental Research Funds for the Central Universities, HUST: 2012QN087, 2012QN088, the Fund of Key Lab for Image Processing and Intelligent Control (20093) and the Leverhulme Trust (Grant No. RPG-101).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hui Huang.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Huang, H., He, L., Chen, X. et al. Automatic Composition of Heterogeneous Models Based on Semantic Web Services. Int J Parallel Prog 43, 339–358 (2015). https://doi.org/10.1007/s10766-013-0279-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10766-013-0279-0

Keywords

Navigation