Skip to content
/ SpecIF Public

Specification Integration Facility - schema, constraint checker and examples

License

Notifications You must be signed in to change notification settings

GfSE/SpecIF

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
odungern
Mar 9, 2019
cb1c5eb · Mar 9, 2019
Mar 5, 2019
Mar 9, 2019
Oct 13, 2018
Jan 8, 2017
Mar 6, 2018

Repository files navigation

alt text

Specification Integration Facility - schema, constraints, checker and examples

Purpose

SpecIF represents the visible, i.e. the diagrams and the text, as well as the semantics of system specifications for model integration and model exchange.

For details see http://specif.de.

This branch details schema and constraints at SpecIF level-1. This level is characterized by

  • A SpecIF data set (container) must have information elements with unique identifiers. So there is no support for information elements with multiple revisions.
  • Information content for one language is supported.
  • Lossless transformation to and from ReqIF is possible.
  • For SpecIF containers with multiple revisions of the same information element and for multi-language support, please consult the main branch starting version 0.11.x

Schema

Constraints

Checker

Examples

Acknowledgements

This work has been sponsored by enso-managers gmbh, Berlin

About

Specification Integration Facility - schema, constraint checker and examples

Resources

License

Stars

Watchers

Forks

Packages

No packages published