Multilevel Modeling and Reasoning with FOML

Abstract

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)
DOI: 10.1109/SWSTE.2016.17

Topics

4 Figures and Tables

Cite this paper

@article{Balaban2016MultilevelMA, title={Multilevel Modeling and Reasoning with FOML}, author={Mira Balaban and Igal Khitron and Michael Kifer}, journal={2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE)}, year={2016}, pages={61-70} }