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.
Find Related Datasets
Search by Tags
Click any tag below to search for similar datasets
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 |
