Visual languages have an important role in modeling systems, specification of software, and in specific application domains.
The main reason for using scenarios in the specification of software quality requirements is that they can provide the specific contexts in which designs of a software system can be evaluated.
For example, its class language allows the specification of software patterns (Gamma et al. 1994).
CASL is an expressive language for the algebraic specification of software requirements, design, and architecture.
One major problem in the specification of software architectures is when evolution includes reconfiguration and mobility.
Process algebras are widely accepted for the specification of software systems.
This chapter discusses the concept of scenarios and the uses of scenarios in the specification of software modifiability requirements.
The envisaged approach extends previous work by the authors on the use of coalgebraic models for the specification of software connectors.
This paper presents a framework for the Model-Driven specification of Software Architectures, which is defined using the concepts behind Service-Orientation.
The approach is suitable for specifying all kinds of information, ranging from device hardware characteristics to a deep semantic specification of software applications, including their operation modes and parameterization.
