Integrating Interface Modeling and Analysis in an Industrial Setting

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

doi:10.5220/0006133103450352

Cited by 12 publications

(11 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section, we introduce ComMA [26] as far as needed to understand the remainder of this paper. The ComMA framework consists of the following three main languages: signature, interface and traces.…”

Section: Model-based Definition Of Interfaces In Commamentioning

confidence: 99%

“…It is easy to check that the resulting state machine conforms to the input event log since (a) the causal graphs represent all possible ordering of events present in an event log, and (b) the corresponding merged state machine is not disturbing the order of events present in the causal graph. To validate the implementation of our learning algorithm, the monitoring feature in ComMA is used to check for conformance between the generated interface model and the set of input event logs [26].…”

Section: Remarksmentioning

confidence: 99%

“…To overcome the drawbacks of current interface modeling tools, we have developed an Eclipse-based DSL (Domain Specific Language) called ComMA (Component Modeling and Analysis). ComMA [26] is currently used at business unit Image Guided Therapy (IGT) of Philips for specifying interfaces of software components. A ComMA interface specification describes the signature and behavior of a server component.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

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

Section: Model-based Definition Of Interfaces In Commamentioning

confidence: 99%

Section: Remarksmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Reverse engineering models of software interfaces

Bera¹,

Schuts

Hooman³

et al. 2021

COMSIS J

Self Cite

View full text Add to dashboard Cite

show abstract

“…The work of Kurtev [14] is used in the x-ray machine, it provided a family of domain-specific languages that integrate existing techniques from formal behavioral and time modeling. F. Scippacercola [21] have explored the application of model-driven engineering on the interlocking system (a subsystem of signaling system of the rail-way).…”

Section: Related Workmentioning

confidence: 99%

A Model-Based Combination Language for Scheduling Verification

Zhao

Apvrille

Mallet

2020

Communications in Computer and Information Science

View full text Add to dashboard Cite

Cyber-Physical Systems (CPSs) are built upon discrete software and hardware components, as well as continuous physical components. Such heterogeneous systems involve numerous domains with competencies and expertise that go far beyond traditional software engineering: systems engineering. In this paper, we explore a model-based approach for systems engineering that advocates the composition of several heterogeneous artifacts (called views) into a sound and consistent system model. A model combination Language is proposed for this purpose. Thus, rather than trying to build the universal language able to capture all possible aspects of systems, the proposed language proposes to relate small subsets of languages in order to offer specific analysis capabilities while keeping a global consistency between all joined models. We demonstrate the interest of our approach through an industrial process based on Capella, which provides (among others) a large support for functional analysis from requirements to components deployment. Even though Capella is already quite expressive, it lacks support for schedulability analysis. AADL is also a language dedicated to system analysis. If it is backed with advanced schedulability tools, it lacks support for functional analysis. Thus, instead of proposing ways to add missing aspects in either Capella or AADL, we rather extract a relevant subset of both languages to build a view adequate for conducting schedulability analysis of Capella functional models. Finally, our combination language is generic enough to extract pertinent subsets of languages and combine them to build views for different experts. It also helps maintaining a global consistency between different modeling views.

show abstract

“…To overcome the drawbacks of current interface definitions, we have developed a Domain Specific Language (DSL), called ComMA as an abbreviation for Component Modeling and Analysis. ComMA [1] is currently used at the business unit Image Guided Therapy (IGT) of Philips for the formal definition of signature, state and timing behavior of software interfaces. ComMA specifies the signature of a server, i.e., the operations it offers to clients and the notifications it can send to clients.…”

Section: Introductionmentioning

confidence: 99%

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

Schuts

Hooman

Kurtev³

et al. 2018

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

Cyber-physical systems consist of many hardware and software components. Over the life-cycle of these systems, components are replaced or updated. To avoid integration problems, good interface descriptions are crucial for component-based development of these systems. For new components, a Domain Specific Language (DSL) called Component Modeling & Analysis (ComMA) can be used to formally define the interface of such a component in terms of its signature, state and timing behavior. Having interfaces described in a model-based approach enables the generation of artifacts, for instance, to generate a monitor that can check interface conformance of components based on a trace of observed interface interactions during execution. The benefit of having formal interface descriptions also holds for legacy system components. Interfaces of legacy components can be reverse engineered manually. In order to reduce the manual effort, we present an automated learner. The learner can reverse engineer state and timing behavior of a legacy interface by examining event traces of the component in operation. The learner will then generate a ComMA model. 1 www.plantuml.com 2 www.doxygen.org

show abstract

Integrating Interface Modeling and Analysis in an Industrial Setting

Cited by 12 publications

References 1 publication

Reverse engineering models of software interfaces

Reverse engineering models of software interfaces

A Model-Based Combination Language for Scheduling Verification

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

Contact Info

Product

Resources

About