A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in...
Concurrency problems such as starvation and deadlocks should be identified early in the design process. As larger, more complex...
Architectural-level risk analysis using UML
Risk assessment is an essential part in managing software development. Performing risk assessment during the early development phases enhances...
Enhancing structured review with model-based verification
We propose a development framework that extends the scope of structured review by supplementing the structured review with model-based...
Integrating Software Models and Platform Models for Performance Analysis
System performance is a key factor to take into account throughout the software life cycle of modern computer systems,...
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models
Model-driven engineering (MDE) promotes automated model transformations along the entire development process. Guaranteeing the quality of early models is...
From UML to Petri Nets: The PCM-Based Methodology
In this paper, we present an evaluation methodology to validate the performance of a UML model, representing a software...
Discovering Services during Service-Based System Design Using UML
Recently, there has been a proliferation of service-based systems, i.e., software systems that are composed of autonomous services but...
Extending the UML Statecharts Notation to Model Security Aspects
Model driven security has become an active area of research during the past decade. While many research works have...
Mapping Considerations in the Design of Schemas for the Relational Model
The typical design process for the relational database model develops the conceptual schema and each of the external schemas...
Object analysis patterns for embedded systems
Some of the most challenging tasks in building a software system are capturing, refining, and analyzing requirements. How well...
