Degree Type


Date of Award


Degree Name

Doctor of Philosophy


Computer Science

First Advisor

Carl K. Chang


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.

Situf is a continuing effort under Situ framework. In this effort, a domain specific, functional programming language named Situf 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. Situf 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 Situf , relevant real-time contexts can be systematically aggregated around situations. A computational semantics

is offered to precisely describe the runtime behavior of a Situf program. While the Situf 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 Situf -based environment, is also introduced.


Copyright Owner

Hua Ming



File Format


File Size

109 pages