Formal Analysis Of Use Case Diagrams
Use case diagrams play an important role in modeling with UML. Careful modeling is crucialin obtaining a correct and efficient system architecture. The paper refers to the formalanalysis of the use case diagrams. A formal model of use cases is proposed and its constructionfor typical relationships b...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AGH University of Science and Technology Press
2010-01-01
|
| Series: | Computer Science |
| Subjects: | |
| Online Access: | http://journals.agh.edu.pl/csci/article/download/117/66 |