Incremental Scenario Modeling Using Hierarchical Object-Oriented Petri Net

  title={Incremental Scenario Modeling Using Hierarchical Object-Oriented Petri Net},
  author={Jang-Eui Hong and Doo-Hwan Bae},
  journal={International Journal of Software Engineering and Knowledge Engineering},
Scenario-based modeling is emerging as a key technology in software development because scenarios are easy to describe and understand, naturally describing the real world, and highly used in several development phases. Scenario-Based Software Modeling(SBSM) represents scenarios with a formal method, and then integrates each scenario into a global one excluding redundant, incomplete, and inconsistent elements. An issue which is not yet proposed a clear solution in SBSM is the handling of di… CONTINUE READING


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

Shatz, Protocol Speci cation Design Using An Object-Based Petri Net Formalism

  • V. P. Sliva, S.M.T. Murata
  • International Journal of SEKE,
  • 1999
2 Excerpts

Similar Papers

Loading similar papers…