Ontology type: schema:Chapter
2018-10-24
AUTHORSFrank S. de Boer , Stijn de Gouw
ABSTRACTIn 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... »
PAGES87-98
Principled Software Development
ISBN
978-3-319-98046-1
978-3-319-98047-8
http://scigraph.springernature.com/pub.10.1007/978-3-319-98047-8_6
DOIhttp://dx.doi.org/10.1007/978-3-319-98047-8_6
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1107803844
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
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