Article

Model composability

Author:

Hessam S. SarjoughianAuthors Info & Claims

WSC '06: Proceedings of the 38th conference on Winter simulation

Pages 149 - 158

Published: 03 December 2006 Publication History

Abstract

Composition of models is considered essential in developing heterogeneous complex systems and in particular simulation models capable of expressing a system's structure and behavior. This paper describes model composability concepts and approaches in terms of modeling formalisms. These composability approaches along with some of the key capabilities and challenges they pose are presented in the context of semiconductor supply chain manufacturing systems.

References

[1]

ACIMS. 2001. DEVSAJVA, Arizona Center for Integrative Modeling and Simulation. Available from <http://www.acims.arizona.edu/> {cited 2006}.]]

[2]

Allen, R. 1997. A formal approach to software architecture. Ph.D. thesis, Computer Science Department, Carnegie Mellon University, CMU-CS-97-144.]]

Digital Library

[3]

Banks, J., J. Carson, B. Nelson, and D. Nicol. 2004. Discrete-Event System Simulation. 4th ed. Prentice Hall.]]

[4]

Barros, F. 2002. Modeling and simulation of dynamic structure heterogeneous flow systems. Simulation: Transactions of the Society for Modeling and Simulation International 78 (1): 18--27.]]

[5]

Barros, F., and H. Sarjoughian. 2004. Guest editorial: Component-based modeling and simulation. Transactions of The Society for Modeling and Simulation International 80:319--320.]]

[6]

Cellier, F. 1991. Continuous system modeling. Springer Verlag.]]

Digital Library

[7]

Chow, A. 1996. Parallel DEVS: A parallel, hierarchical, modular modeling formalism and its distributed simulator. Simulation: Transactions of the Society for Modeling and Simulation International 13:55--67.]]

Digital Library

[8]

Dahmann, J., C. T. M. Salisbury, P. Barry, and P. Blemberg. 1999. HLA and beyond: Interoperability challenges. In Simulation Interoperability Workshop. Orlando, FL, USA.]]

[9]

Davis, P., and R. Anderson. 2004. Improving the composability of DoD models and simulations. Journal of Defense Modeling and Simulation: Applications, Methodology, Technology 1 (1): 5--17.]]

[10]

Davis, P., C. Overstreet, P. Fishwick, and C. Pegden. 2000. Model composability as a research investment: Responses to the featured paper. In Proceedings of Winter Simulation Conference, 1585--1591. Orlando, FL.]]

Digital Library

[11]

Eker, J., J. Janneck, E. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. 2003. Taming heterogeneity --- the Ptolemy approach. Proceedings of the IEEE 91 (2): 127--144.]]

[12]

Firby, R., and W. Fitzgerald. 1999. The RAP system language manual, version 2.0. Evanston, IL: Neodesic Corporation.]]

[13]

Fishwick, P. 1992. An integrated approach to system modelling using a synthesis of artificial intelligence, software engineering and simulation methodologies. ACM Transactions on Modeling & Computer Simulation 4 (2): 307--330.]]

Digital Library

[14]

Fishwick, P. 1995. Simulation model design and execution: building digital worlds. Prentice Hall.]]

Digital Library

[15]

Fujimoto, R. 1998. Time management in the High-Level Architecture. Simulation 71 (6): 388--400.]]

[16]

Fujimoto, R. 2000. Parallel and distributed simulation systems. John Wiley and Sons, Inc.]]

Digital Library

[17]

Fujimoto, R., D. Lunceford, E. Page, and A. Uhrmacher. 2002. Grand challenges for modeling and simulation. Schloss Dagstuhl.]]

[18]

Godding, G., H. Sarjoughian, and K. Kempf. 2004. Multiformalism modeling approach for semiconductor supply/demand networks. In Proceedings of Winter Simulation Conference, 232--239. Washington DC, USA.]]

Digital Library

[19]

