research-article

Exploiting web service techniques for composing simulation models

Authors:

Florian Marquardt,

Adelinde M. UhrmacherAuthors Info & Claims

WSC '07: Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come

Pages 833 - 841

Published: 09 December 2007 Publication History

Abstract

Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling formalism or the component is a simulation system wrapping the actual model implementation. Model-based approaches mainly provide user-friendly means for modular-hierarchical construction of complex models but come with limited capabilities for compositional reasoning. Simulation-based composition approaches explicitly distinguish between interface descriptions and model implementations and thereby facilitate a reasoning about compositions based solely on publicized interfaces descriptions. However, compositional reasoning about interoperability at the conceptual level and on overall model validity is currently not very elaborated. This paper takes a closer look at web services technologies and discusses how to adapt them to the problem of model composition.

References

[1]

Andrews, T., F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. 2003, May. Business process execution language ofr web services.

[2]

Balci, O., R. E. Nance, J. D. Arthur, and W. F. Ormsby. 2002. Expanding our horizons in verification, validation, and accreditation research and practice. In Winter Simulation Conference, 653--663.

Digital Library

[3]

Carman, M., L. Serafini, and P. Traverso. 2003, June. Web service composition as planning. In Workshop on Planning for Web Services. Trento, Italy.

[4]

Davis, P. K., and R. H. Anderson. 2004, April. Improving the composability of DoD models and simulations. JDMS 1 (1): 5--17.

[5]

Eker, J., J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. 2003, January. Taming heterogeneity --- the Ptolemy approach. Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software 91 (1): 127--144.

[6]

Elmqvist, H., S. E. Mattsson, and M. Otter. 2001. Object-oriented and hybrid modeling in modelica. Journal Européen des systèmes automatisés 35 (1): 1--10.

[7]

Fensel, D., J. A. Hendler, and H. Liebermann. (Eds.) 2003. Spinning the semantic web. The MIT Press.

[8]

Hucka, M., A. Finney, B. Bornstein, S. Keating, B. Shapiro, J. Matthews, B. Kovitz, M. Schilstra, A. Funahashi, J. Doyle, and H. Kitano. 2004, June. Evolving a lingua franca and associated software infrastructure for computational systems biology: The systems biology markup language (SBML) project. Systems Biology 1 (1): 41--53.

[9]

IEEE 2000, September. Standard for modeling and simulation (M & S) High Level Architecture (HLA) --- Framework and Rules. Document 1516--2000.

[10]

Kelton, W. D., R. P. Sadowski, and D. T. Sturrock. 2003. Simulation with arena. 3rd ed. McGraw-Hill.

Digital Library

[11]

Küster, U., B. Köning-Ries, M. Klein, and M. Stern. 2007. Diane - a matchmaking-centered framework for automated service discovery, composition, binding and invocation. Submisson for Special Issue of IJEC (International Journal of Electronic Commerce) on Semantic Matchmaking and Retrieval.

[12]

Küster, U., M. Stern, and B. König-Ries. 2005, December. A classifcation of issues and approaches in automatic service composition. In Engineering Service Compositions: First International Workshop, ed. C. Zirpins, G. Ortiz, W. Lamerdorf, and W. Emmerich, Volume WESC05: Yorktown Heights: IBM Research Devision.

[13]

Kuter, U., E. Sirin, D. Nau, B. Parsia, and J. Hendler. 2004. Information gathering during planning for web service composition. In Proceedings of the Third International Semantic Web Conference. Hiroshima, Japan.

[14]

Le Novère, N., A. Finney, M. Hucka, U. S. Bhalla, F. Campagne, C. J. Vides, E. J. Crampin, M. Halstead, E. Klipp, P. Mendes, P. Nielsen, H. Sauro, B. Shapiro, J. L. Snoep, H. D. Spence, and B. L. Wanner. 2005, December. Minimum information requested in the annotation of biochemical models (MIRIAM). Nat Biotechnol 23 (12): 1509--1515.

[15]

Milanovic, N., and M. Malek. 2004. Current solutions for web service composition. IEEE November December:51--59.

Digital Library

[16]

