Chen Ying 1, 1 Xingjian Chun Wang Hongda 1, 1,2 Yangqi Liang

(École d'ingénierie, Université de défense nationale de l'APL, Nanjing 210007, Chine; 2. Laboratoire d'État clé pour Roman Software Technology, l'Université de Nanjing, Nanjing 210093, Chine)

: BPEL pour la modélisation et l'analyse des processus à l'élimination du problème sémantique est pas parfait dans le chemin de la mort, nous proposons une nouvelle modélisation et l'analyse des processus BPEL. La méthode pour établir un chemin pour éliminer les règles sémantiques BPEL morts en commun if-then-else, et peut donc être modélisé formellement au moyen d'un réseau de Petri processus BPEL de couleur (le Parti communiste népalais), et en construisant un processus BPEL CPNTools analyse automatique et le mode de vérification. l'analyse de cas montre que la méthode a une certaine pratique et la faisabilité, aux ingénieurs de logiciels d'aide pour mieux les tests, la mise en service et la maintenance du programme. BPEL

: TP311.5 Code du document: ADOI: 10,19358 / j.issn.1674-7720.2017.06.008

Format de référence : REPORT Xingjian Chun Wang Hongda, la matrice de suppression de trajet BPEL modélisation et l'analyse de processus sémantiques [J] SES APPLICATIONS, 2017,36 (6): 22-25.

0 introduction

* Fonds: sciences naturelles Fondation de la province du Jiangsu (BK20151451) Services Web Business Process Execution Language (BPEL ou WSBPEL) est conçu pour répondre à l'industrie de la norme de facto pour les services basés sur les besoins des processus métier et le développement de [1]. Les services Web basés sur BPEL pour leur capacité à fournir une combinaison de service plus puissant a été largement reconnue par l'industrie [2]. Cependant, le processus d'entreprise de services ne sont pas toujours parfait, souvent il y aura quelques problèmes (tels que l'élimination du chemin mort) dans le processus de conception, il est difficile de répondre aux exigences de haute fiabilité et la faisabilité. Par conséquent, le processus BPEL élimine les problèmes de modélisation et d'analyse sémantique de doivent encore améliorer dans le chemin de la mort. Les soi-disant moyens d'élimination de chemin morts pour développer une gamme d'activités non-mise en uvre, ainsi que toutes les activités effectuées après l'achèvement de la mise en uvre des activités ne sera pas terminée. Chaque événement porte le rôle d'agir comme une action prochaine de décider si les conditions peuvent effectuer. À l'heure actuelle, l'analyse de modélisation processus BPEL liés à la technologie et de vérification sont majeurs réseau de Petri [3], algèbre de processus [4] et la machine automatique [5] ou analogue. [6] Analyse de près de 100 documents trouve de BREUGL F V, en utilisant l'algèbre de processus et un procédé automates modélisation des processus BPEL, son modèle est résumé processus de modélisation plus complexe plus difficile. En outre, parce que le programme BPEL soutient des chemins parallèles et l'élimination du chemin mort (élimination mort de chemin, DPE), dans toute la mesure du possible pour résoudre le chemin simultané modélisation des processus BPEL et l'élimination du chemin mort du problème, la nécessité d'améliorer les méthodes de modélisation traditionnelles existantes.

Compte tenu de la complexité des processus d'affaires, erreur [7] en utilisant des compositions de modélisation des processus BPEL plus sujettes, et non pas dans la langue facilement compréhensible. Afin de rendre le processus langage plus précis, simple et nécessite l'utilisation de méthodes formelles pour la modélisation et l'analyse des processus BPEL.

Sur la base de processus BPEL net Petri colorés en éliminant le chemin mort la modélisation sémantique. Les réseaux de Petri colorés (Petri colorés net, CPN) est une extension du réseau de Petri en général, avec toutes les propriétés des réseaux de Petri, et les éléments du programme seront la langue des réseaux de Petri (Meta Language, ML) ont été combinés et manière concise décrites dans le système simultané . La principale innovation de cet article est basé sur des travaux antérieurs, nous proposons une modélisation et l'analyse des processus d'élimination du chemin mort sous la sémantique, BPEL qui établirait un chemin pour éliminer la sémantique de BPEL morts dans ifthenelse commune règles et adopter outil CPNTools formellement démontré. A travers l'analyse de cas a montré que par rapport à la modélisation des processus BPEL existants, processus BPEL a proposé d'éliminer la modélisation du chemin de mort sémantique plus pratique et réalisable, ce qui peut aider les ingénieurs logiciels pour mieux tester, déboguer et programme d'entretien BPEL.

