Towards a fractionation-based verification: application on SysML activity diagrams

@inproceedings{Ouchani2019TowardsAF,
  title={Towards a fractionation-based verification: application on SysML activity diagrams},
  author={Samir Ouchani},
  booktitle={SAC},
  year={2019}
}
This work contributes to reduce the cost of the verification process of model-based systems, especially the ones designed as SysML activity diagrams, by relying on the concept of diagram calls defined in SysML standard. By exploiting the diagram calls concept, we propose a mechanism to transform a given diagram into its equivalent fractal (hierarchical) form. Further, we present an abstraction algorithm to reduce the size of the obtained SysML activity diagram by ignoring the irrelevant… CONTINUE READING