EDBT 2026 Demo / reviewers in the wild / expert
Christian Gierds
dblp:74/1470
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-authorDatabases, data management, data science and information retrieval · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Services computing and microservices · 100% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Services computing and microservices › service adaptation
behavioral adaptation |
0.1 | 1 | 2012 | Reducing Adapter Synthesis to Controller Synthesis · IEEE Trans. Serv. Comput. 2012 |
Services computing and microservices
service composition |
0.1 | 1 | 2012 | Reducing Adapter Synthesis to Controller Synthesis · IEEE Trans. Serv. Comput. 2012 |
Automated reasoning and model checking
controller synthesis |
0.1 | 1 | 2012 | Reducing Adapter Synthesis to Controller Synthesis · IEEE Trans. Serv. Comput. 2012 |
Services computing and microservices
service integration |
0.0 | 1 | 2012 | Reducing Adapter Synthesis to Controller Synthesis · IEEE Trans. Serv. Comput. 2012 |
Methods — techniques the papers use, named apart from their topics
domain-specific transformation rules · 0.3controller synthesis algorithms · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets
Dirk Fahland, Christian Gierds |
CAiSE | 2 |
| 2012 | Reducing Adapter Synthesis to Controller SynthesisabstractService-oriented computing aims to create complex systems by composing less-complex systems, called services. Since services can be developed independently, the integration of services requires an adaptation mechanism for bridging any incompatibilities. Behavioral adapters aim to adjust the communication between some services to be composed in order to establish proper interaction between them. We present a novel approach for specifying such adapters, based on domain-specific transformation rules that reflect the elementary operations that adapters can perform. We also present a novel way to synthesize complex adapters that adhere to these rules, viz., by consistently separating data and control, and by using existing controller-synthesis algorithms. Our approach has been implemented, and we discuss some example applications, including real business processes in WS-BPEL. Christian Gierds, Arjan J. Mooij, Karsten Wolf |
IEEE Trans. Serv. Comput. | 1 |