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

  • 2016. Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations in TESTS AND PROOFS
  • 2002. Isabelle/HOL, A Proof Assistant for Higher-Order Logic in NONE
  • 2017. Checking Business Process Evolution in FORMAL ASPECTS OF COMPONENT SOFTWARE
  • 2002-07-04. Formal Verification of a Java Compiler in Isabelle in AUTOMATED DEDUCTION—CADE-18
  • 2013. Strategies for Modeling Complex Processes Using Colored Petri Nets in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VII
  • 2016-09. Formalising concurrent UML state machines using coloured Petri nets in FORMAL ASPECTS OF COMPUTING
  • 2004. The GROOVE Simulator: A Tool for State Space Generation in APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE
  • 2015. From UML Statecharts to LOTOS Expressions Using Graph Transformation in INFORMATION AND SOFTWARE TECHNOLOGIES
  • 2017-03-27. A feature-based classification of formal verification techniques for software models in SOFTWARE & SYSTEMS MODELING
  • 2013. Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2016-07. Model transformation intents and their properties in SOFTWARE & SYSTEMS MODELING
  • 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 N277f8be884164c96b436b591899e6636
    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 N54762860772b48eaa77cb29d794b804d
    38 N9edb10ec7ce64beab1a2ce07a4df84dc
    39 sg:journal.1136609
    40 schema:name Verification of Model Transformations Using Isabelle/HOL and Scala
    41 schema:pagination 1-21
    42 schema:productId N010c8b8388b44b8b847d6cf9af1189a9
    43 Nbeed06c598ff43098112ee3b6b89dab2
    44 Nea582932a705495cb8d63f8feab09c32
    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 N46ab4eda0676409485619ff1f979a2d3
    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 N010c8b8388b44b8b847d6cf9af1189a9 schema:name doi
    55 schema:value 10.1007/s10796-018-9860-9
    56 rdf:type schema:PropertyValue
    57 N277f8be884164c96b436b591899e6636 rdf:first sg:person.015512667606.41
    58 rdf:rest N735e3c284d154d7bba547d4f82cc983e
    59 N3ff1a9b4c8da4798b4708189c6cdb21d rdf:first sg:person.011277310555.26
    60 rdf:rest N4d288d6eca3a40fd80c36afcc59efb5e
    61 N40199fd812e040e6acf138abeed78e89 schema:name MISC Laboratory, Computer Science Department, University of Constantine, 2-Abdelhamid Mehri, Constantine, Algeria
    62 rdf:type schema:Organization
    63 N46ab4eda0676409485619ff1f979a2d3 schema:name Springer Nature - SN SciGraph project
    64 rdf:type schema:Organization
    65 N4d288d6eca3a40fd80c36afcc59efb5e rdf:first sg:person.013317746421.13
    66 rdf:rest rdf:nil
    67 N54762860772b48eaa77cb29d794b804d schema:volumeNumber 21
    68 rdf:type schema:PublicationVolume
    69 N735e3c284d154d7bba547d4f82cc983e rdf:first sg:person.011503326263.27
    70 rdf:rest N3ff1a9b4c8da4798b4708189c6cdb21d
    71 N9edb10ec7ce64beab1a2ce07a4df84dc schema:issueNumber 1
    72 rdf:type schema:PublicationIssue
    73 Nbeed06c598ff43098112ee3b6b89dab2 schema:name readcube_id
    74 schema:value 1fd9275576c5daca35f4a455941ec1587cff844db7159892aa5aa55ea2d9e58e
    75 rdf:type schema:PropertyValue
    76 Ne8337c2310a448418824010c0cc94bb5 schema:name MISC Laboratory, Computer Science Department, University of Constantine, 2-Abdelhamid Mehri, Constantine, Algeria
    77 rdf:type schema:Organization
    78 Nea582932a705495cb8d63f8feab09c32 schema:name dimensions_id
    79 schema:value pub.1104295715
    80 rdf:type schema:PropertyValue
    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 N40199fd812e040e6acf138abeed78e89
    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 Ne8337c2310a448418824010c0cc94bb5
    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)


    ...