Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Agile software development
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
The Object Primer: Agile Model-Driven Development with UML 2.0
The Object Primer: Agile Model-Driven Development with UML 2.0
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Inter-Model Consistency in UML Based on CPN Formalism
APSEC '06 Proceedings of the XIII Asia Pacific Software Engineering Conference
Service-Oriented Architecture (SOA): A Planning and Implementation Guide for Business and Technology
Service-Oriented Architecture (SOA): A Planning and Implementation Guide for Business and Technology
Object-oriented analysis and design with applications, third edition
Object-oriented analysis and design with applications, third edition
Hi-index | 0.00 |
Use case driven approach is one of the most practical ways in software development. However, due to lack of formalism in UML use case diagrams, the requirements that are represented by use case models often become vague. In addition, particular notation of UML use case diagram makes it difficult 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 formalism into use case driven approach, in order to make use case models more rigorous. The formalization is made by analyzing 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 transformed into CPN (Colored Petri-Net) models in order to identify larger scale processes.