Möller, B., and C. Dahlin. 2006, June. A first look at the HLA evolved web service api. In Proceedings of 2006 Euro Simulation Interoperability Workshop. Simulation Interoperability Standards Organization. 06E-SIW-061.

[17]

Overstreet, C. M., R. E. Nance, and O. Balci. 2002. Issues in enhancing model reuse. In International Conference on Grand Challenges for Modeling and Simulation, Jan. 27--31. San Antonio, Texas, USA.

[18]

Peer, J. 2005. Web service composition as ai planning - a survey. Technical report, University of St. Gallen, Switzerland.

[19]

Petty, M. D., and E. W. Weisel. 2003a. A composability lexicon. In Proceedings of the Spring 2003 Simulation Interoperability Workshop, 181--187. Orlando FL.

[20]

Petty, M. D., and E. W. Weisel. 2003b. A formal basis for a theory of semantic composability. In Proc. of the Spring 2003 Simulation Interoperability Workshop, 416--423.

[21]

Petty, M. D., E. W. Weisel, and R. R. Mielke. 2005. Composability theory overview and update. In Proceedings of the Spring 2005 Simulation Interoperability Workshop, 431--437.

[22]

Ponnekanti, S. R., and A. Fox. 2002. Sword: A developer toolkit for web service composition. In Proceedings of the 11th International WWW Conference (WWW2002). Honolulu, HI, USA.

[23]

Pullen, J. M., R. Brunton, D. Brutzman, D. Drake, M. Hieb, K. L. Morse, and A. Tolk. 2005. Using web services to integrate heterogeneous simulations in a grid environment. Future Generation Computer Systems 21:97--106.

Digital Library

[24]

Rao, J., and X. Su. 2004. A survey of automated web service composition methods. In Proceedings of the 1st International Workshop on Semantic Web Services and Web Process Composition, SWSWPC2004, LNCS. San Diego, USA.

Digital Library

[25]

Reichenthal, S. W. 2002. SRML -- simulation reference markup language. W3C Note 18 December 2002.

[26]

Röhl, M. 2006, May 28th-31th. Platform independent specification of simulation model components. In ECMS 2006, 220--225. Bonn, Sankt Augustin, Germany.

[27]

Röhl, M., and A. M. Uhrmacher. 2006. Composing simulations from XML-specified model components. In Proceedings of the Winter Simulation Conference, 1083--1090: ACM.

Digital Library

[28]

Sargent, R. G. 2005. Verification and validation of simulation models. In WSC '05: Proceedings of the 37th Winter simulation conference, 130--143: Winter Simulation Conference.

Digital Library

[29]

Sarjoughian, H. S. 2006. Model composability. In WSC '06: Proceedings of the 37th conference on Winter simulation, 149--158: Winter Simulation Conference.

Digital Library

[30]

Sirin, E., B. Parsia, D. Wu, J. Hendler, and D. Nau. 2004. Htn planning for web service composition using shop2. Journal of Web Semantics 1 (4): 377--396.

Digital Library

[31]

SISO 2006, March. Base object model (BOM) template specification. SISO-STD-003-2006.

[32]

Tolk, A. 2004, April. Composable mission spaces and M&S repositories -- applicability of open standards. In Spring Simulation Interoperability Workshop. Washington, D.C.: SISO. paper no. 04S-SIW-009.

[33]

Tolk, A. 2006. What comes after the semantic web -- pads implications for the dynamic web. In PADS '06: Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation, 55. Washington, DC, USA: IEEE Computer Society.

Digital Library

[34]

Tolk, A., and J. Muguira. 2003, September. The level of conceptual interoperability model. Fall Simulation Interoperability Workshop (SISO), Orlando.

[35]

van der Aalst, W., A. H. ter Hofstede, and M. Weske. 2003. Business process management: A survey. In BPM '03, 1--12: Springer-Verlag Berlin Heidelberg.

Digital Library

[36]

van Glabbeek, R. 2001. The linear time -- branching time spectrum i: the semantics of concrete, sequential processes. In Handbook of Process Algebra, ed. J. A. Bergstra, A. Ponse, and S. A. Smolka, 3--99. Amsterdam: Elsevier.

