Validity of Models and Classes of Models in Semantic Composability

  title={Validity of Models and Classes of Models in Semantic Composability},
  author={Eric W. Weisel and Mikel D. Petty and Roland R. Mielke},
Composability is the capability to select and assemble simulation components in various combinations into simulation systems. The defining characteristic of composability is the ability to combine and recombine components. Composability exists in two forms, syntactic and semantic (also known as engineering and modeling). Syntactic composability is the implementation of components so that they can be combined. Semantic composability is the question of whether the models embodied by the composed… CONTINUE READING
Highly Cited
This paper has 47 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 31 extracted citations


Publications referenced by this paper.
Showing 1-10 of 11 references

On Computable Numbers

  • A. M. Turing
  • with an Application to the Entscheidungsproblem…
  • 1937
Highly Influential
7 Excerpts

A Composability Lexicon

  • M. D. Petty, E. W. Weisel
  • Proceedings of the Spring 2003 Simulation…
  • 2003
2 Excerpts

Discrete Structures

  • J. L. Hein
  • Logic, and Computability, Second Edition, Jones…
  • 2002
2 Excerpts

Formal Verification in Railways

  • A. Borälv, G. Stålmarck
  • M. G. Hinchey and J. P. Bowen (Eds.), Industrial…
  • 1999
1 Excerpt


  • M. D. Davis, R. Sigal, E. J. Weyuker
  • Complexity, and Languages: Fundamentals of…
  • 1994
3 Excerpts

Pi in the Sky: Counting

  • J. D. Barrow
  • Thinking, and Being, Little, Brown and Company…
  • 1992
1 Excerpt

Elementary Functions and Coordinate Geometry

  • S. Hu
  • Markham, Chicago
  • 1969
1 Excerpt

Similar Papers

Loading similar papers…