Sciweavers

2730 search results - page 111 / 546
» An Abstract Model for Process Mediation
Sort
View
FMOODS
2008
14 years 11 months ago
Modeling and Model Checking Software Product Lines
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
FM
2009
Springer
153views Formal Methods» more  FM 2009»
14 years 7 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
SSPR
1998
Springer
15 years 2 months ago
Semantic Content Based Image Retrieval Using Object-Process Diagrams
Abstract. The increase in accessability to on-line visual data has promoted the interest in browsing and retrieval of images from Image Databases. Current approaches assume either ...
Dov Dori, Hagit Zabrodsky Hel-Or
BPM
2004
Springer
95views Business» more  BPM 2004»
15 years 1 months ago
On Dealing with Structural Conflicts between Process Type and Instance Changes
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...
Stefanie Rinderle, Manfred Reichert, Peter Dadam
BPM
2006
Springer
158views Business» more  BPM 2006»
15 years 1 months ago
Flexibility of Data-Driven Process Structures
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
Dominic Müller, Manfred Reichert, Joachim Her...