580 California St., Suite 400
San Francisco, CA, 94104
Key research themes
1. How can UML be formally extended or tailored to effectively model domain-specific concepts and manage complex system characteristics?
This research theme focuses on the limitations of standard UML in capturing domain-specific semantics and complex system behaviors, prompting the development of UML extensions via profiles, stereotypes, or formal semantics frameworks. It matters because effective modeling in specialized domains (e.g., knowledge modeling, mobile agents, embedded systems, or security requirements) requires rigorous, unambiguous language constructs that preserve UML’s advantages while enabling expressiveness and formal analysis.
Key finding: Demonstrates the need for a UML profile tailored for knowledge-based systems (KBS) by arguing that knowledge engineering (KE) has strong parallels with software engineering, yet requires modeling constructs beyond standard... Read more
Key finding: Presents an extension of standard UML specifically for modeling mobile agents, introducing language concepts for mobility in analysis and design phases. It shows that existing UML lacks basic modeling constructs for mobile... Read more
Key finding: Identifies the limitations of standard UML in modeling embedded system characteristics such as real-time constraints, hardware interactions, and performance metrics. The paper highlights the use of UML extension mechanisms... Read more
Key finding: Proposes a set of novel UML stereotypes to model evolving security requirements, including mechanisms like multi-factor authentication and encryption, addressing emerging challenges in software security. The study evaluates... Read more
Key finding: Introduces a formalization approach for defining modeling language semantics, including UML, using Alloy. It provides a uniform notation for abstract syntax, static semantics, and dynamic semantics that enables automatic... Read more
2. What methodologies and tool support are available to enhance practical modeling and model-driven development using UML and related technologies?
This theme addresses the practical aspects of applying UML in software and systems development, focusing on tool ecosystems, model editing environments, and methodology integration that facilitate model-based engineering. The importance stems from the need to bridge theoretical UML advantages and real-world usability, enabling efficient model creation, validation, integration with programming languages, and seamless domain-specific customization.
Key finding: Provides a foundational yet practical overview of essential UML diagrams (use case, class, sequence, state, activity) with clear syntax and semantic descriptions. It establishes standard modeling constructs fundamental for... Read more
Key finding: Describes Papyrus, an open-source Eclipse-based graphical UML2 modeling tool designed for extensibility and domain-specific language (DSL) support via UML profiles. It emphasizes architectural openness and methodological... Read more
Key finding: Presents Umple, a modeling and code generation tool that integrates UML abstractions (including associations and state machines) directly with multiple programming languages, enabling synchronized textual and graphical... Read more
Key finding: Proposes a methodology and tool support for automatic model completion in domain-specific modeling editors, synthesizing constraint logic programs from meta-models, user constraints, and partial models. Using Prolog for... Read more
Key finding: Explores UML’s historical development towards unification of object-oriented modeling, elucidating core diagram types and concepts relevant to information systems design. It clarifies UML’s role in structuring static and... Read more
3. How can formal semantics frameworks and multi-level modeling principles improve the rigor, consistency, and expressiveness of UML and similar graph-like modeling languages?
This line of inquiry investigates methodical semantic definitions for UML and related languages and explores multi-level modeling approaches addressing conceptual and representational challenges. It focuses on ensuring model consistency, formal correctness, and reusable modeling constructs (including connectors) across abstraction levels, which is critical to validating and analyzing complex software and system designs.
Key finding: Defines a formally expressive sublanguage of UML behavioral modeling, including active objects, polymorphism, and UML statecharts, and provides a zero-time semantics via execution schemes and symbolic transition systems. This... Read more
Key finding: Develops a unified semantic framework for UML diagrams using dynamic logic to capture static and dynamic aspects, enabling rigorous consistency checking across use case, class, state machine, and sequence diagrams. The... Read more
Key finding: Proposes a classification scheme and metamodel for the concrete syntax of graph-like modeling languages (GLML), enabling the systematic reuse and adaptation of layout algorithms by grouping languages with similar structural,... Read more
Key finding: Identifies shortcomings in UML’s handling of connectors (edges) within multi-level modeling and articulates three fundamental principles for connector representation compatible with multi-level classification architectures.... Read more
Key finding: Introduces an Alloy-based method to formally define abstract syntax, static semantics, and dynamic semantics of modeling languages, including UML subsets, providing uniform notation, tool-supported automatic analyzability,... Read more