![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Simulation-Based Performance Analysis of Channel-Based Coordination Models
Quantifying the performance of component-based or service-oriented systems is a complex task, e.g., it is non-trivial to calculate the end-to-end quality of service of a composite Web service. An established a...
-
Article
9210: The Zip Code of Another IT-Soap
Nine-to-ten (9210) refers to the problem that the Dutch banks are running out of 9-digit bank account numbers and need to convert to 10-digit numbers. At the same time, the Dutch government wants bank account ...
-
Article
Towards automated modification of legacy assets
In this paper we argue that there is a necessity for automating modifications to legacy assets. We propose a five layered process for the introduction and employment of tool support that enables automated modi...
-
Chapter
Evolutionary software engineering: a component-based approach
A software industry producing high-quality components that can be reused in many ways is an—unfulfilled—dream as old as the field of “software engineering” itself. In this paper we present an evolutionary appr...
-
Chapter and Conference Paper
A congruence theorem for structured operational semantics with predicates and negative premises
We proposed a syntactic format, the panth format, for structured operational semantics in which besides ordinary transitions also predicates, negated predicates, and negative transitions may occur such that if th...
-
Chapter and Conference Paper
A congruence theorem for structured operational semantics with predicates
We proposed a syntactical format, the path format, for structured operational semantics in which predicates may occur. We proved that strong bisimulation is a congruence for all the operators that can be defined ...