Compositional Semantics for Concurrent Object Groups in ABS View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-24

AUTHORS

Frank S. de Boer , Stijn de Gouw

ABSTRACT

In this paper we introduce a new compositional semantics of the Abstract Behavioral Specification (ABS) language in terms of the observable behavior of its concurrent dynamically generated object groups. We show that for such a compositional description we only need to observe traces of asynchronous method calls and the completion of futures. This provides a powerful abstraction from the internal details of the implementation of concurrent object groups, e.g., details concerning when methods are scheduled and futures are read. More... »

PAGES

87-98

Book

TITLE

Principled Software Development

ISBN

978-3-319-98046-1
978-3-319-98047-8

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-98047-8_6

DOI

http://dx.doi.org/10.1007/978-3-319-98047-8_6

DIMENSIONS

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


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": {
          "alternateName": "Centrum Wiskunde and Informatica", 
          "id": "https://www.grid.ac/institutes/grid.6054.7", 
          "name": [
            "CWI, Amsterdam, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de Boer", 
        "givenName": "Frank S.", 
        "id": "sg:person.013436173767.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013436173767.19"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Open University in the Netherlands", 
          "id": "https://www.grid.ac/institutes/grid.36120.36", 
          "name": [
            "Open University, Heerlen, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de Gouw", 
        "givenName": "Stijn", 
        "id": "sg:person.014640564545.40", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014640564545.40"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0167-6423(95)00017-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019894148"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-25271-6_8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1036101828", 
          "https://doi.org/10.1007/978-3-642-25271-6_8"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf02280834", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049425199", 
          "https://doi.org/10.1007/bf02280834"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf02280834", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049425199", 
          "https://doi.org/10.1007/bf02280834"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2018-10-24", 
    "datePublishedReg": "2018-10-24", 
    "description": "In this paper we introduce a new compositional semantics of the Abstract Behavioral Specification (ABS) language in terms of the observable behavior of its concurrent dynamically generated object groups. We show that for such a compositional description we only need to observe traces of asynchronous method calls and the completion of futures. This provides a powerful abstraction from the internal details of the implementation of concurrent object groups, e.g., details concerning when methods are scheduled and futures are read.", 
    "editor": [
      {
        "familyName": "M\u00fcller", 
        "givenName": "Peter", 
        "type": "Person"
      }, 
      {
        "familyName": "Schaefer", 
        "givenName": "Ina", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-98047-8_6", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-98046-1", 
        "978-3-319-98047-8"
      ], 
      "name": "Principled Software Development", 
      "type": "Book"
    }, 
    "name": "Compositional Semantics for Concurrent Object Groups in ABS", 
    "pagination": "87-98", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-98047-8_6"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "56a3bb1918e7148529bcd20b0eb343bed20864d7d32972717adf892673cca04f"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1107803844"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-98047-8_6", 
      "https://app.dimensions.ai/details/publication/pub.1107803844"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T04:59", 
    "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/0000000325_0000000325/records_100778_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-319-98047-8_6"
  }
]
 

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-319-98047-8_6'

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-319-98047-8_6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-98047-8_6'

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-319-98047-8_6'


 

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

