Mira Balaban -- Main Publications

  • Web Service Applications
    1. M. Elhadad, A. Sturm and M. Balaban: ``Effective Business Process Outsourcing: The Prosero Approach'', International Journal of Interoperability in Business Information Systems, 3(1), 2008.
  • Modeling Languages
    1. Mira Balaban and Michael Kifer: "An Overview of F-OML: An F-Logic Based Object Modeling Language", ECEASST'11 36.
    2. Mira Balaban and Michael Kifer: "Logic Based Model-Level Software Development with F-OML", MoDELS'2011.
  • Correctness and refactoring of UML Class Diagrams
    1. Azzam Maraee and Mira Balaban: "Removing Redundancies and Deducing Equivalences in UML Class Diagrams", MoDELS'2014.
    2. Mira Balaban and Azzam Maraee: "Simplification and Correctness of UML Class Diagrams -- Focusing on Multiplicity and Aggregation/Composition Constraints", MoDELS'2013.
    3. Mira Balaban and Azzam Maraee: "Finite Satis´Čüability of UML Class Diagrams with Constrained Class Hierarchy", ACM Trans. Softw. Eng. Methodol. 22, 3, Article 24 (July 2013), 42 pages.
    4. Mira Balaban}, Azzam Maraee}, Arnon Sturm and Pavel Jelnov: "A Pattern-Based Approach for Improving Model Quality", Software and Systems Modeling (SoSyM), 1--29, 2013.
    5. Azzam Maraee and Mira Balaban: "Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines", MoDELS'2012.
    6. Azzam Maraee, Mira Balaban, Arnon Sturm and Adiel Asherov: "Model Correctness Patterns as an Educational Instrument", Educators' Symposium, MoDELS'2011.
    7. Mira Balaban, Azzam Maraee and Arnon Sturm: "Management of Correctness Problems in UML Class Diagrams -- Towards a Pattern-Based Approach", International Journal of Information System Modeling and Design (JISMD), 1(4), 24-47, 2010.
    8. Azzam Maraee and Mira Balaban: ``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.
    9. A. Maraee, V. Makarenkov and M. Balaban: ``Efficient Recognition and Detection of Finite Satisfiability Problems in UML Class Diagrams: Handling Constrained Generalization Sets, Qualifiers and Association Class Constraints'', 1st International Workshop on "Model co-evolution and consistency management", ACM/IEEE 119th International Conference on Model Driven Engineering Languages and Systems (MoDELS'08), October 2008, Toulouse, France.
    10. 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.
    11. Azzam Maraee and Mira Balaban: "Efficient Reasoning about Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets", 3rd European Conference on Model-Driven Architecture, June 2007, Haifa Israel.
  • Data Access Patterns
    1. Mira Balaban and Lior Limonad: "Towards automatic integration of the business-data layers in enterprise-systems", Journal of Computational Methods in Science and Engineering, 9(Supplement 1), pp. 69-80, 2009.
  • Effect Preservation
    1. Mira Balaban and Steffen Jurk: "Effect Preservation in Transaction Processing in Rule Triggering Systems", Acta Cybernetica, 18(4), pp. 733-776, 2008.
    2. Steffen Jurk and Mira Balaban: "Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs", DEXA-01, Sept. 2001, Germany.
  • Conceptual Modeling
    1. Revital Danoch, Peretz Shoval, and Mira Balaban: "Hierarchical Entity Relationship Diagrams -- The Model, Method of Creation and Experimental Evaluation", Requirements Engineering Journal, 9(4), pp. 217-228, 2004.
    2. Mira Balaban and Peretz Shoval: "MEER -- An EER Model Enhanced with Structure Methods", Information Systems, 27, pp. 245-275, 2002.
    3. Mira Balaban and Peretz Shoval: "Resolving the "Weak Status" of Weak Entity Types in Entity Relationship Schemas", ER-99, pp. 369-383.
    4. Mira Balaban and Peretz Shoval: "Enhancing the ER Model with Integrity Methods", Journal of DataBase Management, 10(4), pp. 11-20, 1999.
  • Knowledge Representation
    1. Mira Balaban, David Boaz, and Yuval Shahar: "Applying Temporal Abstraction in Medical Information Systems", Annals of Mathematics, Computing and Teleinformatics, 1(1), pp. 56-64, 2003.
    2. Mira Balaban and Adi Eyal: "DFL -- A Dialog Based Integration of Concept and Rule Reasoners", Data and Knowledge Engineering, 38, pp. 301-334, 2001.
    3. Mira Balaban and Dan Braha: "Temporal REasoning in Process Planning", AI-EDAM, Special Issue on Temporal Logic, 13, pp. 91-104, 1999.
    4. Mira Balaban and Tzachi Rosen: "STCSP -- Structured Temporal Constraint Satisfaction Problems", Annals of Mathematics and Artificial Intelligence, 25, pp. 35-67, 1999.
    5. Mira Balaban and Eyal Shimony: "Structured Plans with Sharing and Replication", Computers and Artificial Intelligence, 17(4), pp. 1-35, 1998.
    6. Mira Balaban and Neil Murray: "Interleaving Time and Structure", Computers and Artificial Intelligence, 17(1), pp. 1-34, 1998.
    7. Mira Balaban and Yoram Kornatzky: "A Data Model for Processes Based on Relative Time", Journal of Intelligent Information Systems, 7(1), pp. 29-50, 1996.
    8. Mira Balaban: "The F-Logic Approach for Description Languages", Annals of Mathematics and Artificial Intelligence, 15, pp. 19-60, 1995.
    9. Mira Balaban and Neil Murray: "The Logic of Time Structures", IJCAI-87, 11, pp. 1285-1290, 1989.
  • Knowledge Representation in Music
    1. Mira Balaban, Eli Barzilay and Michael Elhadad: "Abstraction as a Means for End-User Computing in Creative Applications", IEEE Trans. on Systems, Man, and Cybernetics, Part A, 32(6), pp. 640-653, 2002.
    2. Mira Balaban and Michael Elhadad: "On the Need for Visual Formalisms for Music Processing", LEONARDO, 32(2), pp. 127-134, 1999.
    3. Mira Balaban and Stanislav Irish: "Automatic Jazz Accompaniment Computation: An Open Advice Based Approach", Proceedings, International Computer Music Conference, Hong-Kong, August 1996.
    4. Mira Balaban: "The Music Structures Approach to Knowledge Representation for Music Processing", Computer Music Journal, 20(2), pp. 96-111, 1996.
    5. Mira Balaban and Colette Samoun: "Hierarchy, Time and Inheritance in Music Modeling", Languages of Design, 1(2), 1993.
    6. Mira Balaban, Kemal Ebcioglu and Otto Laske (Eds.): "Understanding Music with AI: Perspectives on Music Cognition", AAAI-MIT Press, 1992.
    7. Mira Balaban: "The Cross Fertilization Relationship between Music and AI", INTERFACE 18(1-2), pp. 89-115, 1989.
    8. Mira Balaban: "Music Structures -- A Temporal-Hierarchical representation of Music", Musikometrika 2, pp. 1-50, 1989.
    9. Mira Balaban: "The TTS Language for Music Descriptionc", International Journal of Man-Machine Studies, 28, pp. 505-523, 1988.
    10. Mira Balaban: "A Formal Basis for Research in Theories of western Tonal Music -- An Artificial Intelligence Approach", Communication and Cognition-AI, Special Issue on Music and AI, 3(3), pp. 241-268, 1986.
    11. Mira Balaban and Neil Murray: "Machine Tongues X: PROLOG", Computer Music Journal, 9(3), pp. 7-12, 1985.