Publications

  • UML class diagram correctness
  • Class diagram design pattern
  • Class diagram metrics and Benchmarking
  • Run-time integrity checking of OCL
  • Hybrid class diagrams
  • Modeling languages
  • Domain engineering
  • Binding Models and Code

UML class diagram correctness

Detection and Identification of finite satisfiability problems:

M. Balaban and A. Maraee: “Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy“.  TOSEM, to appear.  © ACM, (2013). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is in PUBLICATION.

A. Maraee, V. Makarenkov and M. Balaban: “Efficient Recognitionand Detection of Finite Satisfiability Problems in UML Class Diagrams: Handling Constrained Generalization Sets, Qualifiers and Association Class Constraints” . MCCM08 (MoDELS’08), France.  article.

Azzam Maraee and Mira Balaban: “A UML-Based Method for Deciding Finite Satisfiability in Description Logics”.21st International Workshop on Description Logics (DL2008), May 2008, Dresden, Germany.  article.

Maraee, A. and Balaban, M. Efficient Reasoning about Finite
Satisfiability of UML Class Diagrams with Constrained Generalization Sets. The 3rd European Conference on Model-Driven Architecture, June 2007, Haifa Israel.  article.

Maraee, A. Ecient Methods for Solving Finite Satisability Problems in UML Class Diagrams. M.Sc. thesis, Information Systems Engineering, Ben-Gurion University, May 2007. article.

Prepossessing: Disjoint propagation

Maraee, A. and Balaban, M. Efficient Recognition of Finite Satisfiability in UML Class Diagrams: Strengthening by Propagation of Disjoint Constraints. The Second International Conference on Model Based Systems Engineering, 2009 (MBSE’09), Haifa, Israel.  article.

Relevance and scalability of Finite Satisfiability

Victor Makarenkov,  Pavel Jelnov,  Azzam Maraee and Mira Balaban:”Finite Satisfiability of Class Diagrams: Practical Occurrence and Scalability of the FiniteSat Algorithm”.ACM International Conference Proceeding Series; Vol. 413 Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation. article.

Class diagram design pattern

Balaban, M., Maraee, A.,  Sturm, A., Jelnov, P.A Pattern-based Approach for Improving Model Quality, Journal of Software & Systems Modeling. Appear online.

Balaban, M., Maraee, A., & Sturm, A. (2010). Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach.International Journal of Information System Modeling and Design (IJISMD), 1(4), 24-47.

BGU Modeling Group,  UML Class Diagram Design Patterns Catalog (online), 2010.

Class diagram metrics and Benchamrking

Makarenkov, V. Metric Driven Approach to Benchmarking Model Correctness Algorithms. , Masters Thesis. 2011.

Victor M. and Mira B., Metric Driven Approach for Automatic Creation of Model Benchmarks.  Technical Report. 2011.

Modeling languages

M. Balaban and M. Kifer: “An Overview of F-OML: An F-Logic Based Object Modeling Language”, OCL and Textual Modeling workshop, MoDELS’2010.

Balaban, M. and Kifer, M. Logic-based Model-Level Software Development with F-OML. MoDELS 2011.

Hybrid class diagrams

Balaban, M., Maraee, A. Weiss, G. Hybrid Class Diagrams. Technical Report. 2011.

Run-time integrity checking of OCL

Kaspi, G. and Balaba, M. Towards Optimal Runtime Integrity Checking of OCL, PLDE 2010.

Kaspi, G. Towards Optimal Runtime Integrity Checking of OCL. Masters Thesis, 2011.

Binding Models and Code

Goldberg, M. and Wiener, G. Round-Trip Modeling using OPM/P, 2010.