Validity of Models and Classes of Models in Semantic Composability

@inproceedings{Weisel2003ValidityOM,
  title={Validity of Models and Classes of Models in Semantic Composability},
  author={Eric W. Weisel and Mikel D. Petty and Roland R. Mielke},
  year={2003}
}
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

Citations

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

References

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

Computability

  • 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…