[37]

Vangheluwe, H. 2000, September. DEVS as a common denominator for multi-formalism hybrid system modeling. In Proceedings of the IEEE International Symposium on Computer Aided Control System Design, 129--134. Anchorage, Alaska.

[38]

W3C 2006, March. Web services description language (WSDL) version 2.0 part 1: Core language. W3C Candidate Recommendation.

[39]

Weisel, E. W., M. D. Petty, and R. R. Mielke. 2004, April. A survey of engineering approaches to composability. In Fall Simulation Interoperability Workshop. Washington, D.C.

[40]

Yilmaz, L. 2004, July--August. Verifying collaborative behavior in component-based devs models. Simulation 80 (7--8): 399--415.

[41]

Yilmaz, L., and T. I. Ören. 2006, September. Prospective issues in simulation model composability: Basic concepts to advance theory, methodology, and technology. The MSIAC's M & S Journal Online 6 (2): 1--7.

[42]

Zeigler, B. P. 1984. Multifacetted modelling and discrete event simulation. Academic Press.

Digital Library

[43]

Zeigler, B. P., H. Praehofer, and T. G. Kim. 2000. Theory of modeling and simulation. 2nd ed. London: Academic Press.

Digital Library

Cited By

Roeder TSchruben L(2010)Information models for queueing system simulationACM Transactions on Modeling and Computer Simulation10.1145/1734222.173422420:2(1-34)Online publication date: 7-May-2010
https://dl.acm.org/doi/10.1145/1734222.1734224
Marquardt FUhrmacher AWiberg MZaslavsky A(2008)Evaluating AI planning for service composition in smart environmentsProceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia10.1145/1543137.1543146(48-55)Online publication date: 3-Dec-2008
https://dl.acm.org/doi/10.1145/1543137.1543146

Recommendations

Composing Web Services: A QoS View

An Internet application can invoke several services--a stock-trading Web service, for example, could invoke a payment service, which could then invoke an authentication service. Such a scenario is called a composite Web service, and it can be specified ...
Techniques for web service discovery and composition
WSOL - Web Service Offerings Language
CAiSE '02/ WES '02: Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web

WSOL (Web Service Offerings Language) is an XML (Extensible Markup Language) notation compatible with the WSDL (Web Services Description Language) standard. While WSDL is used for describing operations provided by Web Services, WSOL enables formal ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

WSC '07: Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come

December 2007

2659 pages

ISBN:1424413060

General Chair:
Jeff Tew

Sponsors

IIE: Institute of Industrial Engineers
INFORMS-SIM: Institute for Operations Research and the Management Sciences: Simulation Society
ASA: American Statistical Association
IEEE/SMC: Institute of Electrical and Electronics Engineers: Systems, Man, and Cybernetics Society
SIGSIM: ACM Special Interest Group on Simulation and Modeling
NIST: National Institute of Standards and Technology
(SCS): The Society for Modeling and Simulation International

Publisher

IEEE Press

Publication History

Published: 09 December 2007

Check for updates

Qualifiers

Research-article

Conference

WSC07

Sponsor:

IIE
INFORMS-SIM
ASA
IEEE/SMC
SIGSIM
NIST
(SCS)

WSC07: Winter Simulation Conference

December 9 - 12, 2007

Washington D.C.

Acceptance Rates

WSC '07 Paper Acceptance Rate 152 of 244 submissions, 62%;

Overall Acceptance Rate 3,413 of 5,075 submissions, 67%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
236
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Roeder TSchruben L(2010)Information models for queueing system simulationACM Transactions on Modeling and Computer Simulation10.1145/1734222.173422420:2(1-34)Online publication date: 7-May-2010
https://dl.acm.org/doi/10.1145/1734222.1734224
Marquardt FUhrmacher AWiberg MZaslavsky A(2008)Evaluating AI planning for service composition in smart environmentsProceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia10.1145/1543137.1543146(48-55)Online publication date: 3-Dec-2008
https://dl.acm.org/doi/10.1145/1543137.1543146

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents