Derivation and Evaluation of OSAN Models from UML Models of Business Processes

@inproceedings{Kamandi2005DerivationAE,
  title={Derivation and Evaluation of OSAN Models from UML Models of Business Processes},
  author={Ali Kamandi and Mohammad Abdollahi Azgomi and Ali Movaghar},
  year={2005}
}
The unified modelling language (UML) is a de facto standard for object-oriented modelling. However, the formal semantics for the notations included in UML are not provided, which are a key requirement for the verification and evaluation purposes. To solve this problem, Petri nets formalism has been used as a complement to UML in several research projects. However, there is not a complete transformation technique for all concepts and diagrams of UML to an extension of Petri nets. We have… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 24 references

A Modelling Tool for Object Stochastic Activity Networks,

  • A. Kamandi, M Abdollahi Azgomi, A. Movaghar
  • Proc. 9 Annual CSI Computer Conf. (CSICC'04),
  • 2004

A Modelling Tool for Object Stochastic Activity Networks," MSc

  • A. Kamandi
  • Thesis, Sharif University of Technology,
  • 2003

Towards an Object-Oriented Extension for Stochastic Activity Networks," Proc. of 10 Workshop on Algorithms and Tools for Petri Nets

  • M. Abdollahi Azgomi, A. Movaghar
  • 2003

Similar Papers

Loading similar papers…