Igal Khitron

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Multilevel system modeling deals with the representation and implementation of relationships among types and among types and instances in software systems. It raises questions of interpretation and organization of types and instances in strict or interleaved layers. Reasoning over multilevel models requires a logic language that provides a uniform,(More)
Textual modeling languages are used in model-driven engineering for a variety of purposes. Among the most important purposes are querying a model and formulating restrictions like state invariants or operation preand postconditions. This paper compares three such languages. OCL augments UML as a precise language that provides constraint and object query(More)
  • 1