A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Extensional equivalence for transition systems
Acta Informatica
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Writing Effective Use Cases
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Handbook of Process Algebra
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
Towards a UML for Interactive Systems
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Incremental specification in LOTOS
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Task Modelling in Multiple Contexts of Use
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Stepwise Design with Message Sequence Charts
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Use Case Refactoring: A Tool and a Case Study
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Towards a Common Semantic Foundation for Use Cases and Task Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Hi-index | 0.00 |
Use cases are the notation of choice for functional requirements documentation, whereas task models are used as a starting point for user interface design. In this paper, we motivate the need for an integrated development methodology in order to narrow the conceptual gap between software engineering and user interface design. This methodology rests upon a common semantic framework for developing and handling use cases and task models. Based on the intrinsic characteristic of both models we define a common formal semantics and provide a formal definition of consistency between task models and use cases. The semantic mapping and the application of the proposed consistency definition are supported by an illustrative example.