Besoin d'aide ?

Boutton de vérification à l'aide d'un algorithme de marquage

Avatar de samsam
samsam

Bonjour a tous, j'ai créer un petit site web avec laravel contient un projet qui a des automates et proprietes et les états de ces automates et ses transitions tous marche bien , maintenant je veux ajouter un algorithme qui permet de vérifier ce projet et ces proprietés , c'est un algorithme de vérification formelle(model-checking) nommée algorithme de marquage

procedure marking(phi)
case 1 : phi = P
for all q in Q, if P in l(q) then do q.phi := true,
else do q.phi := false.
case 2: phi = not psi
do marking(psi);
for all q in Q, do q.phi := not(q.psi).
case 3: phi = psi! /\ psi2
do marking(psi1); marking(psi2);
for all q in Q, do q.phi := and(q.psi1, q.psi2).
case 4: phi = EX psi
do marking(psi);
for all q in Q, do q.phi := false; I* initialisation *I
for all (q,q') in T, if q'.psi =true then do q.phi :=true.
case 5: phi = E psi! U psi2
do marking(psi1); marking(psi2);
for all q in Q,
q.phi := false;
L := {};
for all q in Q, if
while L nonempty {
q.seenbefore := false;/* initialisation *I
I* L: states to be processed *I
q.psi2 = true then do L := L + { q };
}
draw q from L;
L := L - { q };
q.phi := true;
for all (q' ,q) in T {
}
if q' .seenbefore = false
q'.seenbefore :=true;
if q' .psi! = true then
}
case 6: phi = A psi! U psi2
I* See further *I
I* must mark q *I
I* q' is a predecessor of q *I
then do {
do L := L + { q' }

j'ai crée une page.php ou j'ajoute cet algorithme , et j'ai créer un controller contient une méthode s'appele "excute" ; que je dois faire maintenant MERCI.

Posté il y a 3 mois
Avatar de CinquièmeDimension
CinquièmeDimension

Alors j'ai quasiment rien compris à ce que tu veux faire, ni même à ton application (et ni à ton script d'ailleurs). Mais ce que je comprends, tu me dis si j'ai faux, c'est que tu veux faire un bouton qui execute ton script et te renvoie une réponse. Je vois que tu as créé un page.php pour y placer ton algorithme. C'est une mauvaise pratique dans un framework, je pense, de créer une fiche php à part.

Si c'est bien le cas, j'aurais mis ton script dans ta méthode execute de ton controller et je l'aurai appelée en AJAX pour avoir une réponse dans ta page sans rafraîchir. Mais vu que j'ai pas tout compris, je suis probablement tombé à côté de ta demande

Posté il y a 3 mois

Vous ne pouvez pas répondre à ce sujet.