Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Sebastian Thöne

dblp:30/2288 · DBLP profile ↗
← Back
7ranked-venue papers
0as first author
3since 2021 · last 2026
0009-0002-0812-8140ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 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
Requirements engineering and software design · 70% Services computing and microservices · 30%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Requirements engineering and software design
model-driven engineering
0.012003
Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003
Services computing and microservices
service-oriented architecture
0.012003
Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003
Requirements engineering and software design
software architecture
0.012003
Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003
Requirements engineering and software design › model-driven engineering › UML
UML models
0.012003
Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003
Services computing and microservices
middleware
0.012003
Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003

Methods — techniques the papers use, named apart from their topics

graph transformation · 0.0formal validation · 0.0UML modeling · 0.0
YearPublicationVenuePosition
2026 Domain-Driven Modeling of Combinatorial Constraint Satisfaction Problems for Quantum Solvers
Marc Uphues, Sebastian Thöne, Herbert Kuchen
ENASE (1)2
2022 Semi-automated Test Migration for BPMN-Based Process-Driven Applications
Konrad Schneid, Sebastian Thöne, Herbert Kuchen
EDOC2
2021 Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications
abstract
BPMN-based Process-Driven Applications (PDA) require less coding since they are not only based on source code, but also on executable process models. Automated testing of such model-driven applications gains growing relevance, and it becomes a key enabler if we want to found their development on continuous integration (CI) techniques.While process analysts are typically responsible for test case specifications from a business perspective, technically skilled process engineers take the responsibility for implementing the required test code. This is time-consuming and, due to their often different skills and backgrounds, might result in communication problems such as information losses and misunderstandings. This paper presents a new approach which enables an analyst to generate executable tests for PDAs without the need for manual coding. It consists of a sophisticated model analysis, a wizard-based specification of test cases, and a subsequent code generation. The resulting tests can easily be integrated into CI pipelines.The concept is underpinned by a user-friendly tool which has been evaluated in case studies and in real-world implementation projects from different industry sectors. During the evaluation, the prototype proved a more efficient test creation process and a higher test quality.
Konrad Schneid, Leon Stapper, Sebastian Thöne, Herbert Kuchen
EDOC3
2006 Style-based modeling and refinement of service-oriented architectures
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
Softw. Syst. Model.3
2004 Style-Based Refinement of Dynamic Software Architectures
abstract
In this paper, we address the correct refinement of abstract architectural models into more platform-specific representations. We consider the challenging case of dynamic architectures which can perform run-time reconfigurations. For this purpose, the underlying platform has to provide the necessary reconfiguration mechanisms. To conceptually model such platforms including provided reconfiguration mechanisms, we use architectural styles formalized by graph transformation rules. Based on formal refinement relations between abstract and platform-specific styles, we can then investigate how to realize business-specific scenarios on a certain platform by automatically deriving refined, platform-specific reconfiguration scenarios.
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
WICSA3
2003 Modeling and validation of service-oriented architectures: application vs. style
abstract
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is suitable for a given application (or more generally, to understand the interaction between application and platform), we propose UML models of both the architectural style of the platform and the application scenario. Based on a formal interpretation of these as graphs and graph transformation systems, we are able to validate the consistency between platform and application.
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
ESEC / SIGSOFT FSE3
2002 Process-Oriented, Consistent Integration of Software Components
abstract
The integration of software components becomes a more and more important issue in software engineering. Process-oriented approaches should provide automated information processes. Therefore, the software components have to be integrated in a consistent way, i.e., their export interfaces have to be respected by the importing components. Furthermore, the type system of component interfaces has to support a tunable degree of freedom. This allows the insertion of components with interfaces of restricted but sufficient degree of compatibility. In this paper, we develop a concept for consistent and flexible integration of components. We present a process modeling language that combines UML and XML in order to support consistent, flexible, and executable processes. Finally, we provide a formalization of the proposed component type system.
Ralph Depke, Gregor Engels, Sebastian Thöne, M. Langham, B. Lütkemeier
COMPSAC3