Net-based description of parallel object-based systems, or POTs and POPs View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1991

AUTHORS

Joost Engelfriet , George Leih , Grzegorz Rozenberg

ABSTRACT

Two formalisms, called POT and POP, are introduced for modelling parallel object-based systems. The first formalism is on the level of transition systems and the second on the program level. Both formalisms are based on Petri nets. A POT is obtained from a Petri net by the addition of components that handle specific object-based features such as object identity, object creation (and destruction), private memory of objects, and references to objects. Parallelism and synchronization are handled by the Petri net. A POP is a program that may be viewed as an abbreviation of a (usually infinite) POT, comparable to a high-level Petri net. More... »

PAGES

229-273

Book

TITLE

Foundations of Object-Oriented Languages

ISBN

978-3-540-53931-5
978-3-540-46450-1

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bfb0019446

DOI

http://dx.doi.org/10.1007/bfb0019446

DIMENSIONS

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


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": {
          "alternateName": "Leiden University", 
          "id": "https://www.grid.ac/institutes/grid.5132.5", 
          "name": [
            "Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA\u00a0Leiden, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Engelfriet", 
        "givenName": "Joost", 
        "id": "sg:person.014574236321.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Leiden University", 
          "id": "https://www.grid.ac/institutes/grid.5132.5", 
          "name": [
            "Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA\u00a0Leiden, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Leih", 
        "givenName": "George", 
        "id": "sg:person.010667135125.65", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010667135125.65"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Leiden University", 
          "id": "https://www.grid.ac/institutes/grid.5132.5", 
          "name": [
            "Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA\u00a0Leiden, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Rozenberg", 
        "givenName": "Grzegorz", 
        "id": "sg:person.015247703545.18", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015247703545.18"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1991", 
    "datePublishedReg": "1991-01-01", 
    "description": "Two formalisms, called POT and POP, are introduced for modelling parallel object-based systems. The first formalism is on the level of transition systems and the second on the program level. Both formalisms are based on Petri nets. A POT is obtained from a Petri net by the addition of components that handle specific object-based features such as object identity, object creation (and destruction), private memory of objects, and references to objects. Parallelism and synchronization are handled by the Petri net. A POP is a program that may be viewed as an abbreviation of a (usually infinite) POT, comparable to a high-level Petri net.", 
    "editor": [
      {
        "familyName": "de Bakker", 
        "givenName": "J. W.", 
        "type": "Person"
      }, 
      {
        "familyName": "de Roever", 
        "givenName": "W. P.", 
        "type": "Person"
      }, 
      {
        "familyName": "Rozenberg", 
        "givenName": "G.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0019446", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-53931-5", 
        "978-3-540-46450-1"
      ], 
      "name": "Foundations of Object-Oriented Languages", 
      "type": "Book"
    }, 
    "name": "Net-based description of parallel object-based systems, or POTs and POPs", 
    "pagination": "229-273", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0019446"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "bfe0737c37c3a842f1a0790a7a0087ebde6f110b1cfc6fc0e9790aaad15948fd"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1040280090"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0019446", 
      "https://app.dimensions.ai/details/publication/pub.1040280090"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T12:19", 
    "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_8663_00000069.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/BFb0019446"
  }
]
 

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/bfb0019446'

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/bfb0019446'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0019446'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0019446'


 

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

89 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0019446 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N967f4f034447465bb6e0a4e69512f2b2
4 schema:datePublished 1991
5 schema:datePublishedReg 1991-01-01
6 schema:description Two formalisms, called POT and POP, are introduced for modelling parallel object-based systems. The first formalism is on the level of transition systems and the second on the program level. Both formalisms are based on Petri nets. A POT is obtained from a Petri net by the addition of components that handle specific object-based features such as object identity, object creation (and destruction), private memory of objects, and references to objects. Parallelism and synchronization are handled by the Petri net. A POP is a program that may be viewed as an abbreviation of a (usually infinite) POT, comparable to a high-level Petri net.
7 schema:editor N31a2f74b2bc44dc3b716c7580385b1fb
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Neb9301f5b2b747d0adb4e7c953c0bc78
12 schema:name Net-based description of parallel object-based systems, or POTs and POPs
13 schema:pagination 229-273
14 schema:productId N3b284e71dfaf40648cbba3041a3e5db0
15 N8423d3e0ac574edeb135e36e0f34c3b5
16 Nc1dacebb7faa492e8de977cb9628a8f4
17 schema:publisher Nab31b3b3cc3a47669a206ec4a8db369d
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040280090
19 https://doi.org/10.1007/bfb0019446
20 schema:sdDatePublished 2019-04-15T12:19
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher N865fcb81731d4adf8a176fdbfc64a6a2
23 schema:url http://link.springer.com/10.1007/BFb0019446
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N036ec685ba844efd88f2b94e917c3bab rdf:first Nce04786d89684379927717a221a3aeda
28 rdf:rest rdf:nil
29 N31a2f74b2bc44dc3b716c7580385b1fb rdf:first Nc7a47479f6c141b2af667e743d591bad
30 rdf:rest Nb0386e4d80b04e20a9e708815e19e87b
31 N3b284e71dfaf40648cbba3041a3e5db0 schema:name readcube_id
32 schema:value bfe0737c37c3a842f1a0790a7a0087ebde6f110b1cfc6fc0e9790aaad15948fd
33 rdf:type schema:PropertyValue
34 N791200efe6b442ecb7c57983e4b00d2e rdf:first sg:person.010667135125.65
35 rdf:rest Nd41e88e207e44c4ea94e2cbdc4300698
36 N8423d3e0ac574edeb135e36e0f34c3b5 schema:name doi
37 schema:value 10.1007/bfb0019446
38 rdf:type schema:PropertyValue
39 N865fcb81731d4adf8a176fdbfc64a6a2 schema:name Springer Nature - SN SciGraph project
40 rdf:type schema:Organization
41 N967f4f034447465bb6e0a4e69512f2b2 rdf:first sg:person.014574236321.39
42 rdf:rest N791200efe6b442ecb7c57983e4b00d2e
43 Nab31b3b3cc3a47669a206ec4a8db369d schema:location Berlin, Heidelberg
44 schema:name Springer Berlin Heidelberg
45 rdf:type schema:Organisation
46 Nb0386e4d80b04e20a9e708815e19e87b rdf:first Nbbbdeeca054847b0b5dafbcac1807a73
47 rdf:rest N036ec685ba844efd88f2b94e917c3bab
48 Nbbbdeeca054847b0b5dafbcac1807a73 schema:familyName de Roever
49 schema:givenName W. P.
50 rdf:type schema:Person
51 Nc1dacebb7faa492e8de977cb9628a8f4 schema:name dimensions_id
52 schema:value pub.1040280090
53 rdf:type schema:PropertyValue
54 Nc7a47479f6c141b2af667e743d591bad schema:familyName de Bakker
55 schema:givenName J. W.
56 rdf:type schema:Person
57 Nce04786d89684379927717a221a3aeda schema:familyName Rozenberg
58 schema:givenName G.
59 rdf:type schema:Person
60 Nd41e88e207e44c4ea94e2cbdc4300698 rdf:first sg:person.015247703545.18
61 rdf:rest rdf:nil
62 Neb9301f5b2b747d0adb4e7c953c0bc78 schema:isbn 978-3-540-46450-1
63 978-3-540-53931-5
64 schema:name Foundations of Object-Oriented Languages
65 rdf:type schema:Book
66 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
67 schema:name Information and Computing Sciences
68 rdf:type schema:DefinedTerm
69 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
70 schema:name Computer Software
71 rdf:type schema:DefinedTerm
72 sg:person.010667135125.65 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
73 schema:familyName Leih
74 schema:givenName George
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010667135125.65
76 rdf:type schema:Person
77 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
78 schema:familyName Engelfriet
79 schema:givenName Joost
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
81 rdf:type schema:Person
82 sg:person.015247703545.18 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
83 schema:familyName Rozenberg
84 schema:givenName Grzegorz
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015247703545.18
86 rdf:type schema:Person
87 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
88 schema:name Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA Leiden, The Netherlands
89 rdf:type schema:Organization
 




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


...