Information System (IS) development has been beset by consistency problems since its
infancy. These problems are greater still in UML software development, and are principally …

Two translations from activity diagrams to the input language of NuSMV, a symbolic model
verifier, are presented. Both translations map an activity diagram into a finite state machine …

Abstract Unified Modeling Language (UML) has become the de-facto standard to design
today's large-size object-oriented systems. However, focusing on multiple UML diagrams is …

Abstract Model checking is a formal verification technique. It takes an exhaustively strategy
to check hardware circuits and network protocols against desired properties. Having been …

Software architecture specifications are used for many different purposes, such as
documenting architectural decisions, predicting architectural qualities before the system is …

In this state of the art report, we review advances in distributed component technologies,
such as the Enterprise Java Beans specification and the CORBA Component Model. We …

Scenarios are powerful tools to model and analyze software systems. However, since they
do not provide a complete description of the system, but just some possible execution paths …

EAST-ADL is a domain specific Architecture Description Language (ADL) for safety-critical
and software-intensive embedded systems. The language allows a formalized and traceable …

Distributed applications are increasingly built as federations of components that join and
leave the cooperation dynamically. Publish/subscribe middleware is a promising …

Autonomic and adaptive computing systems can add, remove, and replace their own
components in response to a changing environment. Self-adaptation facilitates the …