Proceedings of the 4th International Workshop on Task Models and Diagrams - TAMODIA '05 2005
DOI: 10.1145/1122935.1122958
|View full text |Cite
|
Sign up to set email alerts
|

Executable task models

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
8
0
2

Year Published

2009
2009
2016
2016

Publication Types

Select...
5
3
1

Relationship

0
9

Authors

Journals

citations
Cited by 22 publications
(10 citation statements)
references
References 5 publications
0
8
0
2
Order By: Relevance
“…The addition of input and output ports to task elements is elaborated in [13], aiming to support semi-automatic generation of user interfaces. Ports are used to explicitly define the data elements necessary to start task execution as well as to create output that can be consumed by following elements.…”
Section: Task Models -Extending Expressivenessmentioning
confidence: 99%
“…The addition of input and output ports to task elements is elaborated in [13], aiming to support semi-automatic generation of user interfaces. Ports are used to explicitly define the data elements necessary to start task execution as well as to create output that can be consumed by following elements.…”
Section: Task Models -Extending Expressivenessmentioning
confidence: 99%
“…If such functions are to be used on the task level, they should take the form of a service to be implemented on the semantic level. Klug [15] introduced a task state and ports on tasks to exchange data to turn CTT model into executable task model. Data ports from the linguistic perspective are at the semantic level.…”
Section: Figure 6: Search For Flight Using Ctt Notationmentioning
confidence: 99%
“…The main motivation behind their work is the formal validation of whether a concrete implementation of a UI is consistent with its design specification. Klug and Kangasharju [2005] propose a formalization for task models where a task is not regarded as an atomic entity (like in CTT) but has a complex lifecycle, modeled by a so-called task state machine. In van den Bergh [2007] entire task expressions are translated into state charts, including high-level tasks.…”
Section: Related Formal Approaches For Interactive Systemsmentioning
confidence: 99%