Logic bSased Formalization of UML Use Case Modeling

Y. Shinkawa (Japan)


Software methodologies, use case driven approach, formal methods, Colored Petri-Nets.


Use case driven approach is one of the most practical ways in software development. However, due to lack of formal ism in UML use case diagrams, the requirements that are represented by use case models often become vague. In ad dition, particular notation of UML use case diagram makes it dif´Čücult to evaluate the consistency of use case models to other related UML models, e.g. activity models. This paper presents a systematic way to introduce logic based formal ism into use case driven approach, in order to make use case models more rigorous. The formalization is made by ana lyzing each use case description from logical viewpoints, and as a result, the description is transformed into a set of logical formulae that represent pre- and post-conditions, along with a series of functions that represents action steps. Subsequently the logic based use case models are trans formed into CPN (Colored Petri-Net) models in order to identify larger scale processes.

Important Links:

Go Back