Definition and analysis of composition structures for discrete-event models

Proceedings - Winter Simulation Conference

Volumn , Issue , 2008, Pages 942-950

  Röhl, Mathias ^a   Uhrmacher, Adelinde M ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITION STRUCTURES; DISCRETE-EVENT MODELS; HIERARCHICAL RELATIONS; INTERFACE DESCRIPTIONS; META MODELS; MODEL IMPLEMENTATIONS; MODELING PROCESS; SEPARATE UNITS;

CHEMICAL ANALYSIS; MARKUP LANGUAGES;

STRUCTURE (COMPOSITION);

EID: 60749087079     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2008.4736160     Document Type: Conference Paper

References (28)

1. Brooks, C, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng. 2007, Jan. Heterogeneous concurrent modeling and design in java (volume 1: Introduction to ptolemy ii). Technical Report UCB/EECS-2007-7, EECS Department, University of California, Berkeley.
2. Broy, M., M. L. Crane, J. Dingel, A. Hartman, B. Rumpe, and B. Selic. 2006. 2nd UML 2 semantics symposium: Formal semantics for UML. In MoDELS 2006 Workshops, ed. T. Kühne, Volume 4364 of LNCS, 318-323: Springer.
3. de Alfaro, L., and T. A. Henzinger. 2005. Interface-based design. In Engineering Theories of Software-intensive Systems, Volume 195 of NATO Science Series: Mathematics, Physics, and Chemistry, 83-104. Springer: M. Broy, J. Gruenbauer, D. Harel, and C.A.R. Hoare.
4. Elmqvist, H., S. E. Mattsson, and M. Otter. 2001. Objectoriented and hybrid modeling in modelica. Journal Européen des systèmes automatisés 35 (1): 1-10.
5. Harel, D., and B. Rumpe. 2004. Meaningful modeling: What's the semantics of semantics? Computer 37 (10): 64-72.
6. Harold, E. R. 2002. Processing XML with Java. Pearson Education.
7. IEEE 2003, March. Recommended practice for high level architecture (HLA) federation development and execution process (FEDEP). Document 1516.3.
8. Janssen, T. M. V. 1997. Compositionality (with an appendix by B. Partee). In Handbook of Logic and Language, ed. J. van Benthem and A. ter Meulen, 417-413. Amsterdam: Elsevier.
9. Kleppe, A. 2007. A language description is more than a metamodel. In Proceedings of the 4th International Workshop on Software Language Engineering (ateM 2007), Nashville, TN, USA, October 2007, 15-23. Informatik-Bericht Nr. 4/2007, Johannes-Gutenberg-Universitat Mainz, October 2007.
10. O'Keefe, G. 2006. Improving the definition of UML. In MoDELS 2006, Genova, Italy, October 1-6, 2006, ed. O. Nierstrasz, J. Whittle, D. Harel, and G. Reggio, Volume 4199 of LNCS, 42-56: Springer.
11. Oliver, I., and V. Luukkala. 2006, May 31 - June 2. On UML's composite structure diagram. In SAM '06. Kaiserslautern, Germany.
12. OMG 2007a, March. Systems modeling language (OMG SysML) 1.0 specification. Proposed Available Specification ptc/2007-02-04.
13. OMG 2007b, November. Unified Modeling Language: Superstructure, v2.1,2. Document Number: formal/2007-11-02, available specification http://www.oing.org/ spec/UML/2.1.2/Superstructure/PDF.
14. Pierce, B. C. 2002. Types and programming languages. Cambridge, MA, USA: MIT Press.
15. Röhl, M., and S. Morgenstern. 2007. Composing simulation models using interface definitions based on web service descriptions. In Proceedings of the 2007 Winter Simulation Conference, ed. S. G. Henderson, B. Biller, M.-H. Hsieh, J. Shortle, J. D. Tew, and R. R. Barton, 815-822: Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.
16. Schröter, G. 2004. Characterization and comparison of formal refinement and development relations for software modeling techniques. Ph. D. thesis, Technical University of Berlin, School of Electrical Engineering and Computer Sciences.
17. Szyperski, C. 2002. Component software: beyond objectoriented programming. 2nd ed. ACM Press/Addison-Wesley Publishing Co.
18. Tolk, A., and J. Muguira. 2003, September. The level of conceptual interoperability model. Fall Simulation Interoperability Workshop (SISO), Orlando.
19. 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.
20. Verbraeck, A. 2004. Component-based distributed simulations: the way forward? In PADS '04: Proceedings of the eighteenth workshop on Parallel and distributed simulation, 141-148. New York, NY, USA: ACM Press.
21. C 1999, November. XSL transformations (XSLT) version 1.0. Available online via [accessed July 13, 2006].
22. C 2004a. Web services architecture. http://www.w3.org/TR/2004/NOTE-ws- arch-20040211/. Group Note 11 February 2004.
23. C 2004b, October. XML Schema part 0: Primer second edition. http://www.w3.org/TR/2004/REC-xmlschema-0-20041028/.W3C Recommendation 28 October 2004.
24. C 2006a. Semantic annotations for WSDL. http://www.w3.org/TR/2006/WD- sawsdl-20060928/. W3C Working Draft 28 September 2006.
25. C 2006b. Web services description language (WSDL) version 2.0 part 1: Core language. http://www.w3.org/TR/2006/CR-wsdl20-20060327. W3C Candidate Recommendation 27 March 2006.
26. C 2007. State chart XML (SCXML): State machine notation for control abstraction. http://www.w3.org/TR/2007/WD-scxml-20070221. W3C Working Draft 21 February 2007.
27. Zeigler, B. P., H. Praehofer, and T. G. Kim. 2000. Theory of modeling and simulation. 2nd ed. London: Academic Press.
28. Zeigler, B. P., and H. S. Sarjoughian. 2005, January. Introduction to DEVS modeling and simulation with JAVA: Developing component-based simulation models. Arizona Center for Integrative Modeling and Simulation, University of Arizona and Arizona State University, Tucson, Arizona, USA.