Taskoriented Information Modelling (TIM) ProposalThe aim of this proposal is to standardize such a formal language using Taskoriented
Information Modelling (TIM) as a starting point. TIM has been used
for 10 years to produce task models in various fields (machine, process and
software modelling). It proves easy to learn, its expressions translate
straightforwardly into natural language, and its syntax is defined by a short
set of XML-compliant rules and patterns.TIM builds on an incremental ontology, where a reduced set of categories
[objects, operations and facets] generate descriptions [states, properties] and
actions. These, in turn, populate the categories describing tasks (preconditions,
input, output and side-effects). Tasks are organized in a hierarchy.
Tasks exhibit types (standard, alternative, critical, conditional, optional,
cyclic, generic), which may constrain their position in the hierarchy (critical
tasks are always first-level tasks, alternative and optional ones are always
sub-tasks), or their structure (generic tasks are always split into alternative
or optional sub-tasks), or their content (only last-level tasks are enhanced
with a list of actions, termed "procedure"). Conditional tasks host preconditions,
critical tasks a "trigger", cyclic tasks a cycle-stop condition. Some
type-combinations are allowed (conditional + optional, for example), while
other ones are not (for instance, conditional + critical).
The formal language expressing this ontology is a predicate-argument type
syntax. Every entity in the model has a numerical identifier allowing reuse. A
reduced set of symbols (O: object, S: state, P: property, A: action, T: task)
combined with the relative position of an element in the model (which is a
frame-based structure), define which descriptions act as the Input, the Output,
the Side-effect, etc.OASIS Task-oriented Information Modelling (TIM) Technical CommitteeTIMTC_2c6c8962-946d-11e1-8574-8edb222d735fThe TC will develop a formal language standard for task-oriented modeling
using TIM as a starting point along with any other inputs provided. The TC
will review and comment on the actual state of the categories, syntax and
scope of the TIM meta-model. The TC will examine the completeness of the
language with regard to the situations intended to be specified, as well as the
well-formedness of the generic expressions allowed by the rules and the
patterns they implement. By "situations", we here mean working contexts
where prescribed goals should be obtained by ways of a deterministic
workflow, which is typical when using devices or software, or when designing
the thread of processes.Daniel GueyssetProposer of the TC,
dgueysset@proximit.fr (Proximit)Guillaume TessierProposer of the TC,
gtessier@timgroup.fr (TimGroup)Tanguy WettengelTC Convener, tanguy@teamtim.com (University of Limoges)OASISKnowledge Management PractitionersKnowledge Management practitioners engaged in work-analysis and designSoftware ArchitectsSoftware architects defining functional specifications and interfaces.Hardware DesignersHardware designers defining functional specifications and interfaces.Process AnalystsProcess Analysts DesignersTask Analysts Anyone performing what is currently termed “Task analysis” or “Task
modelling”.Task ModellersErgonomistsTools adapt to human agents rather than the agents adapting to tools._2c6c8dcc-946d-11e1-8574-8edb222d735fTo standardize a formal language using Taskoriented Information Modelling (TIM)._2c6c8eb2-946d-11e1-8574-8edb222d735fDeliverablesIssue several deliverables in both the Standards and Non-Standards Tracks._2c6c8f3e-946d-11e1-8574-8edb222d735fThe TIM TC plans to issue several deliverables in both the Standards and Non-
Standards Tracks.Standards Track Deliverables_2c6c8fca-946d-11e1-8574-8edb222d735f1OntologyDeliver an ontology of work-analysis categories._2c6c904c-946d-11e1-8574-8edb222d735f1.1An ontology of work-analysis categories, both in graphical and .xtm formats,
building on the Topic Map paradigm [WAO, short for “Work-analysis
Ontology”]. The rôle of this ontology is to allow understanding of the domain
and to record the results of the debate about the work-analysis paradigm to be
encoded in XML format alongside with the discussions within the TC.SchemaDeliver an XML Schema allowing validation for WorkML structures._2c6c9150-946d-11e1-8574-8edb222d735f1.2An XML Schema allowing validation for WorkML structures [WorkML
Schema], containing the categories of this specific XML dialect and their
possible combinations.Non-Standards Track Deliverables_2c6c91d2-946d-11e1-8574-8edb222d735f2OverviewDeliver an overview of the state-of-the-art in work modelling._2c6c924a-946d-11e1-8574-8edb222d735f2.1White PaperDeliver a White Paper concerning the clear-cut distinction between work modelling and task-driven documentation design and possible knowledge transfer to the latter._2c6c92cc-946d-11e1-8574-8edb222d735f2.2Case StudiesDeliver case studies applying WorkML to model work in contexts such as air-traffic control, engine maintenance and software engineering._2c6c9344-946d-11e1-8574-8edb222d735f2.32012-05-02OwenAmburOwen.Ambur@verizon.net