Hall, S. 2005. Learning in a complex adaptive system for ISR resource management. In Proceedings of Spring Simulation Conference, 5--12. San Diego, CA.]]

[20]

HLA. 2000a. IEEE high level architecture framework and rules --- IEEE 1516-2000. IEEE.]]

[21]

HLA. 2000b. IEEE high level architecture framework and rules --- IEEE 1516.1-2000. IEEE.]]

[22]

HLA. 2000c. IEEE high level architecture object and model template --- IEEE 1516.2-2000. IEEE.]]

[23]

Huang, D., H. Sarjoughian, D. Rivera, G. Godding, and K. Kempf. 2006. Flexible experimentation and analysis for hybrid DEVS and MPC models. In Proceedings of Winter Simulation Conference. Monterey, CA, USA.]]

Digital Library

[24]

ILOG. 2005. OPL Studio. Available from <http://www.ilog.com/products/oplstudio/> {cited 2005}.]]

[25]

Jaramillo, J., H. Vangheluwe, and M. Alfonseca. 2002. Using meta-modelling and graph grammars to create modelling environments. Electronic Notes in Theoretical Computer Science 72 (3).]]

[26]

Kasputis, S., and H. Ng. 2000. Composable simulations. In Proceedings of Winter Simulation Conference, 1577--1584. Orlando, FL, USA.]]

Digital Library

[27]

Kempf, K. 2004. Control-oriented approaches to supply chain management in semiconductor manufacturing. In Proceedings of IEEE American Control Conference, 4563--4576. Boston, MA, USA.]]

[28]

Mathworks. 2005. MATLAB/Simulink. Available from <http://www.mathworks.com> {cited 2005}.]]

[29]

Mosterman, P., and H. Vangheluwe. 2002. Guest editorial. ACM Transactions on Modeling and Computer Simulation 12 (4): 249--255.]]

Digital Library

[30]

Page, E., and J. Opper. 1999. Observations on the complexity of composable simulation. In Proceedings of Winter Simulation Conference, 553--560. Orlando, FL, USA.]]

Digital Library

[31]

Praehofer, J. 1991. System theoretic formalisms for combined discrete-continuous system simulation. International Journal General Systems 19 (3): 219--240.]]

[32]

Qin, S., and T. Badgwell. 2003. A survey of industrial model predictive control technology. Control Engineering Practice 11 (7): 733--764.]]

[33]

Rardin, R. 1998. Optimization in Operations Research. Prentice Hall.]]

[34]

Sarjoughian, H., and F. Cellier. (Eds.) 2001. Discrete event modeling and simulation technologies: a tapestry of systems and AI-based theories and methodologies. Springer Verlag.]]

[35]

Sarjoughian, H., and D. Huang. 2005. A multi-formalism modeling composition framework: Agent and discrete-event models. In Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real Time Applications, 249--256. Montreal, Canada.]]

Digital Library

[36]

Sarjoughian, H., D. Huang, W. Wang, D. Rivera, K. Kempf, G. Godding, and H. Mittelmann. 2005. Hybrid discrete event simulation with model predictive control for semi-conductor supply-chain manufacturing. In Proceedings of the Winter Simulation Conference, 256--266. Orlando, FL, USA.]]

Digital Library

[37]

Sarjoughian, H., and J. Plummer. 2002. Design and implementation of a bridge between RAP and DEVS. Computer Science and Engineering, Arizona State University, Tempe, AZ. Internal Report.]]

[38]

Sarjoughian, H., and B. Zeigler. 2000. DEVS and HLA: Complementary paradigms for modeling and simulation? Transactions of the Society for Modeling and Simulation International 17 (4): 187--197.]]

Digital Library

[39]

SBA. 1998. Simulation based acquisition: a new approach. Defense Systems Management College. Report of the Military Research Fellows DSMC.]]

[40]

