Back to University of Twente portal
Extending Model Checking to Object Process Validation
Rein van, H. (2002) Extending Model Checking to Object Process Validation. thesis.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 1021Kb |
| Abstract: | Object-oriented techniques allow the gathering and modelling
of system requirements in terms of an application area. The expression of data and process models at that level is a great asset in communication with non-technical people in that area, but it does not necessarily lead to consistent models. To avoid that inconsistencies are only discovered during the latest phases of development, it is helpful if analysis models can be verified, especially if this is done in an automated process and if it gives feedback that helps repair the models. This thesis presents such an approach for the process aspects of analysis models. |
| Item Type: | Thesis |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/38005 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 207565