A formal model for the requirements diagrams of SysML

  • Valles-Barajas F
  • 13


    Mendeley users who have this article in their library.
  • 6


    Citations of this article.


There are several notations to build a model: textual, graphical and by using mathematics. The Object Management Group (OMG) has developed a graphical notation to model systems called SysML (system modeling language); this notation includes the modeling of the system requirements. In this paper a precise model of the requirements diagrams of SysML is presented. This model is made using a modeling language called Alloy, which has been used to formally specify UML diagrams.

Author-supplied keywords

  • Alloy
  • Formal methods
  • SysML
  • requirement diagrams
  • system modeling

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Fernando Valles-Barajas

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free