Modelling Reactive Multimedia: Design and Authoring

Thompson, Simon; King, Peter R.; Cameron, Helen

doi:10.1007/s11042-005-2713-9

Cited by 5 publications

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Problem: Find the summation of squares of natural numbers up to a particular number. A program written in a functional programming language, such as the Haskell code snippet we saw earlier, can also be read as executable specifications of behaviors [9]. A domain expert, who oftentimes goes beyond simply being a programmer, would like to embrace an executable behavior specification language to edit, compile and test the design specification by actually running it on the source code level.…”

Section: A Functional Paradigmmentioning

confidence: 99%

situ-f: a domain specific language and a first step towards the realization of situ framework

Chang

Hua

View full text Add to dashboard Cite

Situ proposes a human centered, dynamic reasoning framework for domain experts to evolve their software. It formally models the relationship between externally observed situation sequences and the rapid evolution of that software system, using real-time usage information from users and contextual capturing on the behavior of a software system relative to its runtime environment. Situ f is a continuing effort under Situ framework [1]. In this effort, a domain specific, functional programming language named Situ f is presented from its design, semantics and a feasibility test through theoretical validation. The targeted users of this language mainly include domain experts and engineers who are versed in the major concepts and paradigms regarding human-centric situations. As argued there, human-centric situations are vitally important to infer a user's intention and therefore, to drive software service evolution. Situ f is designed particularly to encourage domain experts and engineers to think and work with situations. An attribute grammar based approach is developed so that through Situ f , relevant real-time contexts can be systematically aggregated around situations. A computational semantics is offered to precisely describe the runtime behavior of a Situ f program. While the Situ f language serves as the critical centerpiece of this work, its functioning necessarily requires environmental support from Situ elements outside the language itself, such that altogether they give rise to a Situ oriented system. This environment, named Situ f-based environment, is also introduced.

show abstract

Section: A Functional Paradigmmentioning

confidence: 99%