Recently, there has been a growing interest in self-adaptive systems. Roadmap papers in
this area point to feedback loops as a promising way of operationalizing adaptivity in such …

Nowadays, there are more and more software systems operating in highly open, dynamic
and unpredictable environments. Moreover, as technology advances, requirements for these …

The functional specification of any software system operationalizes stakeholder
requirements. In this paper we focus on a class of requirements that lead to feedback loop …

Context Achieving hundred percent automation in code generation process from Unified
Modeling Language (UML) models will make a drastic advancement in software industry …

Monitoring human-computer interaction aids the analysis for understanding how well
software meets its purpose. In particular, monitoring human-computer interactions with …

The Clock Constraint Specification Language (\ccsl) has been informally introduced in the
specifications of the\uml Profile for Modeling and Analysis of Real-Time and Embedded …

This paper shows the developments in Web services and associated standards which offer
the possibility of making composite, service-based systems a reality for many enterprises …

Business processes are increasingly distributed and open, making them prone to failure.
Monitoring is, therefore, an important concern not only for the processes themselves but also …

Abstract Object Constraint Language (OCL) is a standard language defined by Object
Management Group for specifying constraints on models. Since its introduction as part of …

We demonstrate the use of sequence pattern mining as applied to monitoring the usage of
emailing software by clients with cognitive impairments. We show how Max Motif, a …