Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets

@article{Rahim2015TowardsTF,
  title={Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets},
  author={Messaoud Rahim and Ahmed Hammad and Malika Boukala-Ioualalen},
  journal={2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence},
  year={2015},
  pages={509-516}
}
The SysML Activity diagram can be used to describe the behavior of complex systems which integrate an increasing number of components and a variety of technologies. Call behavior actions are SysML activity diagram elements used for structuring, composing and reusing activities. However, when designing complex and critical systems, the use of formal methods is strongly recommended for their validation, but the SysML language lacks formal semantics to achieve behavioral requirement verification… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 17 REFERENCES

The Petri Net Markup Language

  • Petri Net Technology for Communication-Based Systems
  • 2003
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

OMG Systems Modeling Language (OMG SysMLTM) Version 1.3

OMG
  • downloadable http://www.omg.org/spec/SysML/1.3/, 2012, last visited on 13/01/2015.
  • 2012
VIEW 1 EXCERPT

A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints

E. Andrade, P. Macie, G. Callou, B. Nogueira
  • Third International Conference on Digital Society, ICDS’09, Cancun, Mexico, 2009, pp. 266–271.
  • 2009
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…