Automatic inclusion of middleware performance attributes into architectural UML software models
Distributed systems often use a form of communication middleware to cope with different forms of heterogeneity, including geographical spreading...
Automated Refactoring of OCL Constraints with Search
Object Constraint Language (OCL) constraints are typically used to provide precise semantics to models developed with the Unified Modeling...
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems
To facilitate modular development, the use of state machines has been proposed to specify the protocol (i.e., the sequence...
Distribution Design of Logical Database Schemas
The optimal distribution of a database schema over a number of sites in a distributed network is considered. The...
A method for design and performance modeling of client/server systems
Designing complex distributed client/server applications that meet performance requirements may prove extremely difficult in practice if software developers are...
Verification and Trade-Off Analysis of Security Properties in UML System Models
Designing secure systems is a nontrivial task. Incomplete or faulty designs can cause security mechanisms to be incorrectly incorporated...
A Component Model for Model Transformations
Model-driven engineering promotes an active use of models to conduct the software development process. In this way, models are...
View Modeling and Integration Using the Functional Data Model
Conventional database design techniques rely heavily on the designer's skill and experience, which are neither efficient nor effective for...
An expert database design system based on analysis of forms
A form model and an expert database system that analyzes instances of the form model to derive a conceptual...
A Dynamic Slicing Technique for UML Architectural Models
This paper proposes a technique for dynamic slicing of UML architectural models. The presence of related information in diverse...
