Model interchange and integration for web services
ACM SIGSOFT Software Engineering Notes
Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Proceedings of the 19th IEEE international conference on Automated software engineering
Behavioral models as service descriptions
Proceedings of the 2nd international conference on Service oriented computing
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Rteq: modeling and validating infinite-state hard-real-time systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Validating Real Time Specifications using Real Time Event Queue Modeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.00 |
The number and diversity of existing languages for describing behavioural specifications (models) of systems do not enable the integration, sharing, or reuse of models between tools. Incompatible node models cannot be used to help validate overall combined system behaviour. In this paper, we address this problem by defining an XML-based model interchange format named OpenModel Modeling Language (OMML). It represents behavioural models in a tool-independent way. OMML is a function rich procedural language that expresses functionality in terms of function/object theories. It uses shared ontologies to support standardisation of terminology among model developers. This paper describes OMML and its different document types. We also describe prototype tools we have developed to support bi-directional translation between models expressed in OMML, ISAT's P-EBF, and SCR. We have performed an initial evaluation of the approach, demonstrating interoperability between ISAT and SCR.