1 concepts associés

1.1BPEL Introduction et élimination du chemin mort

BPEL utilise XML (un sous-ensemble sous la Standard Generalized Markup Language) Langue de composition des services de préparation de langage de spécification formelle pour automatiser les processus d'affaires, vous pouvez coordonner la mise en uvre de services multiples. En raison des processus d'affaires, BPEL fournit une base des activités différentes des deux activités du type structuré d'activité [8]. Pendant ce temps, l'utilisation BPEL < flux > Fournir concurrency, la synchronisation des activités simultanées < lien > Représentation.

Une activité BPEL peut être plus < lien > Les activités de source, ces < lien > L'événement a appelé les liens sortants [9]. A la fin de l'activité, en fonction de chaque < lien > Les changements dans les conditions correspondant à < lien > État est défini (vrai ou faux). S'il n'y a pas de changements clairs associés à la condition, la condition de transition par défaut est true. Une activité, mais peut aussi être plus < lien > L'activité cible, ces < lien > Connu sous le nom des liens entrants pour l'événement. variables d'expression booléennes sur la constitution de l'état des liens entrants, la définition des conditions d'intégration (condition de jointure) pour le processus BPEL. Seulement lorsque la condition Fused est vrai, l'activité peut effectuer. quand tout < lien > Après avoir obtenu un certain état, la valeur de l'état de connexion à confirmer [10]. Si la condition de connexion est vrai, peut être réalisée l'activité, alors que si la condition de connexion est fausse, l'événement ne peut être réalisée à travers elle et tout < lien > Il est défini sur false. Un tel état aura été transmis jusqu'à ce qu'il rencontre une condition de transition d'activité est vrai, l'activité cible peut effectuer cette technique est appelée élimination du chemin mort.

profil 1.2CPN

Petri colorés Nets (Petri colorés Net, CPN) est un chercheur danois Kurt Jensen fait en 1981. avec les réseaux de Petri de base connus à tout le monde que, est aussi une CPN bibliothèque, composée de changement et de l'arc [11], mais différent est ajouté à CPN les déclarations d'éléments et la capacité de la simulation et la vérification du système. Combine les avantages CPN des réseaux de Petri et le langage de programmation de base, les processus d'affaires complexes peuvent être décrits de modélisation graphique, une façon que le processus devient plus simple et plus facile à comprendre. En outre, vous pouvez également utiliser un outil puissant CPNTools simulation Petri Nets de couleur de la limite du système de la nature, l'activité et de l'équité et ainsi être vérifiée. Les cas de ce document est d'utiliser cette simulation outil, la vérification et l'analyse, confirmant ainsi l'exactitude du texte de la règle proposée.

Définitions [9]: a CPN est un neuf-uplet CPN = (, P, T, A, N, C, G, E, I) de celui-ci. où:

Fini non vide défini désigne une couleur (couleur) et

P: description d'un ensemble limité de bibliothèque de système (Place) est;

T: Change ensemble fini (transition) a;

A: ensemble limité d'arcs (Arc) satisfont PT = PA = AT = ;

N: A (P × P × TT) de la fonction noeud (Node);

C: (PT) ss en fonction de la couleur, qui est un sous-ensemble fini ss de;

G: L'expression de T pour la fonction de protection T, à savoir tT, [Type (G (t)) = BType (Var (G (t))) ], dans lequel le type (v) représente une variable v Type, Var (exp r) exp r représente l'expression d'un ensemble de variables;

E: A expression arc est une expression de fonction, en forme de aA, [Type (E (a)) = C (P (a)) msType (Var (E (a))) ] ;

I: P expression initiale marquée, en forme de pP, [Type (I (p)) = C (P) ms].

BPEL règle de conversion de modélisation de processus sous 2DPE Sémantique

