Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Skip to content
  • Feedback

    • Translations from OBM Library and SysML Behavior Examples to Alloy

    Metadata Updated: September 30, 2025

    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.

    Access & Use Information

    Public: This dataset is intended for public access and use. License: See this page for license information.

    Downloads & Resources

    References

    https://doi.org/10.6028/NIST.IR.8388-upd1

    Dates

    Metadata Created Date September 30, 2025
    Metadata Updated Date September 30, 2025

    Metadata Source

    Harvested from Commerce Non Spatial Data.json Harvest Source

    Other Data Resources

    Additional Metadata

    Resource Type Dataset
    Metadata Created Date September 30, 2025
    Metadata Updated Date September 30, 2025
    Publisher National Institute of Standards and Technology
    Maintainer
    Identifier ark:/88434/mds2-3614
    Data First Published 2024-12-10
    Language en
    Data Last Modified 2024-10-25 00:00:00
    Category Manufacturing:Manufacturing systems design and analysis, Manufacturing:Interoperability in manufacturing, Mathematics and Statistics:Modeling and simulation research, Information Technology:Data and informatics
    Public Access Level public
    Bureau Code 006:55
    Metadata Context https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld
    Schema Version https://project-open-data.cio.gov/v1.1/schema
    Catalog Describedby https://project-open-data.cio.gov/v1.1/schema/catalog.json
    Data Standard https://www.omg.org/spec/SysML/1.6
    Harvest Object Id 5d20729e-989a-49cb-bbec-abad696297ac
    Harvest Source Id bce99b55-29c1-47be-b214-b8e71e9180b1
    Harvest Source Title Commerce Non Spatial Data.json Harvest Source
    License https://www.nist.gov/open/license
    Program Code 006:045
    Related Documents https://doi.org/10.6028/NIST.IR.8388-upd1
    Source Datajson Identifier True
    Source Hash 9b8cef2ee378b0fa21a8c6fdf97f25e84dbb935ef31a4b35d80eb1e4487996d4
    Source Schema Version 1.1

    Didn't find what you're looking for? Suggest a dataset here.