Singh, R., H. Sarjoughian, and G. Godding. 2004. Design of scalable simulation models for semiconductor manufacturing processes. In Proceedings of the Summer Computer Simulation Conference, 235--240. San Jose, CA, USA.]]

[41]

Tolk, A., and S. Diallo. 2005. Model-based data engineering for web services. IEEE Internet Computing July/August:54--59.]]

Digital Library

[42]

van Beek, D., S. Gordijn, and J. Rooda. 1997. Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines. Simulation Practice and Theory 5:653--669.]]

[43]

Vangheluwe, H. 2000. DEVS as a common denominator for multi-formalism hybrid systems modelling. In IEEE International Symposium Symposium on Computer-Aided Control System Design. Anchorage, Alaska: IEEE Computer Society Press.]]

[44]

Wang, W., D. Rivera, and K. Kempf. 2005. A novel model predictive control algorithm for supply chain management in semiconductor manufacturing. In American Control Conference, 208--213. Portland, OR, USA.]]

[45]

Wang, W., D. Rivera, K. Kempf, and K. Smith. 2004. A model predictive control strategy for supply chain management in semiconductor manufacturing under uncertainty. In American Control Conference. Boston, MA, USA.]]

[46]

Wymore, A. 1993. Model-based systems engineering: an introduction to the mathematical theory of discrete systems and to the tricotyledon theory of system design. Boca Raton:CRC.]]

Digital Library

[47]

Zeigler, B. 2006. Embedding DEVS&DESS in DEVS. In DEVS Integrative Modeling & Simulation Symposium, 125--132. Huntsville, AL, USA.]]

[48]

Zeigler, B., H. Praehofer, and T. Kim. 2000. Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems. 2nd ed. Academic Press.]]

Digital Library

Cited By

Fard MSarjoughian H(2021)A restful persistent DEVS-based interaction model for the componentized weap and leap restful frameworksProceedings of the Winter Simulation Conference10.5555/3522802.3522878(1-12)Online publication date: 13-Dec-2021
https://dl.acm.org/doi/10.5555/3522802.3522878
Mahmood IAskari SSarjoughian H(2021)Composability verification of complex systems using colored petri netsProceedings of the Winter Simulation Conference10.5555/3522802.3522837(1-11)Online publication date: 13-Dec-2021
https://dl.acm.org/doi/10.5555/3522802.3522837
Fard MSarjoughian HMahmood IMounir AGuan XMascaro G(2020)Modeling the water-energy nexus for the phoenix active management areaProceedings of the Winter Simulation Conference10.5555/3466184.3466448(2317-2328)Online publication date: 14-Dec-2020
https://dl.acm.org/doi/10.5555/3466184.3466448
Show More Cited By

Model composability
1. Computing methodologies
  1. Modeling and simulation

Recommendations

A case study of model context for simulation composability and reusability
WSC '05: Proceedings of the 37th conference on Winter simulation

How much effort will be required to compose or reuse simulations? What factors need to be considered? It is generally known that composability and reusability are daunting challenges for both simulations and more broadly software design as a whole. We ...
Composability verification of complex systems using colored petri nets
WSC '21: Proceedings of the Winter Simulation Conference

The discipline of component-based modeling and simulation offers promising gains including reductions in development cost, time, and system complexity. This paradigm promotes the use and reuse of modular components for adequate development of complex ...
Model composability: formulating a research thrust: composable simulations
WSC '00: Proceedings of the 32nd conference on Winter simulation

While there has been much attention paid to the applications of Modeling and Simulation (M&S) by the Department of Defense (DoD) lately, little has been done to address those broad technology areas that enable application-oriented simulations to be more ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

WSC '06: Proceedings of the 38th conference on Winter simulation

December 2006

2429 pages

ISBN:1424405017

Editors:
L. Felipe Perrone
Bucknell University
,
Barry G. Lawson
University of Richmond
,
Jason Liu
Colorado School of Mines
,
Frederick P. Wieland
Sensis Corporation
,
General Chair:
David Nicol
University of Illinois, Urbana-Champaign
,
Program Chair:
Richard Fujimoto
College of Computing, Georgia Tech