A propos des règles de mappage BEPL à des réseaux de Petri, dès 2004 à Berlin, Allemagne Université Humboldt de HINZ S a présenté un ensemble complet de BPEL dans les règles de conversion des réseaux de Petri [12]. Et STAHL C encore dans la thèse de son maître mentionné dans l'élimination du chemin mort des règles de modélisation sémantique, pour éliminer le modèle de chemin mort, ils ont établi un modèle de lien, incorporé dans une activité [12]. La principale contribution de cet article est de proposer un chemin pour éliminer la sémantique BPEL morts en commun ifthenelse règles et leurs déclarations officielles sur.

En BPEL, la < lien > Sont considérés comme une activité de base, il est considéré comme une condition décisive pour la condition de jointure de l'activité. selon < lien > activités et sémantique DPE, les quatre règles peuvent couvrir toutes les circonstances suivantes.

3 dans lequel l'ensemble de couleurs défini:

colset E = e; colset L = bool;

colset ACTIVE = produit L x E;

Neuf variables:

var L, LA, LB, L1, L2, L3, jc, couru: L, a: E.

Deux fonctions:

OK amusant (L1: L) = (= true l1);

amusant Skip (L1: L) = (= false l1).

Règle 1: connexion unique. 1, l'activité A, B Activité Activité C représentent trois activités de base, et ces trois activités sont des activités < flux > Dans. Les flèches indiquent les lignes le flux de contrôle entre les deux lignes en gras représente les activités < lien > Activités. Modifier les conditions d'activité B est TC1, l'état de connexion activité B est une valeur par défaut est true. La sémantique des DPE, simple < lien > Règle de conversion de connexion 2 peut être décrite en se référant à la figure. Dans cette conversion, la < lien > flux de contrôle normal dans le noeud et l'activité est exprimée en TC1 = l1. Ainsi, par des méthodes analytiques classiques pour analyser la faisabilité du chemin processus BPEL.

activité figure 1 dans le réseau, la bibliothèque Début Activité A Activité A représente un état initial, le jeu de couleurs ACTIVE. Lorsque la valeur de jeton (true, e) lorsque A représente un cas de fonctionnement normal, sur la base de l'expression de calcul de l'arc, le déclencheur modifie le B de l'activité, dans lequel une telle déclaration de cas est exécutée, l'autre instruction est omis, B représente une des activités normales de fonctionnement [9]. D'autre part, lorsque la valeur symbolique (de faux, e), il déclenche des changements Skipping B, B représente l'activité est sautée. bibliothèque de valeur Token Terminer l'activité C indique l'activité de l'état final, à savoir si d'effectuer des activités normales.

Règle 2: deux connectés < lien > . Si deux < lien > Successivement connecté,. La figure 2 peut être utilisé pour représenter les règles de transformation.

Règle 3: < lien > Il y a deux successeurs < lien > . Si un < lien > Derrière deux successeur < lien > , La règle de conversion 3 représentée sur la figure.

