Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications

SB-TemPsy includes SB-TemPsy-DSL, a domain- specific language for specifying SBTPs that cover the most frequent requirement types in CPSs, and SB-TemPsy-Check, an

Figure 19: Regeneration with condition 3a and different sizes of the remaining domain (left) or different decay rate n of the signal (right).. If the cell structure is not convex,

To fulfill requirements R2 and R3, in previous work [ 9 ] we proposed a scalable model- driven trace checking procedure, which relies on a mapping of temporal requirements written

The goal of this paper is to provide a solution for scalable model-driven trace checking of temporal properties with aggregation operators. The main idea is to bridge the gap

To achieve the above objectives, the paper will make the following contributions: i) the TemPsy (Temporal Properties made easy) language, a pattern-based domain- specific language

The correct enactment of business processes in the context of eGovernment is of vital importance to supply reliable digital solutions to citizens and enterprises, as well as to

i) a model-driven trace checking procedure, which relies on a mapping of temporal requirements written in TemPsy into Ob- ject Constraint Language (OCL) constraints on a meta-model

These patterns are captured at the language level, and then used to derive a coordination spec- ification automatically for models conforming to the targeted DSMLs.. While the