• Aucun résultat trouvé

18 résultats avec le mot-clé: 'model driven approach offline trace checking temporal properties 2'

A Model-Driven Approach to Offline Trace Checking of Temporal Properties

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

Protected

N/A

133
0
0
2021
A Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL

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

Protected

N/A

110
0
0
2021
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach

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

Protected

N/A

12
0
0
2021
A Model-driven Approach to Trace Checking of Temporal Properties with 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

Protected

N/A

20
0
0
2021
A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties

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

Protected

N/A

11
0
0
2021
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties

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

Protected

N/A

11
0
0
2021
l'élevage montagnard face au paysage patrimonial : organisation et réseaux d'acteurs autour de la construction d'une nouvelle représentation collective : l’exemple des sites « Causses et Cévennes » et « Chaîne des Puys – Faille De Limagne »

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

Protected

N/A

464
0
0
2021
Oral et oralisation des formes verbales en FL2 : formes fléchies et liaison

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

Protected

N/A

18
0
0
2021
Offline Trace Checking of Quantitative Properties of Service-Based Applications

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

Protected

N/A

8
0
0
2021
ECONOMIOUE . ET SOC I AL

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

Protected

N/A

14
0
0
2022
From Linear Temporal Logic Properties to Rewrite Propositions

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

Protected

N/A

35
0
0
2021
Plan de Prevention des Risques

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

Protected

N/A

56
0
0
2022
Les parasites de l'anguille européenne Anguilla anguilla capturée dans le lac Tonga (P.N.E.K)

Ectoparasites; endoparasites; monogènes; copépode; nématode; cestode; Pseudodactylogyrus; Argulus kusafugu, Anguillicola crassus; Bothriocephalus claviceps;

Protected

N/A

117
0
0
2021
TAGED Approximations for Temporal Properties Model-Checking

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

Protected

N/A

19
0
0
2021
EXTRAIT DES REGISTRES DES DELIBERATIONS DU BUREAU DE LA METROPOLE D'AIX-MARSEILLE-PROVENCE

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

Protected

N/A

3
0
0
2022
View of Introduction

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

Protected

N/A

5
0
0
2022
Faciliter la séparation des élèves et des parents lors de l'entrée à la maternelle : quels gestes professionnels ?

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

Protected

N/A

84
0
0
2021
471 - Recuperación plena de costos por la administración de proyectos financiados con recursos externos.

“(i) la contratación de una consultoría externa para que elabore un estudio que dé elementos para definir una política de recuperación de costos generados por

Protected

N/A

2
0
0
2021

Télécharger plus de documents et télécharger des études de documentation immédiatement !