Web Service Mining and Verification of Properties : An Approach Based on Event Calculus
Identifieur interne :
000339 ( PascalFrancis/Corpus );
précédent :
000338;
suivant :
000340
Web Service Mining and Verification of Properties : An Approach Based on Event Calculus
Auteurs : Mohsen Rouached ;
Walid Gaaloul ;
Wil M. P. Van Der Aalst ;
Sami Bhiri ;
Claude GodartSource :
-
Lecture notes in computer science [ 0302-9743 ] ; 2006.
RBID : Pascal:08-0073192
Descripteurs français
- Pascal (Inist)
- Internet,
Fouille donnée,
Service web,
Système réactif,
Orienté objet,
Système réparti,
Pistage,
Processus métier,
Processus service,
Fichier log,
Modélisation,
..
English descriptors
- KwdEn :
- Business process,
Data mining,
Distributed system,
Internet,
Log file,
Modeling,
Object oriented,
Reactive system,
Service process,
Tracking,
Web service.
Abstract
Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications. This article describes a novel way of applying process mining techniques to Web services logs in order to enable "Web service intelligence". Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances.
Notice en format standard (ISO 2709)
Pour connaître la documentation sur le format Inist Standard.
| pA |
| A01 | 01 | 1 | | @0 0302-9743 |
|---|
| A05 | | | | @2 4275 |
|---|
| A08 | 01 | 1 | ENG | @1 Web Service Mining and Verification of Properties : An Approach Based on Event Calculus |
|---|
| A09 | 01 | 1 | ENG | @1 On the move to meaningful internet systems 2006. Part I: CoopIS, DOA, GADA, and ODBASE. Part II: OTM 2006 workshops : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006 : proceedings |
|---|
| A11 | 01 | 1 | | @1 ROUACHED (Mohsen) |
|---|
| A11 | 02 | 1 | | @1 GAALOUL (Walid) |
|---|
| A11 | 03 | 1 | | @1 VAN DER AALST (Wil M. P.) |
|---|
| A11 | 04 | 1 | | @1 BHIRI (Sami) |
|---|
| A11 | 05 | 1 | | @1 GODART (Claude) |
|---|
| A14 | 01 | | | @1 LORIA-INRIA-UMR 7503 BP 239 @2 54506 Vandœuvre-les-Nancy @3 FRA @Z 1 aut. @Z 2 aut. @Z 4 aut. @Z 5 aut. |
|---|
| A14 | 02 | | | @1 Department of Technology Management, Eindhoven University of Technology P.O. Box 513 @2 5600 MB, Eindhoven @3 NLD @Z 3 aut. |
|---|
| A20 | | | | @1 408-425 |
|---|
| A21 | | | | @1 2006 |
|---|
| A23 | 01 | | | @0 ENG |
|---|
| A26 | 01 | | | @0 3-540-48287-3 |
|---|
| A43 | 01 | | | @1 INIST @2 16343 @5 354000172810650240 |
|---|
| A44 | | | | @0 0000 @1 © 2008 INIST-CNRS. All rights reserved. |
|---|
| A45 | | | | @0 39 ref. |
|---|
| A47 | 01 | 1 | | @0 08-0073192 |
|---|
| A60 | | | | @1 P @2 C |
|---|
| A61 | | | | @0 A |
|---|
| A64 | 01 | 1 | | @0 Lecture notes in computer science |
|---|
| A66 | 01 | | | @0 DEU |
|---|
| C01 | 01 | | ENG | @0 Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications. This article describes a novel way of applying process mining techniques to Web services logs in order to enable "Web service intelligence". Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances. |
|---|
| C02 | 01 | X | | @0 001D02B07B |
|---|
| C02 | 02 | X | | @0 001D02B04 |
|---|
| C03 | 01 | X | FRE | @0 Internet @5 01 |
|---|
| C03 | 01 | X | ENG | @0 Internet @5 01 |
|---|
| C03 | 01 | X | SPA | @0 Internet @5 01 |
|---|
| C03 | 02 | X | FRE | @0 Fouille donnée @5 06 |
|---|
| C03 | 02 | X | ENG | @0 Data mining @5 06 |
|---|
| C03 | 02 | X | SPA | @0 Busca dato @5 06 |
|---|
| C03 | 03 | X | FRE | @0 Service web @5 07 |
|---|
| C03 | 03 | X | ENG | @0 Web service @5 07 |
|---|
| C03 | 03 | X | SPA | @0 Servicio web @5 07 |
|---|
| C03 | 04 | X | FRE | @0 Système réactif @5 08 |
|---|
| C03 | 04 | X | ENG | @0 Reactive system @5 08 |
|---|
| C03 | 04 | X | SPA | @0 Sistema reactivo @5 08 |
|---|
| C03 | 05 | X | FRE | @0 Orienté objet @5 09 |
|---|
| C03 | 05 | X | ENG | @0 Object oriented @5 09 |
|---|
| C03 | 05 | X | SPA | @0 Orientado objeto @5 09 |
|---|
| C03 | 06 | X | FRE | @0 Système réparti @5 10 |
|---|
| C03 | 06 | X | ENG | @0 Distributed system @5 10 |
|---|
| C03 | 06 | X | SPA | @0 Sistema repartido @5 10 |
|---|
| C03 | 07 | X | FRE | @0 Pistage @5 11 |
|---|
| C03 | 07 | X | ENG | @0 Tracking @5 11 |
|---|
| C03 | 07 | X | SPA | @0 Rastreo @5 11 |
|---|
| C03 | 08 | X | FRE | @0 Processus métier @5 18 |
|---|
| C03 | 08 | X | ENG | @0 Business process @5 18 |
|---|
| C03 | 08 | X | SPA | @0 Proceso oficio @5 18 |
|---|
| C03 | 09 | X | FRE | @0 Processus service @5 19 |
|---|
| C03 | 09 | X | ENG | @0 Service process @5 19 |
|---|
| C03 | 09 | X | SPA | @0 Proceso servicio @5 19 |
|---|
| C03 | 10 | X | FRE | @0 Fichier log @5 20 |
|---|
| C03 | 10 | X | ENG | @0 Log file @5 20 |
|---|
| C03 | 10 | X | SPA | @0 Fichero actividad @5 20 |
|---|
| C03 | 11 | X | FRE | @0 Modélisation @5 23 |
|---|
| C03 | 11 | X | ENG | @0 Modeling @5 23 |
|---|
| C03 | 11 | X | SPA | @0 Modelización @5 23 |
|---|
| C03 | 12 | X | FRE | @0 . @4 INC @5 82 |
|---|
| N21 | | | | @1 035 |
|---|
| N44 | 01 | | | @1 OTO |
|---|
| N82 | | | | @1 OTO |
|---|
|
|---|
| pR |
| A30 | 01 | 1 | ENG | @1 OTM Confederated International Conferences @3 Montpellier FRA @4 2006 |
|---|
|
|---|
Format Inist (serveur)
| NO : | PASCAL 08-0073192 INIST |
|---|
| ET : | Web Service Mining and Verification of Properties : An Approach Based on Event Calculus |
|---|
| AU : | ROUACHED (Mohsen); GAALOUL (Walid); VAN DER AALST (Wil M. P.); BHIRI (Sami); GODART (Claude) |
|---|
| AF : | LORIA-INRIA-UMR 7503 BP 239/54506 Vandœuvre-les-Nancy/France (1 aut., 2 aut., 4 aut., 5 aut.); Department of Technology Management, Eindhoven University of Technology P.O. Box 513/5600 MB, Eindhoven/Pays-Bas (3 aut.) |
|---|
| DT : | Publication en série; Congrès; Niveau analytique |
|---|
| SO : | Lecture notes in computer science; ISSN 0302-9743; Allemagne; Da. 2006; Vol. 4275; Pp. 408-425; Bibl. 39 ref. |
|---|
| LA : | Anglais |
|---|
| EA : | Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications. This article describes a novel way of applying process mining techniques to Web services logs in order to enable "Web service intelligence". Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances. |
|---|
| CC : | 001D02B07B; 001D02B04 |
|---|
| FD : | Internet; Fouille donnée; Service web; Système réactif; Orienté objet; Système réparti; Pistage; Processus métier; Processus service; Fichier log; Modélisation; . |
|---|
| ED : | Internet; Data mining; Web service; Reactive system; Object oriented; Distributed system; Tracking; Business process; Service process; Log file; Modeling |
|---|
| SD : | Internet; Busca dato; Servicio web; Sistema reactivo; Orientado objeto; Sistema repartido; Rastreo; Proceso oficio; Proceso servicio; Fichero actividad; Modelización |
|---|
| LO : | INIST-16343.354000172810650240 |
|---|
| ID : | 08-0073192 |
|---|
Links to Exploration step
Pascal:08-0073192
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Web Service Mining and Verification of Properties : An Approach Based on Event Calculus</title>
<author><name sortKey="Rouached, Mohsen" sort="Rouached, Mohsen" uniqKey="Rouached M" first="Mohsen" last="Rouached">Mohsen Rouached</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA-INRIA-UMR 7503 BP 239</s1>
<s2>54506 Vandœuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14><author><name sortKey="Gaaloul, Walid" sort="Gaaloul, Walid" uniqKey="Gaaloul W" first="Walid" last="Gaaloul">Walid Gaaloul</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA-INRIA-UMR 7503 BP 239</s1>
<s2>54506 Vandœuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14><author><name sortKey="Van Der Aalst, Wil M P" sort="Van Der Aalst, Wil M P" uniqKey="Van Der Aalst W" first="Wil M. P." last="Van Der Aalst">Wil M. P. Van Der Aalst</name>
<affiliation><inist:fA14 i1="02"><s1>Department of Technology Management, Eindhoven University of Technology P.O. Box 513</s1>
<s2>5600 MB, Eindhoven</s2>
<s3>NLD</s3>
<sZ>3 aut.</sZ>
</inist:fA14><author><name sortKey="Bhiri, Sami" sort="Bhiri, Sami" uniqKey="Bhiri S" first="Sami" last="Bhiri">Sami Bhiri</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA-INRIA-UMR 7503 BP 239</s1>
<s2>54506 Vandœuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14><author><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA-INRIA-UMR 7503 BP 239</s1>
<s2>54506 Vandœuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14><publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">08-0073192</idno>
<date when="2006">2006</date>
<idno type="stanalyst">PASCAL 08-0073192 INIST</idno>
<idno type="RBID">Pascal:08-0073192</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000339</idno>
</publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Web Service Mining and Verification of Properties : An Approach Based on Event Calculus</title>
<author><name sortKey="Rouached, Mohsen" sort="Rouached, Mohsen" uniqKey="Rouached M" first="Mohsen" last="Rouached">Mohsen Rouached</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA-INRIA-UMR 7503 BP 239</s1>
<s2>54506 Vandœuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14><author><name sortKey="Gaaloul, Walid" sort="Gaaloul, Walid" uniqKey="Gaaloul W" first="Walid" last="Gaaloul">Walid Gaaloul</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA-INRIA-UMR 7503 BP 239</s1>
<s2>54506 Vandœuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14><author><name sortKey="Van Der Aalst, Wil M P" sort="Van Der Aalst, Wil M P" uniqKey="Van Der Aalst W" first="Wil M. P." last="Van Der Aalst">Wil M. P. Van Der Aalst</name>
<affiliation><inist:fA14 i1="02"><s1>Department of Technology Management, Eindhoven University of Technology P.O. Box 513</s1>
<s2>5600 MB, Eindhoven</s2>
<s3>NLD</s3>
<sZ>3 aut.</sZ>
</inist:fA14><author><name sortKey="Bhiri, Sami" sort="Bhiri, Sami" uniqKey="Bhiri S" first="Sami" last="Bhiri">Sami Bhiri</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA-INRIA-UMR 7503 BP 239</s1>
<s2>54506 Vandœuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14><author><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA-INRIA-UMR 7503 BP 239</s1>
<s2>54506 Vandœuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14><series><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
<imprint><date when="2006">2006</date>
</imprint><seriesStmt><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
</seriesStmt><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Business process</term>
<term>Data mining</term>
<term>Distributed system</term>
<term>Internet</term>
<term>Log file</term>
<term>Modeling</term>
<term>Object oriented</term>
<term>Reactive system</term>
<term>Service process</term>
<term>Tracking</term>
<term>Web service</term>
</keywords><keywords scheme="Pascal" xml:lang="fr"><term>Internet</term>
<term>Fouille donnée</term>
<term>Service web</term>
<term>Système réactif</term>
<term>Orienté objet</term>
<term>Système réparti</term>
<term>Pistage</term>
<term>Processus métier</term>
<term>Processus service</term>
<term>Fichier log</term>
<term>Modélisation</term>
<term>.</term>
</keywords><front><div type="abstract" xml:lang="en">Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications. This article describes a novel way of applying process mining techniques to Web services logs in order to enable "Web service intelligence". Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances.</div>
</front><inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0302-9743</s0>
</fA01><fA05><s2>4275</s2>
</fA05><fA08 i1="01" i2="1" l="ENG"><s1>Web Service Mining and Verification of Properties : An Approach Based on Event Calculus</s1>
</fA08><fA09 i1="01" i2="1" l="ENG"><s1>On the move to meaningful internet systems 2006. Part I: CoopIS, DOA, GADA, and ODBASE. Part II: OTM 2006 workshops : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006 : proceedings</s1>
</fA09><fA11 i1="01" i2="1"><s1>ROUACHED (Mohsen)</s1>
</fA11><fA11 i1="02" i2="1"><s1>GAALOUL (Walid)</s1>
</fA11><fA11 i1="03" i2="1"><s1>VAN DER AALST (Wil M. P.)</s1>
</fA11><fA11 i1="04" i2="1"><s1>BHIRI (Sami)</s1>
</fA11><fA11 i1="05" i2="1"><s1>GODART (Claude)</s1>
</fA11><fA14 i1="01"><s1>LORIA-INRIA-UMR 7503 BP 239</s1>
<s2>54506 Vandœuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</fA14><fA14 i1="02"><s1>Department of Technology Management, Eindhoven University of Technology P.O. Box 513</s1>
<s2>5600 MB, Eindhoven</s2>
<s3>NLD</s3>
<sZ>3 aut.</sZ>
</fA14><fA20><s1>408-425</s1>
</fA20><fA21><s1>2006</s1>
</fA21><fA23 i1="01"><s0>ENG</s0>
</fA23><fA26 i1="01"><s0>3-540-48287-3</s0>
</fA26><fA43 i1="01"><s1>INIST</s1>
<s2>16343</s2>
<s5>354000172810650240</s5>
</fA43><fA44><s0>0000</s0>
<s1>© 2008 INIST-CNRS. All rights reserved.</s1>
</fA44><fA45><s0>39 ref.</s0>
</fA45><fA47 i1="01" i2="1"><s0>08-0073192</s0>
</fA47><fA60><s1>P</s1>
<s2>C</s2>
</fA60><fA64 i1="01" i2="1"><s0>Lecture notes in computer science</s0>
</fA64><fA66 i1="01"><s0>DEU</s0>
</fA66><fC01 i1="01" l="ENG"><s0>Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications. This article describes a novel way of applying process mining techniques to Web services logs in order to enable "Web service intelligence". Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances.</s0>
</fC01><fC02 i1="01" i2="X"><s0>001D02B07B</s0>
</fC02><fC02 i1="02" i2="X"><s0>001D02B04</s0>
</fC02><fC03 i1="01" i2="X" l="FRE"><s0>Internet</s0>
<s5>01</s5>
</fC03><fC03 i1="01" i2="X" l="ENG"><s0>Internet</s0>
<s5>01</s5>
</fC03><fC03 i1="01" i2="X" l="SPA"><s0>Internet</s0>
<s5>01</s5>
</fC03><fC03 i1="02" i2="X" l="FRE"><s0>Fouille donnée</s0>
<s5>06</s5>
</fC03><fC03 i1="02" i2="X" l="ENG"><s0>Data mining</s0>
<s5>06</s5>
</fC03><fC03 i1="02" i2="X" l="SPA"><s0>Busca dato</s0>
<s5>06</s5>
</fC03><fC03 i1="03" i2="X" l="FRE"><s0>Service web</s0>
<s5>07</s5>
</fC03><fC03 i1="03" i2="X" l="ENG"><s0>Web service</s0>
<s5>07</s5>
</fC03><fC03 i1="03" i2="X" l="SPA"><s0>Servicio web</s0>
<s5>07</s5>
</fC03><fC03 i1="04" i2="X" l="FRE"><s0>Système réactif</s0>
<s5>08</s5>
</fC03><fC03 i1="04" i2="X" l="ENG"><s0>Reactive system</s0>
<s5>08</s5>
</fC03><fC03 i1="04" i2="X" l="SPA"><s0>Sistema reactivo</s0>
<s5>08</s5>
</fC03><fC03 i1="05" i2="X" l="FRE"><s0>Orienté objet</s0>
<s5>09</s5>
</fC03><fC03 i1="05" i2="X" l="ENG"><s0>Object oriented</s0>
<s5>09</s5>
</fC03><fC03 i1="05" i2="X" l="SPA"><s0>Orientado objeto</s0>
<s5>09</s5>
</fC03><fC03 i1="06" i2="X" l="FRE"><s0>Système réparti</s0>
<s5>10</s5>
</fC03><fC03 i1="06" i2="X" l="ENG"><s0>Distributed system</s0>
<s5>10</s5>
</fC03><fC03 i1="06" i2="X" l="SPA"><s0>Sistema repartido</s0>
<s5>10</s5>
</fC03><fC03 i1="07" i2="X" l="FRE"><s0>Pistage</s0>
<s5>11</s5>
</fC03><fC03 i1="07" i2="X" l="ENG"><s0>Tracking</s0>
<s5>11</s5>
</fC03><fC03 i1="07" i2="X" l="SPA"><s0>Rastreo</s0>
<s5>11</s5>
</fC03><fC03 i1="08" i2="X" l="FRE"><s0>Processus métier</s0>
<s5>18</s5>
</fC03><fC03 i1="08" i2="X" l="ENG"><s0>Business process</s0>
<s5>18</s5>
</fC03><fC03 i1="08" i2="X" l="SPA"><s0>Proceso oficio</s0>
<s5>18</s5>
</fC03><fC03 i1="09" i2="X" l="FRE"><s0>Processus service</s0>
<s5>19</s5>
</fC03><fC03 i1="09" i2="X" l="ENG"><s0>Service process</s0>
<s5>19</s5>
</fC03><fC03 i1="09" i2="X" l="SPA"><s0>Proceso servicio</s0>
<s5>19</s5>
</fC03><fC03 i1="10" i2="X" l="FRE"><s0>Fichier log</s0>
<s5>20</s5>
</fC03><fC03 i1="10" i2="X" l="ENG"><s0>Log file</s0>
<s5>20</s5>
</fC03><fC03 i1="10" i2="X" l="SPA"><s0>Fichero actividad</s0>
<s5>20</s5>
</fC03><fC03 i1="11" i2="X" l="FRE"><s0>Modélisation</s0>
<s5>23</s5>
</fC03><fC03 i1="11" i2="X" l="ENG"><s0>Modeling</s0>
<s5>23</s5>
</fC03><fC03 i1="11" i2="X" l="SPA"><s0>Modelización</s0>
<s5>23</s5>
</fC03><fC03 i1="12" i2="X" l="FRE"><s0>.</s0>
<s4>INC</s4>
<s5>82</s5>
</fC03><fN21><s1>035</s1>
</fN21><fN44 i1="01"><s1>OTO</s1>
</fN44><fN82><s1>OTO</s1>
</fN82><pR><fA30 i1="01" i2="1" l="ENG"><s1>OTM Confederated International Conferences</s1>
<s3>Montpellier FRA</s3>
<s4>2006</s4>
</fA30><server><NO>PASCAL 08-0073192 INIST</NO>
<ET>Web Service Mining and Verification of Properties : An Approach Based on Event Calculus</ET>
<AU>ROUACHED (Mohsen); GAALOUL (Walid); VAN DER AALST (Wil M. P.); BHIRI (Sami); GODART (Claude)</AU>
<AF>LORIA-INRIA-UMR 7503 BP 239/54506 Vandœuvre-les-Nancy/France (1 aut., 2 aut., 4 aut., 5 aut.); Department of Technology Management, Eindhoven University of Technology P.O. Box 513/5600 MB, Eindhoven/Pays-Bas (3 aut.)</AF>
<DT>Publication en série; Congrès; Niveau analytique</DT>
<SO>Lecture notes in computer science; ISSN 0302-9743; Allemagne; Da. 2006; Vol. 4275; Pp. 408-425; Bibl. 39 ref.</SO>
<LA>Anglais</LA>
<EA>Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications. This article describes a novel way of applying process mining techniques to Web services logs in order to enable "Web service intelligence". Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances.</EA>
<CC>001D02B07B; 001D02B04</CC>
<FD>Internet; Fouille donnée; Service web; Système réactif; Orienté objet; Système réparti; Pistage; Processus métier; Processus service; Fichier log; Modélisation; .</FD>
<ED>Internet; Data mining; Web service; Reactive system; Object oriented; Distributed system; Tracking; Business process; Service process; Log file; Modeling</ED>
<SD>Internet; Busca dato; Servicio web; Sistema reactivo; Orientado objeto; Sistema repartido; Rastreo; Proceso oficio; Proceso servicio; Fichero actividad; Modelización</SD>
<LO>INIST-16343.354000172810650240</LO>
<ID>08-0073192</ID>
</server>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000339 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000339 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= PascalFrancis
|étape= Corpus
|type= RBID
|clé= Pascal:08-0073192
|texte= Web Service Mining and Verification of Properties : An Approach Based on Event Calculus
}}
| This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022 |  |
