Object-oriented development in an industrial environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Communications of the ACM - Special issue on analysis and modeling in software development
Inquiry-Based Requirements Analysis
IEEE Software
Formal Approach to Scenario Analysis
IEEE Software
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Use case driven object modeling with UML: a practical approach
Use case driven object modeling with UML: a practical approach
Generating object-z specifications from use cases
Enterprise information systems
Proceedings of the 24th International Conference on Software Engineering
Improving the use case driven approach to requirements engineering
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
A Lightweight Approach to Consistency of Scenarios and Class Models
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
Five Reasons for Scenario-Based Design
HICSS '99 Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences-Volume 3 - Volume 3
Impact Analysis and Change Management of UML Models
ICSM '03 Proceedings of the International Conference on Software Maintenance
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Formal Abstract Architecture for Use Case Specifications
ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
Consistency Checking of UML Requirements
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Generating Hierarchical State Machines from Use Case Charts
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
On Generating EFSM Models from Use Cases
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
| Hi-index | 0.00 |
Extension of the modeling notations and formal languages for use case description are the commonly suggested solutions for adding precision to use case models. Practitioners have often argued against adoption of such techniques citing reasons like the steep learning curve for formal languages; and the quickness in using imprecise use case descriptions for communicating to different stake-holders of the system. In this paper we introduce the Archetest modeling environment, which through a unique bi-layer approach accepts use case descriptions in their imprecise form and then assists in adding precision through a wizard driven process. Thereby, it lends itself to both quick and precise modeling. Also the two forms of the use case models are self contained and cross-linked. This allows different modelers, the precise and the imprecise, to collaborate and also supports stake-holder specific feedbacks of the automated analysis. We describe the structure of Archetest's use case models, and show how these models are amenable to automated processing. We present a case study which reports on typical modeling times using Archetest and demonstrates its scalability.