Sciweavers

565 search results - page 31 / 113
» Compositional dynamic test generation
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 7 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ICWS
2009
IEEE
15 years 11 months ago
What are the Problem Makers: Ranking Activities According to their Relevance for Process Changes
Recently, a new generation of adaptive process management technology has emerged, which enables dynamic changes of composite services and process models respectively. This, in tur...
Chen Li, Manfred Reichert, Andreas Wombacher
CCGRID
2005
IEEE
15 years 7 months ago
Q-SAC: toward QoS optimized service automatic composition
The emerging service grids bring together various distributed services to a ‘market’ for clients to request and enable the integration of services across distributed, heteroge...
Hanhua Chen, Hai Jin, Xiaoming Ning, Zhipeng Lu
UML
2005
Springer
15 years 7 months ago
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
José A. Cruz-Lemus, Marcela Genero, M. Espe...
CASCON
2010
187views Education» more  CASCON 2010»
14 years 12 months ago
A Framework for Automatically Supporting End-Users in Service Composition
In Service Oriented Architecture (SOA), service composition integrates existing services to fulfill specific tasks using a set of standards and tools. However, current service comp...
Hua Xiao, Ying Zou, Ran Tang, Joanna Ng, Leho Nigu...