Modeling Information Services on the Basis of ASM Semantics

Binemann-Zdanowicz, Aleksander; Thalheim, Bernhard

doi:10.1007/3-540-36498-6_25

Cited by 6 publications

(9 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Note that the Boolean algebra B in this definition contains all the preconditions, and the p σ (1) . .…”

Section: Definitionmentioning

confidence: 99%

“…However, in this case we have to show that θ.t 1 = θ.t 2 holds for the substitution θ . For this we start a separate term-rewriting process that aims at showing θ.t 1 · · · θ.t 2 . We call this separate rewriting process a coroutine, because we can run it in parallel to the main rewriting process.…”

Section: Term Rewriting With Kat Expressionsmentioning

confidence: 99%

“…An important component of a storyboard is the plot that is specified by an assignment-free process, thus captures the possible action sequences, each of which is called a story. The formalisation of plots has been addressed in [1] using ASMs and in [20,22] using Kleene Algebras with Tests (KATs) [13]. In both cases the motivation for the formalisation was the ability to formally reason about a WIS specification already at a high-level of abstraction in order to capture the anticipated usage of the system.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Customising Web Information Systems According to User Preferences

Schewe¹,

Thalheim

Wang³

2008

World Wide Web

Self Cite

View full text Add to dashboard Cite

Web Information Systems have to serve a variety of users with very diverse preferences regarding content, functionality and presentation. We first investigate the customisation of functionality at a high-level of abstraction, where possible action sequences are represented by an algebraic expression called plot, and user preferences give rise to equations. We show that the problem can be solved by applying conditional term rewriting on the basis of Kleene algebras with tests. By exploiting the idea of weakest preconditions such expressions can be represented by formal power series with coefficients in a Boolean algebra. This gives rise to a sufficient condition for termination based on well-founded orders on such power series. As confluence cannot be guaranteed, we propose critical pair completion to be used in order to enforce the desirable Church-Rosser property. In a second step we parametrise the actions and replace the Boolean conditions by first-order formulae. We show that still term rewriting can be applied, but termination and Church Rosser property become problems that will require manual interaction, in particular, as preference rules will make use of the parameters. On the other hand the presence of first-order conditions can be used to extend the customisation to the content.

show abstract

“…Note that the Boolean algebra B in this definition contains all the preconditions, and the p σ (1) . .…”

Section: Definitionmentioning

confidence: 99%

Section: Term Rewriting With Kat Expressionsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Customising Web Information Systems According to User Preferences

Schewe¹,

Thalheim

Wang³

2008

World Wide Web

Self Cite

View full text Add to dashboard Cite

show abstract

“…firing this particular event by the learner has resulted in changes in the congitive structures. Thus, the reciprocity between assimilation and accomodation can be understood by means of the semantics of user interaction transactions [2,14].…”

Section: On Event ( )mentioning

confidence: 99%

SiteLang::Edu

Binemann-Zdanowicz

2004

Proceedings of the 2004 ACM Symposium on Applied Computing

Self Cite

View full text Add to dashboard Cite

Current e-learning systems do not offer content customized for sophisticated learner characteristics. Different learner types are supported only by means of varying presentation styles. Methods for specifying learner-centered learning process are missing. For providing the right learning content in a proper context, in the right dosis and in the right moment, an e-learning system must follow the changes of learner's cognitive structures. This work presents SiteLang::Edu, a formal approach to specifying the learning process according to Piaget's constructivistic theory. The approach allows to specify the learning process for learners with different learning styles. SiteLang::Edu specifications can be validated thanks to the operational semantics.

show abstract

“…This idea has already been mirrored in development methods for Web Information System [28,27], and also appears as a natural choice for componentbased systems development [29]. ASMs have also been suggested as a means for modelling such services [8]. On the practical side, the IntelligentPad system [33] provides a realisation of a meme media architecture with a similar underlying idea and in addition tools that also capture presentation issues, similar to presentation options in media types [28].…”

Section: Introductionmentioning

confidence: 98%

A theory of data-intensive software services

Schewe²,

Thalheim

et al. 2009

SOCA

Self Cite

View full text Add to dashboard Cite

We introduce Abstract State Services (AS 2 s) as an abstraction of data-intensive services that can be made available for use by other systems, e.g. via the web. An AS 2 combines a hidden database layer with an operationequipped view layer, and can be anything from a simple function to a full-fledged Web Information System or a Data Warehouse. We adopt the fundamental approach of Abstract State Machines to model AS 2 s and show that AS 2 s capture the fundamentals of approaches such as media types, meme media, SOA and web services excluding presentation issues. Then we show how tailored services can be extracted from available AS 2 s, combined with other AS 2 components and personalised to user preferences.Keywords Abstract state machine · Abstract state service · Software service · Extended view · Meme media · Media type · Service composition · Service personalisation

show abstract

Modeling Information Services on the Basis of ASM Semantics

Cited by 6 publications

References 1 publication

Customising Web Information Systems According to User Preferences

Customising Web Information Systems According to User Preferences

SiteLang::Edu

A theory of data-intensive software services

Contact Info

Product

Resources

About