Compatibility of Data-Centric Web Services View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2012

AUTHORS

Benoît Masson , Loïc Hélouët , Albert Benveniste

ABSTRACT

Before using a service in a composite framework, designers must ensure that it is compatible with the needs of the application. The inputs and outputs must comply with the intended ranges of data in the composite framework, and the service must eventually return a value. This paper addresses compatibility for modules described with document-based workflow nets, that can depict the semantics of active XML (AXML) systems, a language for Web Services design. The behavior of non-recursive AXML specifications with finite data can be represented as Docnets, i.e., finite labeled Petri nets carrying information on document types they transform. Compatibility of docnet modules is characterized in terms of a decidable reachability property in the underlying net. Finally, we show the distributivity of compatibility over composition, which allows a faster semi-decision algorithm to verify compatibility between sets of modules. More... »

PAGES

32-47

References to SciGraph publications

Book

TITLE

Web Services and Formal Methods

ISBN

978-3-642-29833-2
978-3-642-29834-9

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-29834-9_4

DOI

http://dx.doi.org/10.1007/978-3-642-29834-9_4

DIMENSIONS

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


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/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "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": [
            "Epitech Rennes, 12 square Vercing\u00e9torix, 35000\u00a0Rennes, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Masson", 
        "givenName": "Beno\u00eet", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "INRIA Rennes, campus de Beaulieu, 35042\u00a0Rennes Cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "H\u00e9lou\u00ebt", 
        "givenName": "Lo\u00efc", 
        "id": "sg:person.010307042577.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010307042577.01"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "INRIA Rennes, campus de Beaulieu, 35042\u00a0Rennes Cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Benveniste", 
        "givenName": "Albert", 
        "id": "sg:person.011174600625.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/11538394_19", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029682504", 
          "https://doi.org/10.1007/11538394_19"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11538394_19", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029682504", 
          "https://doi.org/10.1007/11538394_19"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-662-10874-1_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1033424721", 
          "https://doi.org/10.1007/978-3-662-10874-1_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10270-006-0012-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041942646", 
          "https://doi.org/10.1007/s10270-006-0012-1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10270-006-0012-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041942646", 
          "https://doi.org/10.1007/s10270-006-0012-1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1376916.1376948", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042498158"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-88873-4_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043866975", 
          "https://doi.org/10.1007/978-3-540-88873-4_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-88873-4_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043866975", 
          "https://doi.org/10.1007/978-3-540-88873-4_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-71316-6_2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049999638", 
          "https://doi.org/10.1007/978-3-540-71316-6_2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1147/sj.423.0428", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1063184782"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/icws.2010.23", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093322317"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/ride.1997.583705", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094340096"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2012", 
    "datePublishedReg": "2012-01-01", 
    "description": "Before using a service in a composite framework, designers must ensure that it is compatible with the needs of the application. The inputs and outputs must comply with the intended ranges of data in the composite framework, and the service must eventually return a value. This paper addresses compatibility for modules described with document-based workflow nets, that can depict the semantics of active XML (AXML) systems, a language for Web Services design. The behavior of non-recursive AXML specifications with finite data can be represented as Docnets, i.e., finite labeled Petri nets carrying information on document types they transform. Compatibility of docnet modules is characterized in terms of a decidable reachability property in the underlying net. Finally, we show the distributivity of compatibility over composition, which allows a faster semi-decision algorithm to verify compatibility between sets of modules.", 
    "editor": [
      {
        "familyName": "Carbone", 
        "givenName": "Marco", 
        "type": "Person"
      }, 
      {
        "familyName": "Petit", 
        "givenName": "Jean-Marc", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-29834-9_4", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-642-29833-2", 
        "978-3-642-29834-9"
      ], 
      "name": "Web Services and Formal Methods", 
      "type": "Book"
    }, 
    "name": "Compatibility of Data-Centric Web Services", 
    "pagination": "32-47", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-29834-9_4"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "fc9ec4033c8a7ce7611a6aaf29f0709c60fd96631496fc96fc6df4f2ca3bc84f"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1053034826"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-29834-9_4", 
      "https://app.dimensions.ai/details/publication/pub.1053034826"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T11:38", 
    "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/0000000001_0000000264/records_8660_00000276.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-642-29834-9_4"
  }
]
 

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/978-3-642-29834-9_4'

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/978-3-642-29834-9_4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-29834-9_4'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-29834-9_4'


 

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

