{
    "identifier": "ark:\/88434\/mds2-3614",
    "accessLevel": "public",
    "contactPoint": {
        "hasEmail": "mailto:[email protected]",
        "fn": "Conrad Bock"
    },
    "programCode": [
        "006:045"
    ],
    "landingPage": "",
    "title": "Translations from OBM Library and SysML Behavior Examples to Alloy",
    "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.",
    "language": [
        "en"
    ],
    "distribution": [
        {
            "downloadURL": "https:\/\/data.nist.gov\/od\/ds\/mds2-3614\/obmalloytrans-upd1.zip",
            "format": "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.",
            "mediaType": "application\/zip",
            "title": "obmalloytrans-upd1"
        }
    ],
    "bureauCode": [
        "006:55"
    ],
    "modified": "2024-10-25 00:00:00",
    "publisher": {
        "@type": "org:Organization",
        "name": "National Institute of Standards and Technology"
    },
    "theme": [
        "Manufacturing:Manufacturing systems design and analysis",
        "Manufacturing:Interoperability in manufacturing",
        "Mathematics and Statistics:Modeling and simulation research",
        "Information Technology:Data and informatics"
    ],
    "keyword": [
        "SysML",
        "Alloy",
        "Behavior verification",
        "Systems modeling"
    ]
}