{"@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": [{"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", "format": "README-upd1.md", "mediaType": "application/zip", "title": "obmalloytrans-upd1"}], "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": {"@type": "org:Organization", "name": "National Institute of Standards and Technology"}, "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"}