Titlebook: Software Engineering Research, Management and Applications; Roger Lee Book 2008 Springer-Verlag Berlin Heidelberg 2008 Extension.Requireme

团结

Preserving Intentions in SOA Business Process Development,eling Notation (BPMN), which allows their development even by persons without programming skills. Being abstract and high-level BPMN is not suitable for direct execution, though. The natural choice for implementing business processes is the Business Process Executable Language (BPEL), which is direc

曲解

Quality Aware Flattening for Hierarchical Software Architecture Models,M) is usually organized as a hierarchical model via composite components for complexity control and recursive composition. However, platform-specific SA models (PSM) have to be flat because many platforms (e.g. CORBA and J2EE) do not support composite components directly. Therefore, flattening hiera

deficiency

Microaneurysm

Automatic Extraction of Pre- and Postconditions from Z Specifications,semantics. They also hold a special place in software testing phase because formal specifications provide a good opportunity for automation of the testing process. Many formal specification based software testing techniques use Finite State Machines (FSMs) because they are quite useful in test seque

复习

Towards a SPEM v2.0 Extension to Define Process Lines Variability Mechanisms,n of processes which are adapted to different contexts, SPEM does not include the appropriate mechanisms for modelling them. The objective of this paper is to suggest a SPEM extension which will support the variability implied in a Software Process Line. New variability mechanisms based on the use o

vitrectomy

规范就好

PANEL

Modular Compilation of a Synchronous Language,ted as a means of increasing the reliability of systems, especially those which are safety or business critical. It is still difficult to develop automatic specification and verification tools due to limitations like state explosion, undecidability, etc... In this work, we design a new specification

Collision

Describing Active Services for Publication and Discovery,ive services contain functionality that cannot be limited to initiative in a one direction only. We have earlier introduced the notion of active services in the context of SOA, concentrating on modeling these using UML 2 Collaborations. Here we suggest how active services and their behavior can be d

内部

Refactoring-Based Adaptation of Adaptation Specifications,s and require adaptation. To automate the latter, developers usually need to provide .. Whereas writing such specifications is cumbersome and error-prone, maintaining them is even harder, because any evolutionary component change may invalidate existing specifications. We show how the use of a histo