91 TRIPLES      23 PREDICATES      29 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-98047-8_6 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author Nbe0d6c358d3d450c8e381ffd54bd2878
4 schema:citation sg:pub.10.1007/978-3-642-25271-6_8
5 sg:pub.10.1007/bf02280834
6 https://doi.org/10.1016/0167-6423(95)00017-8
7 schema:datePublished 2018-10-24
8 schema:datePublishedReg 2018-10-24
9 schema:description In this paper we introduce a new compositional semantics of the Abstract Behavioral Specification (ABS) language in terms of the observable behavior of its concurrent dynamically generated object groups. We show that for such a compositional description we only need to observe traces of asynchronous method calls and the completion of futures. This provides a powerful abstraction from the internal details of the implementation of concurrent object groups, e.g., details concerning when methods are scheduled and futures are read.
10 schema:editor N25a2b97a201447d2b0b50c23d2fc72ad
11 schema:genre chapter
12 schema:inLanguage en
13 schema:isAccessibleForFree false
14 schema:isPartOf N7196188371b64cfe8c105cd7dd737cf4
15 schema:name Compositional Semantics for Concurrent Object Groups in ABS
16 schema:pagination 87-98
17 schema:productId N325fa602c09643489121e34f9a11be9f
18 N86cbe41143244c9685aa1388d360b8fc
19 N8e256a16821e4202880a194501a93c75
20 schema:publisher N0228c05065364d28b9e7b21cd30ca1ca
21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107803844
22 https://doi.org/10.1007/978-3-319-98047-8_6
23 schema:sdDatePublished 2019-04-16T04:59
24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
25 schema:sdPublisher Ne37d65446df04dfbb195056407b1365f
26 schema:url https://link.springer.com/10.1007%2F978-3-319-98047-8_6
27 sgo:license sg:explorer/license/
28 sgo:sdDataset chapters
29 rdf:type schema:Chapter
30 N0228c05065364d28b9e7b21cd30ca1ca schema:location Cham
31 schema:name Springer International Publishing
32 rdf:type schema:Organisation
33 N25a2b97a201447d2b0b50c23d2fc72ad rdf:first N49355f78ebc8492599bc1e648fd6000c
34 rdf:rest N297b80513768428f9d819d6ac823bdf3
35 N297b80513768428f9d819d6ac823bdf3 rdf:first N75822f20290a42bdb8ac2bd5a3aea9ad
36 rdf:rest rdf:nil
37 N325fa602c09643489121e34f9a11be9f schema:name dimensions_id
38 schema:value pub.1107803844
39 rdf:type schema:PropertyValue
40 N49355f78ebc8492599bc1e648fd6000c schema:familyName Müller
41 schema:givenName Peter
42 rdf:type schema:Person
43 N7196188371b64cfe8c105cd7dd737cf4 schema:isbn 978-3-319-98046-1
44 978-3-319-98047-8
45 schema:name Principled Software Development
46 rdf:type schema:Book
47 N75822f20290a42bdb8ac2bd5a3aea9ad schema:familyName Schaefer
48 schema:givenName Ina
49 rdf:type schema:Person
50 N86cbe41143244c9685aa1388d360b8fc schema:name doi
51 schema:value 10.1007/978-3-319-98047-8_6
52 rdf:type schema:PropertyValue
53 N8e256a16821e4202880a194501a93c75 schema:name readcube_id
54 schema:value 56a3bb1918e7148529bcd20b0eb343bed20864d7d32972717adf892673cca04f
55 rdf:type schema:PropertyValue
56 Nbe0d6c358d3d450c8e381ffd54bd2878 rdf:first sg:person.013436173767.19
57 rdf:rest Nbe1264b62d6340beb89eb7d7780e8eca
58 Nbe1264b62d6340beb89eb7d7780e8eca rdf:first sg:person.014640564545.40
59 rdf:rest rdf:nil
60 Ne37d65446df04dfbb195056407b1365f schema:name Springer Nature - SN SciGraph project
61 rdf:type schema:Organization
62 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
63 schema:name Information and Computing Sciences
64 rdf:type schema:DefinedTerm
65 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
66 schema:name Information Systems
67 rdf:type schema:DefinedTerm
68 sg:person.013436173767.19 schema:affiliation https://www.grid.ac/institutes/grid.6054.7
69 schema:familyName de Boer
70 schema:givenName Frank S.
71 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013436173767.19
72 rdf:type schema:Person
73 sg:person.014640564545.40 schema:affiliation https://www.grid.ac/institutes/grid.36120.36
74 schema:familyName de Gouw
75 schema:givenName Stijn
76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014640564545.40
77 rdf:type schema:Person
78 sg:pub.10.1007/978-3-642-25271-6_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036101828
79 https://doi.org/10.1007/978-3-642-25271-6_8
80 rdf:type schema:CreativeWork
81 sg:pub.10.1007/bf02280834 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049425199
82 https://doi.org/10.1007/bf02280834
83 rdf:type schema:CreativeWork
84 https://doi.org/10.1016/0167-6423(95)00017-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019894148
85 rdf:type schema:CreativeWork
86 https://www.grid.ac/institutes/grid.36120.36 schema:alternateName Open University in the Netherlands
87 schema:name Open University, Heerlen, The Netherlands
88 rdf:type schema:Organization
89 https://www.grid.ac/institutes/grid.6054.7 schema:alternateName Centrum Wiskunde and Informatica
90 schema:name CWI, Amsterdam, The Netherlands
91 rdf:type schema:Organization
 




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


...