117 TRIPLES      23 PREDICATES      36 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-29834-9_4 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author N41e55fdf7a954c1f85bac586f87651b1
4 schema:citation sg:pub.10.1007/11538394_19
5 sg:pub.10.1007/978-3-540-71316-6_2
6 sg:pub.10.1007/978-3-540-88873-4_17
7 sg:pub.10.1007/978-3-662-10874-1_12
8 sg:pub.10.1007/s10270-006-0012-1
9 https://doi.org/10.1109/icws.2010.23
10 https://doi.org/10.1109/ride.1997.583705
11 https://doi.org/10.1145/1376916.1376948
12 https://doi.org/10.1147/sj.423.0428
13 schema:datePublished 2012
14 schema:datePublishedReg 2012-01-01
15 schema:description Before using a service in a composite framework, designers must ensure that it is compatible with the needs of the application. The inputs and outputs must comply with the intended ranges of data in the composite framework, and the service must eventually return a value. This paper addresses compatibility for modules described with document-based workflow nets, that can depict the semantics of active XML (AXML) systems, a language for Web Services design. The behavior of non-recursive AXML specifications with finite data can be represented as Docnets, i.e., finite labeled Petri nets carrying information on document types they transform. Compatibility of docnet modules is characterized in terms of a decidable reachability property in the underlying net. Finally, we show the distributivity of compatibility over composition, which allows a faster semi-decision algorithm to verify compatibility between sets of modules.
16 schema:editor N084ece96e93d434ca98bd5f9ae98a8b5
17 schema:genre chapter
18 schema:inLanguage en
19 schema:isAccessibleForFree true
20 schema:isPartOf N26f8c3504b0f458a8342a9828cb7302d
21 schema:name Compatibility of Data-Centric Web Services
22 schema:pagination 32-47
23 schema:productId N1e6c62ec088e445bb84a9db4f8e10766
24 N70ccf636f8b44b99a70a4cad01a81241
25 Ne4ed62d8e02a4c7489b1738be6c47360
26 schema:publisher N3a9fb77b6fff4efeb329687ce748a69d
27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053034826
28 https://doi.org/10.1007/978-3-642-29834-9_4
29 schema:sdDatePublished 2019-04-15T11:38
30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
31 schema:sdPublisher Ncd2b2c09cbee4ccd90612d50f58d3025
32 schema:url http://link.springer.com/10.1007/978-3-642-29834-9_4
33 sgo:license sg:explorer/license/
34 sgo:sdDataset chapters
35 rdf:type schema:Chapter
36 N013b1b6b893a4aa6924c15f36cb77228 schema:familyName Petit
37 schema:givenName Jean-Marc
38 rdf:type schema:Person
39 N084ece96e93d434ca98bd5f9ae98a8b5 rdf:first Na20e699b597640be859c26b98d858450
40 rdf:rest N74323f3133af487c8f18b236695c9e92
41 N1e6c62ec088e445bb84a9db4f8e10766 schema:name doi
42 schema:value 10.1007/978-3-642-29834-9_4
43 rdf:type schema:PropertyValue
44 N26f8c3504b0f458a8342a9828cb7302d schema:isbn 978-3-642-29833-2
45 978-3-642-29834-9
46 schema:name Web Services and Formal Methods
47 rdf:type schema:Book
48 N3a9fb77b6fff4efeb329687ce748a69d schema:location Berlin, Heidelberg
49 schema:name Springer Berlin Heidelberg
50 rdf:type schema:Organisation
51 N41e55fdf7a954c1f85bac586f87651b1 rdf:first N79d9846e5fb94dfc9c9e6954e2df59f1
52 rdf:rest Nb6002767113f490bb6503a8146fd145a
53 N59eedc79628348658758655e2c898115 schema:name Epitech Rennes, 12 square Vercingétorix, 35000 Rennes, France
54 rdf:type schema:Organization
55 N70ccf636f8b44b99a70a4cad01a81241 schema:name dimensions_id
56 schema:value pub.1053034826
57 rdf:type schema:PropertyValue
58 N74323f3133af487c8f18b236695c9e92 rdf:first N013b1b6b893a4aa6924c15f36cb77228
59 rdf:rest rdf:nil
60 N76d57629807741b88da9df5425c0b028 rdf:first sg:person.011174600625.42
61 rdf:rest rdf:nil
62 N79d9846e5fb94dfc9c9e6954e2df59f1 schema:affiliation N59eedc79628348658758655e2c898115
63 schema:familyName Masson
64 schema:givenName Benoît
65 rdf:type schema:Person
66 Na20e699b597640be859c26b98d858450 schema:familyName Carbone
67 schema:givenName Marco
68 rdf:type schema:Person
69 Nb6002767113f490bb6503a8146fd145a rdf:first sg:person.010307042577.01
70 rdf:rest N76d57629807741b88da9df5425c0b028
71 Ncd2b2c09cbee4ccd90612d50f58d3025 schema:name Springer Nature - SN SciGraph project
72 rdf:type schema:Organization
73 Ne4ed62d8e02a4c7489b1738be6c47360 schema:name readcube_id
74 schema:value fc9ec4033c8a7ce7611a6aaf29f0709c60fd96631496fc96fc6df4f2ca3bc84f
75 rdf:type schema:PropertyValue
76 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
77 schema:name Information and Computing Sciences
78 rdf:type schema:DefinedTerm
79 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
80 schema:name Information Systems
81 rdf:type schema:DefinedTerm
82 sg:person.010307042577.01 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
83 schema:familyName Hélouët
84 schema:givenName Loïc
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010307042577.01
86 rdf:type schema:Person
87 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
88 schema:familyName Benveniste
89 schema:givenName Albert
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
91 rdf:type schema:Person
92 sg:pub.10.1007/11538394_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029682504
93 https://doi.org/10.1007/11538394_19
94 rdf:type schema:CreativeWork
95 sg:pub.10.1007/978-3-540-71316-6_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049999638
96 https://doi.org/10.1007/978-3-540-71316-6_2
97 rdf:type schema:CreativeWork
98 sg:pub.10.1007/978-3-540-88873-4_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043866975
99 https://doi.org/10.1007/978-3-540-88873-4_17
100 rdf:type schema:CreativeWork
101 sg:pub.10.1007/978-3-662-10874-1_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033424721
102 https://doi.org/10.1007/978-3-662-10874-1_12
103 rdf:type schema:CreativeWork
104 sg:pub.10.1007/s10270-006-0012-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041942646
105 https://doi.org/10.1007/s10270-006-0012-1
106 rdf:type schema:CreativeWork
107 https://doi.org/10.1109/icws.2010.23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093322317
108 rdf:type schema:CreativeWork
109 https://doi.org/10.1109/ride.1997.583705 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094340096
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1145/1376916.1376948 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042498158
112 rdf:type schema:CreativeWork
113 https://doi.org/10.1147/sj.423.0428 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063184782
114 rdf:type schema:CreativeWork
115 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
116 schema:name INRIA Rennes, campus de Beaulieu, 35042 Rennes Cedex, France
117 rdf:type schema:Organization
 




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


...