Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
Asynchronous reactive systems form the basis of a wide range of software systems, for instance in the telecommunications domain....
A generalized expert system for database design
Generalized Expert System for Database Design (GESDD) is a compound expert system made up of two parts: (1) an...
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...
