An Overview of F-OML: An F-Logic Based Object Modeling Language.

Mira Balaban Michael Kifer

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)

Keyphrases

modeling language
metamodel
d objects
design rationale
uml profile
complex objects
formal semantics
knowledge representation
object model
declarative language
multiple objects
code generation
constraint language
query language
software development process