18 résultats avec le mot-clé: 'model driven approach offline trace checking temporal properties 2'
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
N/A
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
N/A
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
N/A
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
N/A
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
N/A
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
N/A
Inscrire un espace dans un processus de patrimonialisation correspond-il à figer dans le temps (temps physique et temps social) un espace dont la dynamique relationnelle
N/A
Pour relever le taux de réalisation des liaisons entre le clitique sujet et le verbe, nous avons soumis le Test de lecture et le Test de production guidée à nos apprenants.. L'écrit
N/A
In a previous work some of the authors developed SOLOIST (SpecificatiOn Language fOr servIce compoSitions inTerac- tions) [6] a metric temporal logic with new, additional
N/A
Des son accession & l'Ind8pendance, la Tunisie slest fixe comme premier objectif a atteindre dans Sa lutte contre Ie sous-developpement, Ie decol1age economi~ue, lequel depend
N/A
To summarise the above, our approach to model-checking temporal properties of sequences of rewrite rules consists of two phases outlined in [7]: (1) translation of a temporal
N/A
Laisser la chambre aérer avant d'y pénétrer Assurer la détection gaz et la détection d’absence d’oxygène avant et pendant toute la durée de l’intervention dans l’ouvrage
N/A
Ectoparasites; endoparasites; monogènes; copépode; nématode; cestode; Pseudodactylogyrus; Argulus kusafugu, Anguillicola crassus; Bothriocephalus claviceps;
N/A
Conference on Automated Deduction, CADE’00, volume 1831 of Lecture Notes in Computer Science, pages 271–290. Regular tree languages and rewrite systems. Linear Generalized
N/A
Est approuvée la convention ci-annexée avec GRTGaz définissant les modalités et les conditions de réalisation et de financement des études de dévoiement et de protection des
N/A
questions, such as how play is positioned, what types of play are encouraged or prohib- ited within early childhood education, and what are the ways in which some notions of play
N/A
Figure 3 - Réponses concernant les gestes des jours de rentrée (2).. 45 les inspecteurs ou leur hiérarchie s’y opposent. Les répondants avouent qu’ils discutent plutôt
N/A