Towards a Common Semantic Foundation for Use Cases and Task Models

Authors:
Daniel Sinnig;Patrice Chalin;Ferhat Khendek
Affiliations:
Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 16
Cited 4

Modeling concurrency with partial orders

International Journal of Parallel Programming
Process algebra

Process algebra
Software engineering (3rd ed.): a practitioner's approach

Software engineering (3rd ed.): a practitioner's approach
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process

Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Writing Effective Use Cases

Writing Effective Use Cases
Model-Based Design and Evaluation of Interactive Applications

Model-Based Design and Evaluation of Interactive Applications
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
Task Modelling in Multiple Contexts of Use

DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
An Analyser for Mesage Sequence Charts

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A Hierarchical Use Case Model with Graphical Representation

ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
Object-Oriented Software Engineering: A Use Case Driven Approach

Object-Oriented Software Engineering: A Use Case Driven Approach
Use Case Refactoring: A Tool and a Case Study

APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
An Introduction to Formal Language and Automata

An Introduction to Formal Language and Automata
Refactoring use case models

Refactoring use case models
Refining timed MSCs

SDL'03 Proceedings of the 11th international conference on System design

Capturing business transaction requirements in use case models

Proceedings of the 2008 ACM symposium on Applied computing
Consistency between Task Models and Use Cases

Engineering Interactive Systems
LTS semantics for use case models

Proceedings of the 2009 ACM symposium on Applied Computing
Common semantics for use cases and task models

IFM'07 Proceedings of the 6th international conference on Integrated formal methods

Quantified Score

Hi-index	0.01

Visualization

Abstract

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 that exists between software engineering and user interface design. A prerequisite is the definition of a common semantic framework. With respect to the definition of a suitable semantic domain, we discuss core requirements and review related work. A preliminary approach based on (sets of) partially ordered sets is presented. A mapping from CTT task models and use case graphs to the before-mentioned formalism is proposed.