Translations from OBM Library and SysML Behavior Examples to Alloy
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.
Complete Metadata
| @type | dcat:Dataset |
|---|---|
| accessLevel | public |
| bureauCode |
[
"006:55"
]
|
| conformsTo | https://www.omg.org/spec/SysML/1.6 |
| contactPoint |
{
"fn": "Conrad Bock",
"hasEmail": "mailto:conrad.bock@nist.gov"
}
|
| 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. |
| distribution |
[
{
"title": "obmalloytrans-upd1",
"format": "README-upd1.md",
"mediaType": "application/zip",
"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.",
"downloadURL": "https://data.nist.gov/od/ds/mds2-3614/obmalloytrans-upd1.zip"
}
]
|
| identifier | ark:/88434/mds2-3614 |
| issued | 2024-12-10 |
| keyword |
[
"Alloy",
"Behavior verification",
"SysML",
"Systems modeling"
]
|
| language |
[
"en"
]
|
| license | https://www.nist.gov/open/license |
| modified | 2024-10-25 00:00:00 |
| programCode |
[
"006:045"
]
|
| publisher |
{
"name": "National Institute of Standards and Technology",
"@type": "org:Organization"
}
|
| references |
[
"https://doi.org/10.6028/NIST.IR.8388-upd1"
]
|
| theme |
[
"Information Technology:Data and informatics",
"Manufacturing:Interoperability in manufacturing",
"Manufacturing:Manufacturing systems design and analysis",
"Mathematics and Statistics:Modeling and simulation research"
]
|
| title | Translations from OBM Library and SysML Behavior Examples to Alloy |
