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-12-01T06:54", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20221201/entities/gbq_results/chapter/chapter_469.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 Ncd50a12145a74e00bf488358fc7ef6ff
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 Ned0f6a33a38849a180bc5b2b8d7805e7
8 schema:genre chapter
9 schema:isAccessibleForFree false
10 schema:isPartOf Nb7f5eed3be31468ea073d793398361b5
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 N3544e5d9004547aea6aead5ac71d9112
37 N3b3ce1b918804d888bf19b4d84c07fe9
38 schema:publisher N9f38c8a622014e5889ea93bd1b801a81
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-12-01T06:54
42 schema:sdLicense https://scigraph.springernature.com/explorer/license/
43 schema:sdPublisher N019fd0efecb14b09a2a8b7987b47f6bc
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 N019fd0efecb14b09a2a8b7987b47f6bc schema:name Springer Nature - SN SciGraph project
49 rdf:type schema:Organization
50 N0e597c13bcc84b7193cefa326aa6d205 rdf:first N25d41ba5ffba43f6af70fa5a19dc454b
51 rdf:rest N4b2433d8bb62444184451356982e662d
52 N167a919ffa1a440397803478ee3c0d32 schema:familyName Madni
53 schema:givenName Azad M.
54 rdf:type schema:Person
55 N192ef3eea7eb46178a92bb5c945883b8 rdf:first N2ba8f2f2e211483bb6f50258d0778cec
56 rdf:rest N0e597c13bcc84b7193cefa326aa6d205
57 N25d41ba5ffba43f6af70fa5a19dc454b schema:familyName Ghanem
58 schema:givenName Roger G.
59 rdf:type schema:Person
60 N26bb8c918a444db9becb997a8a644ecb schema:familyName Wheaton
61 schema:givenName Marilee J.
62 rdf:type schema:Person
63 N2ba8f2f2e211483bb6f50258d0778cec schema:familyName Boehm
64 schema:givenName Barry
65 rdf:type schema:Person
66 N3544e5d9004547aea6aead5ac71d9112 schema:name dimensions_id
67 schema:value pub.1093010167
68 rdf:type schema:PropertyValue
69 N3b3ce1b918804d888bf19b4d84c07fe9 schema:name doi
70 schema:value 10.1007/978-3-319-62217-0_32
71 rdf:type schema:PropertyValue
72 N4b2433d8bb62444184451356982e662d rdf:first Nb8aaa57f40a042ddae362fe5517c764d
73 rdf:rest Na1fe0db799d14dd6a3a63452c83dcc68
74 N587d8980d5614e0b989a4c7d178259a1 rdf:first sg:person.014237565217.36
75 rdf:rest rdf:nil
76 N9f38c8a622014e5889ea93bd1b801a81 schema:name Springer Nature
77 rdf:type schema:Organisation
78 Na1fe0db799d14dd6a3a63452c83dcc68 rdf:first N26bb8c918a444db9becb997a8a644ecb
79 rdf:rest rdf:nil
80 Na2636e4109f34b998517c3550543129b rdf:first sg:person.011641146247.32
81 rdf:rest N587d8980d5614e0b989a4c7d178259a1
82 Nb7f5eed3be31468ea073d793398361b5 schema:isbn 978-3-319-62216-3
83 978-3-319-62217-0
84 schema:name Disciplinary Convergence in Systems Engineering Research
85 rdf:type schema:Book
86 Nb8aaa57f40a042ddae362fe5517c764d schema:familyName Erwin
87 schema:givenName Daniel
88 rdf:type schema:Person
89 Ncd50a12145a74e00bf488358fc7ef6ff rdf:first sg:person.013263450613.35
90 rdf:rest Na2636e4109f34b998517c3550543129b
91 Ned0f6a33a38849a180bc5b2b8d7805e7 rdf:first N167a919ffa1a440397803478ee3c0d32
92 rdf:rest N192ef3eea7eb46178a92bb5c945883b8
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)


...