{
  "_schema": "https://data.nist.gov/od/dm/nerdm-schema/v0.7#",
  "@context": [
    "https://data.nist.gov/od/dm/nerdm-pub-context.jsonld",
    {
      "@base": "ark:/88434/mds2-3614"
    }
  ],
  "@type": [
    "nrdp:DataPublication",
    "nrdp:PublicDataResource",
    "dcat:Dataset"
  ],
  "_extensionSchemas": [
    "https://data.nist.gov/od/dm/nerdm-schema/pub/v0.7#/definitions/PublicDataResource"
  ],
  "@id": "ark:/88434/mds2-3614",
  "ediid": "ark:/88434/mds2-3614",
  "version": "1.0.0",
  "doi": "doi:10.18434/mds2-3614",
  "title": "Translations from OBM Library and SysML Behavior Examples to Alloy",
  "contactPoint": {
    "fn": "Conrad Bock",
    "hasEmail": "mailto:conrad.bock@nist.gov"
  },
  "modified": "2024-10-25",
  "status": "available",
  "landingPage": "https://data.nist.gov/od/id/mds2-3614",
  "description": [
    "This repository includes Alloy Analyzer code from the development of NIST Interagency Report (NISTIR) 8388-upd1. The report presents an approach to verifying executability of system behavior models by treating them as logical constraint problems solved using Alloy Analyzer, a non-proprietary software tool supporting a textual language for logical constraints and underlying solvers."
  ],
  "keyword": [
    "SysML",
    "Alloy",
    "Behavior verification",
    "Systems modeling"
  ],
  "topic": [
    {
      "@type": "Concept",
      "scheme": "https://data.nist.gov/od/dm/nist-themes/v1.1",
      "tag": "Manufacturing: Manufacturing systems design and analysis"
    },
    {
      "@type": "Concept",
      "scheme": "https://data.nist.gov/od/dm/nist-themes/v1.1",
      "tag": "Manufacturing: Interoperability in manufacturing"
    },
    {
      "@type": "Concept",
      "scheme": "https://data.nist.gov/od/dm/nist-themes/v1.1",
      "tag": "Mathematics and Statistics: Modeling and simulation research"
    },
    {
      "@type": "Concept",
      "scheme": "https://data.nist.gov/od/dm/nist-themes/v1.1",
      "tag": "Information Technology: Data and informatics"
    }
  ],
  "accessLevel": "public",
  "license": "https://www.nist.gov/open/license",
  "publisher": {
    "name": "National Institute of Standards and Technology",
    "@type": "org:Organization"
  },
  "language": [
    "en"
  ],
  "bureauCode": [
    "006:55"
  ],
  "programCode": [
    "006:052"
  ],
  "theme": [
    "Manufacturing: Manufacturing systems design and analysis",
    "Manufacturing: Interoperability in manufacturing",
    "Mathematics and Statistics: Modeling and simulation research",
    "Information Technology: Data and informatics"
  ],
  "references": [
    {
      "@type": [
        "npg:Document"
      ],
      "@id": "#ref:10.6028/NIST.IR.8388-upd1",
      "refType": "IsSupplementTo",
      "location": "https://doi.org/10.6028/NIST.IR.8388-upd1",
      "_extensionSchemas": [
        "https://data.nist.gov/od/dm/nerdm-schema/bib/v0.7#/definitions/DCiteReference"
      ],
      "title": "Verifying Executability of SysML Behavior Models Using Alloy Analyzer",
      "issued": "2024",
      "citation": "Bock, C. (2024). Verifying Executability of SysML Behavior Models Using Alloy Analyzer. National Institute of Standards and Technology. https://doi.org/10.6028/nist.ir.8388-upd1\n"
    }
  ],
  "components": [
    {
      "@id": "cmps/obmalloytrans-upd1.zip",
      "@type": [
        "nrdp:DataFile",
        "nrdp:DownloadableFile",
        "dcat:Distribution"
      ],
      "_extensionSchemas": [
        "https://data.nist.gov/od/dm/nerdm-schema/pub/v0.7#/definitions/DataFile"
      ],
      "filepath": "obmalloytrans-upd1.zip",
      "downloadURL": "https://data.nist.gov/od/ds/mds2-3614/obmalloytrans-upd1.zip",
      "mediaType": "application/zip",
      "title": "obmalloytrans-upd1",
      "size": 1412608,
      "format": {
        "description": "README-upd1.md"
      },
      "description": "This repository includes Alloy Analyzer code from the development of NIST Interagency Report (NISTIR) 8388-upd1. The report presents an approach to verifying executability of system behavior models by treating them as logical constraint problems solved using Alloy Analyzer, a non-proprietary software tool supporting a textual language for logical constraints and underlying solvers.",
      "checksum": {
        "hash": "67c3627c6d07dc86cf499fd5bb2f3bfa7e963167f0b725b28fdb437923a6afd7",
        "algorithm": {
          "tag": "sha256",
          "@type": "Thing"
        }
      }
    }
  ],
  "_editStatus": "done",
  "authors": [
    {
      "familyName": "Jeremy",
      "fn": "Doerr  Jeremy",
      "givenName": "Doerr",
      "middleName": "",
      "affiliation": [
        {
          "title": "Georgia Tech Research Institute",
          "@type": "org:Organization"
        }
      ],
      "orcid": "0000-0001-8433-040X",
      "@type": "foaf:Person"
    },
    {
      "familyName": "Bock",
      "fn": "Conrad  Bock",
      "givenName": "Conrad",
      "middleName": "",
      "affiliation": [
        {
          "title": "National Institute of Standards and Technology",
          "subunits": [
            "Communications Technology Laboratory"
          ],
          "@type": "org:Organization",
          "@id": "ror:05xpvk416"
        }
      ],
      "orcid": "0009-0009-3172-120X",
      "@type": "foaf:Person"
    },
    {
      "familyName": "Barbau",
      "fn": "Raphael  Barbau",
      "givenName": "Raphael",
      "middleName": "",
      "affiliation": [
        {
          "title": "National Institute of Standards and Technology",
          "subunits": [
            "Communications Technology Laboratory"
          ],
          "@type": "org:Organization",
          "@id": "ror:05xpvk416"
        },
        {
          "title": "University of Maryland",
          "@type": "org:Organization"
        }
      ],
      "orcid": "0000-0002-0331-2929",
      "@type": "foaf:Person"
    }
  ],
  "annotated": "2024-12-10T22:07:26.756341",
  "revised": "2024-12-10T22:07:26.756341",
  "issued": null,
  "firstIssued": "2024-12-10T22:07:26.756341"
}