Sponsors

IIE: Institute of Industrial Engineers
ASA: American Statistical Association
IEICE ESS: Institute of Electronics, Information and Communication Engineers, Engineering Sciences Society
IEEE-CS\DATC: The IEEE Computer 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
INFORMS-CS: Institute for Operations Research and the Management Sciences-College on Simulation

Publisher

Winter Simulation Conference

Publication History

Published: 03 December 2006

Check for updates

Qualifiers

Article

Conference

WSC06

Sponsor:

IIE
ASA
IEICE ESS
IEEE-CS\DATC
SIGSIM
NIST
(SCS)
INFORMS-CS

WSC06: Winter Simulation Conference 2006

December 3 - 6, 2006

California, Monterey

Acceptance Rates

WSC '06 Paper Acceptance Rate 177 of 252 submissions, 70%;

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
389
Total Downloads

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

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Fard MSarjoughian H(2021)A restful persistent DEVS-based interaction model for the componentized weap and leap restful frameworksProceedings of the Winter Simulation Conference10.5555/3522802.3522878(1-12)Online publication date: 13-Dec-2021
https://dl.acm.org/doi/10.5555/3522802.3522878
Mahmood IAskari SSarjoughian H(2021)Composability verification of complex systems using colored petri netsProceedings of the Winter Simulation Conference10.5555/3522802.3522837(1-11)Online publication date: 13-Dec-2021
https://dl.acm.org/doi/10.5555/3522802.3522837
Fard MSarjoughian HMahmood IMounir AGuan XMascaro G(2020)Modeling the water-energy nexus for the phoenix active management areaProceedings of the Winter Simulation Conference10.5555/3466184.3466448(2317-2328)Online publication date: 14-Dec-2020
https://dl.acm.org/doi/10.5555/3466184.3466448
Boyd WSarjoughian H(2020)Composition of geographic-based component simulation modelsProceedings of the Winter Simulation Conference10.5555/3466184.3466441(2257-2268)Online publication date: 14-Dec-2020
https://dl.acm.org/doi/10.5555/3466184.3466441
Zhang CSarjoughian HSeok MDel Barrio ABarros FHu XKavak H(2020)A framework for composable cellular automata DEVS modeling, simulation, and visualizationProceedings of the 2020 Spring Simulation Conference10.5555/3408207.3408286(1-12)Online publication date: 19-May-2020
https://dl.acm.org/doi/10.5555/3408207.3408286
Fard MSarjoughian H(2019)A web-service framework for the water evaluation and planning systemProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338261(1-12)Online publication date: 29-Apr-2019
https://dl.acm.org/doi/10.5555/3338246.3338261
Bernardi SMarrone SMerseguer JNardone RVittorini V(2019)Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalismSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0663-818:3(2241-2264)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-018-0663-8
Zhu ZLei YZhu YAlshareef ASarjoughian HTheodoropoulos G(2017)A Unifying Framework for UML Profile-based Cognitive ModelingProceedings of the 10th EAI International Conference on Simulation Tools and Techniques10.1145/3173519.3173524(1-10)Online publication date: 11-Sep-2017
https://dl.acm.org/doi/10.1145/3173519.3173524
Mayer GBarros FPrähofer HHu XDenil J(2016)Composition of composable cellular automata with respect to their dimensional attributesProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975415(1-8)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975415
Gholami SSarjoughian HGodding GPeters DChang VBuckley SMiller J(2014)Developing composed simulation and optimization models using actual supply-demand network datasetsProceedings of the 2014 Winter Simulation Conference10.5555/2693848.2694166(2510-2521)Online publication date: 7-Dec-2014
https://dl.acm.org/doi/10.5555/2693848.2694166
Show More Cited By

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.

Figures

Tables

Media

View Table of Conten