Règle 4: < lien > La source de l'événement contient une activité sous-jacente ( < tandis que > , < si > , < choisir > ). Si un < lien > La source d'événement contient une structure d'affirmation, la règle de conversion 4 représenté sur la figure. Figure activités exécutées dépendent F prédicat est actif (par exemple < si > ) Représente donc l'activité l1 l1 = si (si la détermination des conditions représentées par l'activité prédicat).

Puisque l'opération est similaire à la règle 1 et de l'article 2 et de l'article 4 règles d'activité web, un espace limité, pas encore décrit ici.

4 règles ou plus, chaque activité cible < lien > Il est une activité de base, si l'activité cible est une activité structurelle, y compris son activité elle-même sera ignorée. En même temps, toujours appliquer les quatre règles, programme BPEL jusqu'à ce qu'il ne soit plus une telle structure.

3 Étude de cas

3.1 Description de l'affaire

Dans cette section, un exemple d'utilisation WSBPEL 2.0Primer [1] pour évaluer cette méthode. Dans l'exemple de la figure 5, les quatre activités sont exécutées en même temps. < flux > Lorsque l'événement commence, quatre événements ont commencé en même temps. parce que < lien > La condition de transition est exactement le contraire (supérieur ou égal à 5000), ce qui signifie que deux événements ou de crédit de crédit baisse approuvent un seul sera exécuté.

Lorsque le graphe de contrôle de flux de conception BPEL, considérons le cas où il n'y a pas de graphe flux de contrôle des DPE, et un autre problème est que l'impasse ne peut pas être détectée. Et si l'on considère DPE, ces blocages peuvent être détectés. Par conséquent, la modélisation et l'analyse de processus d'élimination du chemin de mort BPEL sémantique est nécessaire.

3.2 Modélisation et analyse

Selon les règles de modélisation processus BPEL de cartographie CPN, l'ensemble du dossier est composé de deux activités de flux, une activité de commutation et à risque élevé, risque faible, Répondre et Invoke composé de quatre activités de base. Ce qui, le débit organisée par la bibliothèque et la section bibliothèque Commencez flux de flux entre la composition de la fin, basculer entre la partie active de la fin Commutateur et bibliothèques consistent bibliothèque Begin, l'espace est limité, le cas Tulio.

modèle CPN pour les cas ci-dessus, l'utilisation du modèle spatial des outils d'analyse de CPNTools d'état des propriétés de vérification automatique, figure. 6 est une description de la nature de l'activité de données peut être vu sur la figure, pas de modèle d'identification mort, il n'y a pas les changements ne peuvent se produire, que tous les changements sont actifs, de sorte que l'ensemble des modèles de cas répondent aux exigences de la nature de l'activité, afin de vérifier la rationalité de l'affaire.

4 Conclusion

D'après le graphique de flux de commande BPEL (DPE considéré comme la structure concurrente et une vue schématique d'un convertisseur de sonogramme 45 comprend une activité sous-jacente de détection typique de la procédure), présente une nouvelle méthode d'analyse de processus BPEL trajet possible, est divisé en deux principales contributions aspects. Tout d'abord, un nouveau graphe de contrôle de flux BPEL, à savoir un organigramme de commande d'un processus peut être Abstraite et l'exécution du programme WSBPEL considérés comme la sémantique de suppression du chemin mort. En second lieu, l'application CPNTools outils, graphique de flux de contrôle complexe est converti en BPEL graphique de flux relativement simple, et l'utilisation des outils d'analyse de l'espace d'état CPN analysent bornées, l'activité, afin de vérifier la faisabilité de la méthode le sexe.

références

[1] Wang Hongda, Xing Jianchun, Yang Qiliang, et al contrôle optimal sélection des tests de régression en fonction pour les applications de flux de travail axé sur le service [J] Journal des systèmes et logiciels, 2016, 124: 274-288 ...

. [2] Zheng Jian, Jiang Jianhui services Web progrès de la technologie de test de logiciels [J] Applications informatiques et logiciels, 2009,26 (10): 101-104.

[3] HINZ S, SCHMIDT K, STAHL C. Transforming BPEL Petri Nets [C] .Proceeding de la 3e Conférence internationale sur la gestion des processus d'affaires (BPM 2005), Berlin 2005: 220235 [4] FERRARA A .. services Web: une approche d'algèbre de processus [C] Actes du 2e Internationa Couference sur le service Oriented Computing de New York: .. ACM Press, 2004: 242-251.

[5] FOSTER H, uchitel S, MAGEE J, et al. Modelbased vérification des compositions de services Web [C].

Compte rendu de la 18e Conférence internationale IEEE sur Automated Software ingénierie, 2003: 152-161.

[6] BREUGEL FV, Modèles Koshkina M. et vérification de BPEL [EB / OL]. (200609xx) [19/10/2016] /drafts/tutorial.pdf. Septembre., 2006

[7] OUYANG C, BREUTAL S. WofBPEL: un outil d'analyse de processus BPEL automaed [J] de Lecture Notes in Computer Science, 2005,3826 :. 484489.

. [8] que Hong Kong Recherche et mise en uvre BPEL système d'exécution de la tâche humaine en fonction mode asynchrone [D] Chongqing: Université de Chongqing, 2010.

[9] STAHL C. Transformation von BPEL4WS en Petrinetze [D] Berlin :. Université Humboldt à Berlin zu 2004.

[10]. Luoxiang Yu, Wang Kun, méthode de détection en épingle à cheveux de modèle cognitif Wang de la composition des services Web [J] Computer Systems, 2011,32 (10): 2042-2047.

[11]. Peng Jie et la mise en uvre de [D] Nanchang flux de travail basé sur la modélisation des réseaux de Petri colorés: Jiangxi Université de technologie, 2009.

[12] porte Peng, Duan Zhenhua DU NORD-OUEST UNIVERSITY modélisation à base de BPEL et de vérification de couleur réseaux de Petri [J], 2007,37 (6): 986-990 ...