Categorical Foundations for System Engineering View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017-11-26

AUTHORS

Spencer Breiner , Eswaran Subrahmanian , Albert Jones

ABSTRACT

In this paper, we argue that category theory (CT), the mathematical theory of abstract processes, could provide a concrete formal foundation for the study and practice of systems engineering. To provide some evidence for this claim, we trace the classic V-model of systems engineering, stopping along the way to (a) introduce elements of CT and (b) show how these might apply in a variety of systems engineering contexts. More... »

PAGES

449-463

Book

TITLE

Disciplinary Convergence in Systems Engineering Research

ISBN

978-3-319-62216-3
978-3-319-62217-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-62217-0_32

DOI

http://dx.doi.org/10.1007/978-3-319-62217-0_32

DIMENSIONS

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


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/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "National Institute of Standards and Technology, Gaithersburg, MD, USA", 
          "id": "http://www.grid.ac/institutes/grid.94225.38", 
          "name": [
            "National Institute of Standards and Technology, Gaithersburg, MD, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Breiner", 
        "givenName": "Spencer", 
        "id": "sg:person.013263450613.35", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013263450613.35"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Carnegie Mellon University, Pittsburgh, PA, USA", 
          "id": "http://www.grid.ac/institutes/grid.147455.6", 
          "name": [
            "National Institute of Standards and Technology, Gaithersburg, MD, USA", 
            "Carnegie Mellon University, Pittsburgh, PA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Subrahmanian", 
        "givenName": "Eswaran", 
        "id": "sg:person.011641146247.32", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011641146247.32"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Carnegie Mellon University, Pittsburgh, PA, USA", 
          "id": "http://www.grid.ac/institutes/grid.147455.6", 
          "name": [
            "Carnegie Mellon University, Pittsburgh, PA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jones", 
        "givenName": "Albert", 
        "id": "sg:person.014237565217.36", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014237565217.36"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2017-11-26", 
    "datePublishedReg": "2017-11-26", 
    "description": "In this paper, we argue that category theory (CT), the mathematical theory of abstract processes, could provide a concrete formal foundation for the study and practice of systems engineering. To provide some evidence for this claim, we trace the classic V-model of systems engineering, stopping along the way to (a) introduce elements of CT and (b) show how these might apply in a variety of systems engineering contexts.", 
    "editor": [
      {
        "familyName": "Madni", 
        "givenName": "Azad M.", 
        "type": "Person"
      }, 
      {
        "familyName": "Boehm", 
        "givenName": "Barry", 
        "type": "Person"
      }, 
      {
        "familyName": "Ghanem", 
        "givenName": "Roger G.", 
        "type": "Person"
      }, 
      {
        "familyName": "Erwin", 
        "givenName": "Daniel", 
        "type": "Person"
      }, 
      {
        "familyName": "Wheaton", 
        "givenName": "Marilee J.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-62217-0_32", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-62216-3", 
        "978-3-319-62217-0"
      ], 
      "name": "Disciplinary Convergence in Systems Engineering Research", 
      "type": "Book"
    }, 
    "keywords": [
      "category theory", 
      "mathematical theory", 
      "categorical foundations", 
      "systems engineering", 
      "systems engineering context", 
      "theory", 
      "engineering context", 
      "V-model", 
      "engineering", 
      "abstract processes", 
      "formal foundation", 
      "foundation", 
      "process", 
      "elements", 
      "way", 
      "variety", 
      "context", 
      "study", 
      "claims", 
      "classic", 
      "practice", 
      "evidence", 
      "paper"
    ], 
    "name": "Categorical Foundations for System Engineering", 
    "pagination": "449-463", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1093010167"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-62217-0_32"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-62217-0_32", 
      "https://app.dimensions.ai/details/publication/pub.1093010167"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-10-01T07:00", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20221001/entities/gbq_results/chapter/chapter_88.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-62217-0_32"
  }
]
 

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-62217-0_32'

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-62217-0_32'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-62217-0_32'

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-62217-0_32'


 

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

120 TRIPLES      22 PREDICATES      47 URIs      40 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-62217-0_32 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author N1735de7ed1a24b3798b5785bdeba6cea
4 schema:datePublished 2017-11-26
5 schema:datePublishedReg 2017-11-26
6 schema:description In this paper, we argue that category theory (CT), the mathematical theory of abstract processes, could provide a concrete formal foundation for the study and practice of systems engineering. To provide some evidence for this claim, we trace the classic V-model of systems engineering, stopping along the way to (a) introduce elements of CT and (b) show how these might apply in a variety of systems engineering contexts.
7 schema:editor N0aac83bf55044dc7a24dd90015be346e
8 schema:genre chapter
9 schema:isAccessibleForFree false
10 schema:isPartOf N6b84945b4a58410195fb53f2ad870b4e
11 schema:keywords V-model
12 abstract processes
13 categorical foundations
14 category theory
15 claims
16 classic
17 context
18 elements
19 engineering
20 engineering context
21 evidence
22 formal foundation
23 foundation
24 mathematical theory
25 paper
26 practice
27 process
28 study
29 systems engineering
30 systems engineering context
31 theory
32 variety
33 way
34 schema:name Categorical Foundations for System Engineering
35 schema:pagination 449-463
36 schema:productId N76058f82e2614f1788bbd500103a9ca8
37 Na6a49417584142998d95d83ddbc35019
38 schema:publisher Nbed3d591957e40189e07f43963b98b6d
39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093010167
40 https://doi.org/10.1007/978-3-319-62217-0_32
41 schema:sdDatePublished 2022-10-01T07:00
42 schema:sdLicense https://scigraph.springernature.com/explorer/license/
43 schema:sdPublisher N1cea20ae8a07456aa5d34ab28807c545
44 schema:url https://doi.org/10.1007/978-3-319-62217-0_32
45 sgo:license sg:explorer/license/
46 sgo:sdDataset chapters
47 rdf:type schema:Chapter
48 N0aac83bf55044dc7a24dd90015be346e rdf:first Nf3961382dc6b4094bdf7c493866e360d
49 rdf:rest N71361415432a4197a502fae0b67271aa
50 N1735de7ed1a24b3798b5785bdeba6cea rdf:first sg:person.013263450613.35
51 rdf:rest Nd11209a1cfc642c8afa0d6a65ab7a501
52 N1cea20ae8a07456aa5d34ab28807c545 schema:name Springer Nature - SN SciGraph project
53 rdf:type schema:Organization
54 N2c5ff920ce3440e799cbba8d14d8093a rdf:first sg:person.014237565217.36
55 rdf:rest rdf:nil
56 N4ac8a3a0deea408f86ca209434717f25 schema:familyName Wheaton
57 schema:givenName Marilee J.
58 rdf:type schema:Person
59 N6b84945b4a58410195fb53f2ad870b4e schema:isbn 978-3-319-62216-3
60 978-3-319-62217-0
61 schema:name Disciplinary Convergence in Systems Engineering Research
62 rdf:type schema:Book
63 N6b920d1d458d486cae315dab39b4538a schema:familyName Boehm
64 schema:givenName Barry
65 rdf:type schema:Person
66 N71361415432a4197a502fae0b67271aa rdf:first N6b920d1d458d486cae315dab39b4538a
67 rdf:rest Ncb4f159b384443df81bf45809de990d5
68 N71b01b788846400588b2a87ed3b5e1f6 rdf:first N4ac8a3a0deea408f86ca209434717f25
69 rdf:rest rdf:nil
70 N76058f82e2614f1788bbd500103a9ca8 schema:name dimensions_id
71 schema:value pub.1093010167
72 rdf:type schema:PropertyValue
73 N7a4b3869bcbc44678dbd20e095a7cf71 schema:familyName Ghanem
74 schema:givenName Roger G.
75 rdf:type schema:Person
76 Na6a49417584142998d95d83ddbc35019 schema:name doi
77 schema:value 10.1007/978-3-319-62217-0_32
78 rdf:type schema:PropertyValue
79 Nbed3d591957e40189e07f43963b98b6d schema:name Springer Nature
80 rdf:type schema:Organisation
81 Nc33c3e52bd7d4705b90790ecb909e32a rdf:first Nebabdc6eeacd45dea9fe9d68bc60bcb7
82 rdf:rest N71b01b788846400588b2a87ed3b5e1f6
83 Ncb4f159b384443df81bf45809de990d5 rdf:first N7a4b3869bcbc44678dbd20e095a7cf71
84 rdf:rest Nc33c3e52bd7d4705b90790ecb909e32a
85 Nd11209a1cfc642c8afa0d6a65ab7a501 rdf:first sg:person.011641146247.32
86 rdf:rest N2c5ff920ce3440e799cbba8d14d8093a
87 Nebabdc6eeacd45dea9fe9d68bc60bcb7 schema:familyName Erwin
88 schema:givenName Daniel
89 rdf:type schema:Person
90 Nf3961382dc6b4094bdf7c493866e360d schema:familyName Madni
91 schema:givenName Azad M.
92 rdf:type schema:Person
93 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
94 schema:name Mathematical Sciences
95 rdf:type schema:DefinedTerm
96 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
97 schema:name Pure Mathematics
98 rdf:type schema:DefinedTerm
99 sg:person.011641146247.32 schema:affiliation grid-institutes:grid.147455.6
100 schema:familyName Subrahmanian
101 schema:givenName Eswaran
102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011641146247.32
103 rdf:type schema:Person
104 sg:person.013263450613.35 schema:affiliation grid-institutes:grid.94225.38
105 schema:familyName Breiner
106 schema:givenName Spencer
107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013263450613.35
108 rdf:type schema:Person
109 sg:person.014237565217.36 schema:affiliation grid-institutes:grid.147455.6
110 schema:familyName Jones
111 schema:givenName Albert
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014237565217.36
113 rdf:type schema:Person
114 grid-institutes:grid.147455.6 schema:alternateName Carnegie Mellon University, Pittsburgh, PA, USA
115 schema:name Carnegie Mellon University, Pittsburgh, PA, USA
116 National Institute of Standards and Technology, Gaithersburg, MD, USA
117 rdf:type schema:Organization
118 grid-institutes:grid.94225.38 schema:alternateName National Institute of Standards and Technology, Gaithersburg, MD, USA
119 schema:name National Institute of Standards and Technology, Gaithersburg, MD, USA
120 rdf:type schema:Organization
 




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


...