DYNAMIC SERVICE COMPOSITION: A PETRI-NET BASED APPROACH

Michael Köhler, Daniel Moldt, Jan Ortmann

Abstract

Dynamic service composition requires a formal description of the services such that an agent can process these descriptions and reason about them. The amount of detail needed for an agent to grasp the meaning of a service may lead to clumsy specification. Petri nets offer a visual modeling technique for processes, that offers a refinement mechanism. Through this, a specification can be inspected on the level of detail needed for a given objective. In this paper we introduce a Petri net based approach to capture the semantics of services by combining Petri nets ideas from the description logic area focusing on ontologies. The resulting framework can than be used by agents to plan about activities involving services.

References

  1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P. F., editors (2002). Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (Mass.).
  2. B örger, E. and Stärk, R. (2003). Abstract State Machines - A Method for High-Level System Design and Analysis. Springer, Berlin et.al.
  3. Ehrig, H. and Mahr, B. (1985). Equations and initial semantics; Fundamentals of algebraic specification. EATCS Monographs on Theoretical Computer Science. Berlin.
  4. Genrich, H. J. (1986). Predicate/transition nets. In Brauer, W., Reisig, W., and Rozenberg, G., editors, Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, pages 207-247.
  5. Giunchiglia, F. and Traverso, P. (1999). Planning as model checking. In Biundo, S. and Fox, M., editors, ECP, volume 1809 of Lecture Notes in Computer Science, pages 1-20.
  6. Goguen, J. A. and Meseguer, J. (1992). Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theor. Comput. Sci., 105(2):217-273.
  7. Kindler, E., Martens, A., and Reisig, W. (2000). Interoperability of workflow applications: Local criteria for global soundness. In van der Aalst, W. M. P., Desel, J., and Oberweis, A., editors, Business Process Management, volume 1806 of Lecture Notes in Computer Science, pages 235-253.
  8. Köhler, M. and Ortmann, J. (2005). Formal aspects for semantic service modeling based on high-level petri nets. In Proceedings of the International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC) 2005.
  9. OWL Services Coalition (2005). OWL-S 1.1 Release. Technical report, ? www.daml.org/services/owl-s/1.1/.
  10. PROT ÓG Ó (2005). The protégé ontology editor and knowledge acquisition system. http://protege.stanford.edu/.
  11. Reisig, W. (1991). Petri nets and algebraic specifications. In Jensen, K. and Rozenberg, G., editors, High-level Petri Nets - Theory and Application, pages 137-170, Berlin, Heidelberg. Springer.
  12. Reisig, W., Schmidt, K., and Stahl, C. (2005). Kommunizierende workflow-services modellieren und analysieren. Informatik - Forschung und Entwicklung.
  13. RENEW (2005). RENEW - the reference net workshop. http://www.renew.de/. Provides references to programs, source code and documentation of the Renew tool set.
  14. Staab, S. and Studer, R., editors (2004). Handbook on Ontologies. International Handbooks on Information Systems.
  15. van der Aalst, W. M. P. (2003). Inheritance of interorganizational workflows: How to agree to disagree without loosing control? Inf. Tech. and Management, 4(4):345-389.
Download


Paper Citation


in Harvard Style

Köhler M., Moldt D. and Ortmann J. (2006). DYNAMIC SERVICE COMPOSITION: A PETRI-NET BASED APPROACH . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 978-972-8865-44-3, pages 159-165. DOI: 10.5220/0002494901590165


in Bibtex Style

@conference{iceis06,
author={Michael Köhler and Daniel Moldt and Jan Ortmann},
title={DYNAMIC SERVICE COMPOSITION: A PETRI-NET BASED APPROACH},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,},
year={2006},
pages={159-165},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002494901590165},
isbn={978-972-8865-44-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,
TI - DYNAMIC SERVICE COMPOSITION: A PETRI-NET BASED APPROACH
SN - 978-972-8865-44-3
AU - Köhler M.
AU - Moldt D.
AU - Ortmann J.
PY - 2006
SP - 159
EP - 165
DO - 10.5220/0002494901590165