团结
发表于 2025-3-23 10:18:42
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
曲解
发表于 2025-3-23 15:12:51
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
发表于 2025-3-23 18:43:58
http://reply.papertrans.cn/88/8708/870785/870785_13.png
Microaneurysm
发表于 2025-3-23 23:50:57
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
复习
发表于 2025-3-24 03:03:17
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
发表于 2025-3-24 09:52:05
http://reply.papertrans.cn/88/8708/870785/870785_16.png
规范就好
发表于 2025-3-24 14:07:45
http://reply.papertrans.cn/88/8708/870785/870785_17.png
PANEL
发表于 2025-3-24 18:07:14
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
发表于 2025-3-24 19:10:18
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
内部
发表于 2025-3-25 00:52:13
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