672 research outputs found
Extended OCL for Goal Monitoring
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to a user's goal model helps to determine user satisfaction. By formalizing a goal model, runtime monitors can be automatically derived.
The REQMON system monitors the satisfaction of goal models. Recently, an OCL compiler was developed for REQMON. The OCL was extended slightly to address temporal and real-time constraints. Now, goal models can be represented in the extended OCL, from which runtime monitors can be compiled. The resulting REQMON system appears to be easier to use comes the abstract
Early aspects: aspect-oriented requirements engineering and architecture design
This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004. The workshop included a presentation session and working sessions in which the particular topics on early aspects were discussed. The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed methods and techniques to scale up to industrial applications
Invariant-driven specifications in Maude
AbstractThis work presents a general mechanism for executing specifications that comply with given invariants, which may be expressed in different formalisms and logics. We exploit Maude’s reflective capabilities and its properties as a general semantic framework to provide a generic strategy that allows us to execute Maude specifications taking into account user-defined invariants. The strategy is parameterized by the invariants and by the logic in which such invariants are expressed. We experiment with different logics, providing examples for propositional logic, (finite future time) linear temporal logic and metric temporal logic
A Framework for Specifying Business Rules Based on Logic with a Syntax Close to Natural Language
The systematic interaction of software developers with the business domain experts
that are usually no software developers is crucial to software system maintenance and
creation and has surfaced as the big challenge of modern software engineering. Existing
frameworks promoting the typical programming languages with artificial syntax are
suitable to be processed by computers but do not cater to domain experts, who are used
to documents written in natural language as a means of interaction.Other frameworks
that claim to be fully automated, such as those using natural language processing, are
too imprecise to handle the typical requirements documents written in heterogeneous
natural language flavours. In this thesis, a framework is proposed that can support
the specification of business rules that is, on the one hand, understandable for nonprogrammers
and on the other hand semantically founded, which enables computer
processability. This is achieved by the novel language Adaptive Business Process and
Rule Integration Language (APRIL). Specifications in APRIL can be written in a style
close to natural language and are thus suitable for humans, which was empirically
evaluated with a representative group of test persons. A useful and uncommon feature
of APRIL is the ability to define reusable abstract mixfix operators as sentence patterns,
that can mimic natural language. The semantic underpinning of the mixfix operators
is achieved by customizable atomic formulas, allowing to tailor APRIL to specific
domains. Atomic formulas are underpinned by a denotational semantics, which is based
on Tempura (executable subset of Interval Temporal Logic (ITL)) to describe behaviour
and the Object Constraint Language (OCL) to describe invariants and pre- and postconditions.
APRIL statements can be used as the basis for automatically generating
test code for software systems. An additional aspect of enhancing the quality of
specification documents comes with a novel formal method technique (ISEPI) applicable
to behavioural business rules semantically based on Propositional Interval Temporal
Logic (PITL) and complying with the newly discovered 2-to-1 property. This work
discovers how the ISE subset of ISEPI can be used to express complex behavioural
business rules in a more concise and understandable way. The evaluation of ISE is done
by an example specification taken from the car industry describing system behaviour,
using the tools MONA and PITL2MONA. Finally, a methodology is presented that helps
to guide a continuous transformation starting from purely natural language business rule
specification to the APRIL specification which can then be transformed to test code. The
methodologies, language concepts, algorithms, tools and techniques devised in this work
are part of the APRIL-framework
An Integrated Formal Task Specification Method for Smart Environments
This thesis is concerned with the development of interactive systems for smart environments. In such scenario different interaction paradigms need to be supported and according methods and development strategies need to be applied to comprise not only explicit interaction (e.g., pressing a button to adjust the light) but also implicit interactions (e.g., walking to the speaker’s desk to give a talk) to assist the user appropriately. A task-based modeling approach
is introduced allowing basing the implementing of different
interaction paradigms on the same artifact
Supporting Information Systems Analysis Through Conceptual Model Query – The Diagramed Model Query Language (DMQL)
Analyzing conceptual models such as process models, data models, or organizational charts is useful for several purposes in information systems engineering (e.g., for business process improvement, compliance management, model driven software development, and software alignment). To analyze conceptual models structurally and semantically, so-called model query languages have been put forth. Model query languages take a model pattern and conceptual models as input and return all subsections of the models that match this pattern. Existing model query languages typically focus on a single modeling language and/or application area (such as analysis of execution semantics of process models), are restricted in their expressive power of representing model structures, and/or abstain from graphical pattern specification. Because these restrictions may hamper query languages from propagating into practice, we close this gap by proposing a modeling language-spanning structural model query language based on flexible graph search that, hence, provides high structural expressive power. To address ease-of-use, it allows one to specify model queries using a diagram. In this paper, we present the syntax and the semantics of the diagramed model query language (DMQL), a corresponding search algorithm, an implementation as a modeling tool prototype, and a performance evaluation
- …