18 résultats avec le mot-clé: 'model driven approach trace checking temporal properties aggregations'
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
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 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
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 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
Due to the low thrust propul- sion, Dawn will slowly transit through ground-track resonances (abbreviated by GTR), where the perturba- tions on Dawn orbit may be significant.. In
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
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
La rémunération (7 %) n’est pas un critère déterminant pour les immigrés dans le choix du dépositaire de leur épargne. Deux explications peuvent justifier ce
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
This paper contains three sections : in the first one, different solution techniques for the set covering problem are described ; this section may be skipped, as it is
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