A UML-based pattern specification technique
Informally described design patterns are useful for communicating proven solutions for recurring design problems to developers, but they cannot...
Smart Bound Selection for the Verification of UML/OCL Class Diagrams
Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or...
Some design aspects of databases through Petri net modeling
The authors exploit the concepts of Petri nets for the modeling of databases through a meaningful interpretation of various...
Database Skeleton and Its Application to Logical Database Synthesis
This paper presents the concept of a model of database skeleton which is used to represent user's knowledge on...
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...
