Verification of Model Transformations Using Isabelle/HOL and Scala View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2018-05-30

AUTHORS

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche

ABSTRACT

Model transformations have proved to be powerful in the development of critical systems. According to their intents, they have been used in many domains such as models refinement, simulation, and domain semantics. The formal methods have been successful in the verification and validation of critical systems, and in particular, in the formalization of UML, BPMN, and AADL. However, little research has been done on verifying the transformation itself. In this paper, we extend our previous work using Isabelle/HOL that transforms UML State Machine Diagrams (SMD) to Colored Petri nets (CPN) models and proves that certain structural properties of this transformation are correct. For example, the structural property: “for each final state of a SMD model a corresponding place in CPN model should be generated by the transformation” is described and checked using Isabelle/HOL as invariant property. In the current work, we use Scala as environment of executing Isabelle/HOL specifications and we perform the verified transformation using Scala. Moreover, we demonstrate our approach using another case study of transforming BPMN (Business Process Model and Notation) models into Petri nets models and verify the correctness of certain structural properties of this transformation. More... »

PAGES

1-21

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10796-018-9860-9

DOI

http://dx.doi.org/10.1007/s10796-018-9860-9

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1104295715


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "name": [
            "MISC Laboratory, Computer Science Department, University of Constantine, 2-Abdelhamid Mehri, Constantine, Algeria"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Meghzili", 
        "givenName": "Said", 
        "id": "sg:person.015512667606.41", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015512667606.41"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "MISC Laboratory, Computer Science Department, University of Constantine, 2-Abdelhamid Mehri, Constantine, Algeria"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Chaoui", 
        "givenName": "Allaoua", 
        "id": "sg:person.011503326263.27", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011503326263.27"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Paul Sabatier University", 
          "id": "https://www.grid.ac/institutes/grid.15781.3a", 
          "name": [
            "IRIT, University of Paul Sabatier, Toulouse, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Strecker", 
        "givenName": "Martin", 
        "id": "sg:person.011277310555.26", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011277310555.26"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Jijel", 
          "id": "https://www.grid.ac/institutes/grid.440477.4", 
          "name": [
            "MISC Laboratory, Computer Science Department, University of Constantine, 2-Abdelhamid Mehri, Constantine, Algeria", 
            "Computer Science Department, University of Jijel, Jijel, Algeria"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kerkouche", 
        "givenName": "Elhillali", 
        "id": "sg:person.013317746421.13", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013317746421.13"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/978-3-319-41135-4_11", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1002931057", 
          "https://doi.org/10.1007/978-3-319-41135-4_11"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.scico.2015.03.003", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004669273"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10270-014-0429-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008730247", 
          "https://doi.org/10.1007/s10270-014-0429-x"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s00165-016-0388-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019472752", 
          "https://doi.org/10.1007/s00165-016-0388-9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.entcs.2012.06.009", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024880073"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-6423(87)90035-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028901262"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-38143-0_2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029725801", 
          "https://doi.org/10.1007/978-3-642-38143-0_2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45620-1_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030619900", 
          "https://doi.org/10.1007/3-540-45620-1_5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45620-1_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030619900", 
          "https://doi.org/10.1007/3-540-45620-1_5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45949-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032008409", 
          "https://doi.org/10.1007/3-540-45949-9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45949-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032008409", 
          "https://doi.org/10.1007/3-540-45949-9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45949-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032008409", 
          "https://doi.org/10.1007/3-540-45949-9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-25959-6_40", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041616295", 
          "https://doi.org/10.1007/978-3-540-25959-6_40"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-25959-6_40", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041616295", 
          "https://doi.org/10.1007/978-3-540-25959-6_40"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-40561-7_8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043647518", 
          "https://doi.org/10.1007/978-3-642-40561-7_8"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-24770-0_47", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044499482", 
          "https://doi.org/10.1007/978-3-319-24770-0_47"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1656485.1656487", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047993485"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tse.2016.2635137", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061789260"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.5381/jot.2010.9.4.a2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1072819192"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.5381/jot.2015.14.3.a1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1072819294"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.5381/jot.2015.14.3.a1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1072819294"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10270-017-0591-z", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1084024237", 
          "https://doi.org/10.1007/s10270-017-0591-z"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10270-017-0591-z", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1084024237", 
          "https://doi.org/10.1007/s10270-017-0591-z"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10270-017-0591-z", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1084024237", 
          "https://doi.org/10.1007/s10270-017-0591-z"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-57666-4_4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1084803257", 
          "https://doi.org/10.1007/978-3-319-57666-4_4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.tcs.2017.04.010", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1085881603"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.jss.2017.06.018", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1085965817"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.jss.2017.06.018", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1085965817"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/icaase.2016.7843859", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093583470"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/inmic.2007.4557693", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093646737"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/ssiri-c.2010.11", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093826335"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/icst.2010.42", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094606911"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/issre.2012.7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094761126"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/rcis.2013.6577723", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095028070"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/iri.2017.63", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095846924"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2018-05-30", 
    "datePublishedReg": "2018-05-30", 
    "description": "Model transformations have proved to be powerful in the development of critical systems. According to their intents, they have been used in many domains such as models refinement, simulation, and domain semantics. The formal methods have been successful in the verification and validation of critical systems, and in particular, in the formalization of UML, BPMN, and AADL. However, little research has been done on verifying the transformation itself. In this paper, we extend our previous work using Isabelle/HOL that transforms UML State Machine Diagrams (SMD) to Colored Petri nets (CPN) models and proves that certain structural properties of this transformation are correct. For example, the structural property: \u201cfor each final state of a SMD model a corresponding place in CPN model should be generated by the transformation\u201d is described and checked using Isabelle/HOL as invariant property. In the current work, we use Scala as environment of executing Isabelle/HOL specifications and we perform the verified transformation using Scala. Moreover, we demonstrate our approach using another case study of transforming BPMN (Business Process Model and Notation) models into Petri nets models and verify the correctness of certain structural properties of this transformation.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s10796-018-9860-9", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1136609", 
        "issn": [
          "1387-3326", 
          "1572-9419"
        ], 
        "name": "Information Systems Frontiers", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "21"
      }
    ], 
    "name": "Verification of Model Transformations Using Isabelle/HOL and Scala", 
    "pagination": "1-21", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10796-018-9860-9"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "1fd9275576c5daca35f4a455941ec1587cff844db7159892aa5aa55ea2d9e58e"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1104295715"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10796-018-9860-9", 
      "https://app.dimensions.ai/details/publication/pub.1104295715"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-15T08:52", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000374_0000000374/records_119746_00000001.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://link.springer.com/10.1007%2Fs10796-018-9860-9"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10796-018-9860-9'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10796-018-9860-9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10796-018-9860-9'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10796-018-9860-9'


 

This table displays all metadata directly associated to this object as RDF triples.

182 TRIPLES      21 PREDICATES      53 URIs      18 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10796-018-9860-9 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N7abc0374e1d04702bc0d0e7bfd0b2f75
4 schema:citation sg:pub.10.1007/3-540-45620-1_5
5 sg:pub.10.1007/3-540-45949-9
6 sg:pub.10.1007/978-3-319-24770-0_47
7 sg:pub.10.1007/978-3-319-41135-4_11
8 sg:pub.10.1007/978-3-319-57666-4_4
9 sg:pub.10.1007/978-3-540-25959-6_40
10 sg:pub.10.1007/978-3-642-38143-0_2
11 sg:pub.10.1007/978-3-642-40561-7_8
12 sg:pub.10.1007/s00165-016-0388-9
13 sg:pub.10.1007/s10270-014-0429-x
14 sg:pub.10.1007/s10270-017-0591-z
15 https://doi.org/10.1016/0167-6423(87)90035-9
16 https://doi.org/10.1016/j.entcs.2012.06.009
17 https://doi.org/10.1016/j.jss.2017.06.018
18 https://doi.org/10.1016/j.scico.2015.03.003
19 https://doi.org/10.1016/j.tcs.2017.04.010
20 https://doi.org/10.1109/icaase.2016.7843859
21 https://doi.org/10.1109/icst.2010.42
22 https://doi.org/10.1109/inmic.2007.4557693
23 https://doi.org/10.1109/iri.2017.63
24 https://doi.org/10.1109/issre.2012.7
25 https://doi.org/10.1109/rcis.2013.6577723
26 https://doi.org/10.1109/ssiri-c.2010.11
27 https://doi.org/10.1109/tse.2016.2635137
28 https://doi.org/10.1145/1656485.1656487
29 https://doi.org/10.5381/jot.2010.9.4.a2
30 https://doi.org/10.5381/jot.2015.14.3.a1
31 schema:datePublished 2018-05-30
32 schema:datePublishedReg 2018-05-30
33 schema:description Model transformations have proved to be powerful in the development of critical systems. According to their intents, they have been used in many domains such as models refinement, simulation, and domain semantics. The formal methods have been successful in the verification and validation of critical systems, and in particular, in the formalization of UML, BPMN, and AADL. However, little research has been done on verifying the transformation itself. In this paper, we extend our previous work using Isabelle/HOL that transforms UML State Machine Diagrams (SMD) to Colored Petri nets (CPN) models and proves that certain structural properties of this transformation are correct. For example, the structural property: “for each final state of a SMD model a corresponding place in CPN model should be generated by the transformation” is described and checked using Isabelle/HOL as invariant property. In the current work, we use Scala as environment of executing Isabelle/HOL specifications and we perform the verified transformation using Scala. Moreover, we demonstrate our approach using another case study of transforming BPMN (Business Process Model and Notation) models into Petri nets models and verify the correctness of certain structural properties of this transformation.
34 schema:genre research_article
35 schema:inLanguage en
36 schema:isAccessibleForFree false
37 schema:isPartOf N0e3d51482c804b29b5d4938ce3652a17
38 N8e4c1584941142d8a734890b2bde72e2
39 sg:journal.1136609
40 schema:name Verification of Model Transformations Using Isabelle/HOL and Scala
41 schema:pagination 1-21
42 schema:productId N0e11057a66d44c8e8c6921995625d700
43 N4760ca0faa0f49519f046e5200564921
44 Nc04ee0c3e29e48c0926d8583be536686
45 schema:sameAs https://app.dimensions.ai/details/publication/pub.1104295715
46 https://doi.org/10.1007/s10796-018-9860-9
47 schema:sdDatePublished 2019-04-15T08:52
48 schema:sdLicense https://scigraph.springernature.com/explorer/license/
49 schema:sdPublisher Nc86ab047227f4161bc69be8c7acf3b2f
50 schema:url https://link.springer.com/10.1007%2Fs10796-018-9860-9
51 sgo:license sg:explorer/license/
52 sgo:sdDataset articles
53 rdf:type schema:ScholarlyArticle
54 N02567cbca07c41efabf6d3273bb2dd8d schema:name MISC Laboratory, Computer Science Department, University of Constantine, 2-Abdelhamid Mehri, Constantine, Algeria
55 rdf:type schema:Organization
56 N0bd412981ec449c7bc0599b4f4459ad4 rdf:first sg:person.013317746421.13
57 rdf:rest rdf:nil
58 N0e11057a66d44c8e8c6921995625d700 schema:name readcube_id
59 schema:value 1fd9275576c5daca35f4a455941ec1587cff844db7159892aa5aa55ea2d9e58e
60 rdf:type schema:PropertyValue
61 N0e3d51482c804b29b5d4938ce3652a17 schema:volumeNumber 21
62 rdf:type schema:PublicationVolume
63 N4760ca0faa0f49519f046e5200564921 schema:name doi
64 schema:value 10.1007/s10796-018-9860-9
65 rdf:type schema:PropertyValue
66 N6b471b992f5c45c59723290f88a946db schema:name MISC Laboratory, Computer Science Department, University of Constantine, 2-Abdelhamid Mehri, Constantine, Algeria
67 rdf:type schema:Organization
68 N7abc0374e1d04702bc0d0e7bfd0b2f75 rdf:first sg:person.015512667606.41
69 rdf:rest N7c17accf7de34e178c25de76517108f2
70 N7c17accf7de34e178c25de76517108f2 rdf:first sg:person.011503326263.27
71 rdf:rest N9e43008215254385b500367fc18db470
72 N8e4c1584941142d8a734890b2bde72e2 schema:issueNumber 1
73 rdf:type schema:PublicationIssue
74 N9e43008215254385b500367fc18db470 rdf:first sg:person.011277310555.26
75 rdf:rest N0bd412981ec449c7bc0599b4f4459ad4
76 Nc04ee0c3e29e48c0926d8583be536686 schema:name dimensions_id
77 schema:value pub.1104295715
78 rdf:type schema:PropertyValue
79 Nc86ab047227f4161bc69be8c7acf3b2f schema:name Springer Nature - SN SciGraph project
80 rdf:type schema:Organization
81 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
82 schema:name Information and Computing Sciences
83 rdf:type schema:DefinedTerm
84 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
85 schema:name Computer Software
86 rdf:type schema:DefinedTerm
87 sg:journal.1136609 schema:issn 1387-3326
88 1572-9419
89 schema:name Information Systems Frontiers
90 rdf:type schema:Periodical
91 sg:person.011277310555.26 schema:affiliation https://www.grid.ac/institutes/grid.15781.3a
92 schema:familyName Strecker
93 schema:givenName Martin
94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011277310555.26
95 rdf:type schema:Person
96 sg:person.011503326263.27 schema:affiliation N02567cbca07c41efabf6d3273bb2dd8d
97 schema:familyName Chaoui
98 schema:givenName Allaoua
99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011503326263.27
100 rdf:type schema:Person
101 sg:person.013317746421.13 schema:affiliation https://www.grid.ac/institutes/grid.440477.4
102 schema:familyName Kerkouche
103 schema:givenName Elhillali
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013317746421.13
105 rdf:type schema:Person
106 sg:person.015512667606.41 schema:affiliation N6b471b992f5c45c59723290f88a946db
107 schema:familyName Meghzili
108 schema:givenName Said
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015512667606.41
110 rdf:type schema:Person
111 sg:pub.10.1007/3-540-45620-1_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030619900
112 https://doi.org/10.1007/3-540-45620-1_5
113 rdf:type schema:CreativeWork
114 sg:pub.10.1007/3-540-45949-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032008409
115 https://doi.org/10.1007/3-540-45949-9
116 rdf:type schema:CreativeWork
117 sg:pub.10.1007/978-3-319-24770-0_47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044499482
118 https://doi.org/10.1007/978-3-319-24770-0_47
119 rdf:type schema:CreativeWork
120 sg:pub.10.1007/978-3-319-41135-4_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002931057
121 https://doi.org/10.1007/978-3-319-41135-4_11
122 rdf:type schema:CreativeWork
123 sg:pub.10.1007/978-3-319-57666-4_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084803257
124 https://doi.org/10.1007/978-3-319-57666-4_4
125 rdf:type schema:CreativeWork
126 sg:pub.10.1007/978-3-540-25959-6_40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041616295
127 https://doi.org/10.1007/978-3-540-25959-6_40
128 rdf:type schema:CreativeWork
129 sg:pub.10.1007/978-3-642-38143-0_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029725801
130 https://doi.org/10.1007/978-3-642-38143-0_2
131 rdf:type schema:CreativeWork
132 sg:pub.10.1007/978-3-642-40561-7_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043647518
133 https://doi.org/10.1007/978-3-642-40561-7_8
134 rdf:type schema:CreativeWork
135 sg:pub.10.1007/s00165-016-0388-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019472752
136 https://doi.org/10.1007/s00165-016-0388-9
137 rdf:type schema:CreativeWork
138 sg:pub.10.1007/s10270-014-0429-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1008730247
139 https://doi.org/10.1007/s10270-014-0429-x
140 rdf:type schema:CreativeWork
141 sg:pub.10.1007/s10270-017-0591-z schema:sameAs https://app.dimensions.ai/details/publication/pub.1084024237
142 https://doi.org/10.1007/s10270-017-0591-z
143 rdf:type schema:CreativeWork
144 https://doi.org/10.1016/0167-6423(87)90035-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028901262
145 rdf:type schema:CreativeWork
146 https://doi.org/10.1016/j.entcs.2012.06.009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024880073
147 rdf:type schema:CreativeWork
148 https://doi.org/10.1016/j.jss.2017.06.018 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085965817
149 rdf:type schema:CreativeWork
150 https://doi.org/10.1016/j.scico.2015.03.003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004669273
151 rdf:type schema:CreativeWork
152 https://doi.org/10.1016/j.tcs.2017.04.010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085881603
153 rdf:type schema:CreativeWork
154 https://doi.org/10.1109/icaase.2016.7843859 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093583470
155 rdf:type schema:CreativeWork
156 https://doi.org/10.1109/icst.2010.42 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094606911
157 rdf:type schema:CreativeWork
158 https://doi.org/10.1109/inmic.2007.4557693 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093646737
159 rdf:type schema:CreativeWork
160 https://doi.org/10.1109/iri.2017.63 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095846924
161 rdf:type schema:CreativeWork
162 https://doi.org/10.1109/issre.2012.7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094761126
163 rdf:type schema:CreativeWork
164 https://doi.org/10.1109/rcis.2013.6577723 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095028070
165 rdf:type schema:CreativeWork
166 https://doi.org/10.1109/ssiri-c.2010.11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093826335
167 rdf:type schema:CreativeWork
168 https://doi.org/10.1109/tse.2016.2635137 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061789260
169 rdf:type schema:CreativeWork
170 https://doi.org/10.1145/1656485.1656487 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047993485
171 rdf:type schema:CreativeWork
172 https://doi.org/10.5381/jot.2010.9.4.a2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072819192
173 rdf:type schema:CreativeWork
174 https://doi.org/10.5381/jot.2015.14.3.a1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072819294
175 rdf:type schema:CreativeWork
176 https://www.grid.ac/institutes/grid.15781.3a schema:alternateName Paul Sabatier University
177 schema:name IRIT, University of Paul Sabatier, Toulouse, France
178 rdf:type schema:Organization
179 https://www.grid.ac/institutes/grid.440477.4 schema:alternateName University of Jijel
180 schema:name Computer Science Department, University of Jijel, Jijel, Algeria
181 MISC Laboratory, Computer Science Department, University of Constantine, 2-Abdelhamid Mehri, Constantine, Algeria
182 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...