Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach

Schuts, Mathijs; Hooman, Jozef; Kurtev, Ivan; Swagerman, D.-J.

doi:10.15439/2018f64

Cited by 4 publications

(4 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Software behavior: the aim is to move beyond the traditional structural description of software and systems and to describe the behavior in an actionable way. This is done by capturing how the building blocks affect their surround-ings, as described in (Schuts 2018). This includes static and dynamic behavior of a single interface, multiple interfaces, an entire component, multiple components, and the complete architecture.…”

Section: Expertise Teams and Roadmapsmentioning

confidence: 99%

TNO‐ESI – Systems Engineering Methodologies for Managing Complexity in the High‐Tech Equipment Industry: Our Roadmap

Leibbrandt¹,

Wesselius²,

Beenker³

2022

INSIGHT

View full text Add to dashboard Cite

The high-tech equipment industry brings complex industrial products to the market with high speed, enhanced functionality, a better cost-performance ratio, and greater integration into customer workflows. Driven by digitalization, the complexity of these systems continues to grow steeply. To manage this complexity, continuous innovation in systems engineering methodologies is needed. TNO-ESI targets to 1) create impactful and industrially applicable systems engineering methodologies and 2) provide innovation support to the industry to get these applied in an industrial context. The ESI research program is defined through a roadmapping process that follows two tracks: a roadmap that maps industry needs and related research and development requirements and a roadmap that describes the developments in the expertise areas necessary for addressing these industry needs. In this paper, we describe the ESI mission, our way of working and activities, and explain the roadmapping process and the roadmaps.

show abstract

Section: Expertise Teams and Roadmapsmentioning

confidence: 99%

TNO‐ESI – Systems Engineering Methodologies for Managing Complexity in the High‐Tech Equipment Industry: Our Roadmap

Leibbrandt¹,

Wesselius²,

Beenker³

2022

INSIGHT

View full text Add to dashboard Cite

show abstract

“…The resulting Mealy machine is transformed into a nondeterministic Moore machine. The trivial solution for the case of positive traces only is the basis for the work in [39]. Note that this is different from the state merging approach.…”

Section: Related Workmentioning

confidence: 99%

“…In contrast, the approach in our previous paper [39], first transforms an event log into a type of Moore automata [24] and then into a ComMA state machine and a set of time constraints. The idea in that paper is to identify event groups that start with a client-initiated event (command or signal) followed by zero or more server-initiated events (notifications).…”

Section: Introductionmentioning

confidence: 99%

Reverse engineering models of software interfaces

Bera¹,

Schuts

Hooman³

et al. 2021

COMSIS J

Self Cite

View full text Add to dashboard Cite

Cyber-physical systems consist of many hardware and software components. Over the lifetime of these systems their components are often replaced or updated. To avoid integration problems, formal specifications of component interface behavior are crucial. Such a formal specification captures not only the set of provided operations but also the order of using them and the constraints on their timing behavior. Usually the order of operations are expressed in terms of a state machine. For new components such a formal specification can be derived from requirements. However, for legacy components such interface descriptions are usually not available. So they have to be reverse engineered from existing event logs and source code. This costs a lot of time and does not scale very well. To improve the efficiency of this process, we present a passive learning technique for interface models inspired by process mining techniques. The approach is based on representing causal relations between events present in an event log and their timing information as a timed-causal graph. The graph is further processed and eventually transformed into a state machine and a set of timing constraints. Compared to other approaches in literature which focus on the general problem of inferring state-based behavior, we exploit patterns of client-server interactions in event logs.

show abstract

“…Mapping a DSL to a Moore Machine-based semantics has been done before [3,5,24]. However, to the best of our knowledge, we are the first to define a predicative semantics of a DSL based on PMSAT.…”

Section: Related Workmentioning

confidence: 99%

Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT

Aichernig

Burghard

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Domain-specific Languages (DSLs) are widely used in modelbased testing to make the benefits of modeling available to test engineers while avoiding the problem of excessive learning effort. Complex DSLs benefit from a formal definition of their semantics for model processing as well as consistency checking. A formal semantics can be established by mapping the model domain to a well-known formalism. In this paper, we present an industrial use case which includes a mapping from domainspecific models to Moore Machines, based on a Partial MAX-SAT problem, encoding a predicative semantics for the model-to-model mapping. We show how Partial MAX-SAT solves the frame problem for a nontrivial DSL in which the non-effect on variables cannot be determined statically. We evaluated the performance of our model-transformation algorithm based on models from our industrial use case.

show abstract

Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach

Cited by 4 publications

References 16 publications

TNO‐ESI – Systems Engineering Methodologies for Managing Complexity in the High‐Tech Equipment Industry: Our Roadmap

TNO‐ESI – Systems Engineering Methodologies for Managing Complexity in the High‐Tech Equipment Industry: Our Roadmap

Reverse engineering models of software interfaces

Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT

Contact Info

Product

Resources

About