-
...based feature diagrams) received various formal semantics, the mlsc process never received one. nonetheless, a formal semantics is the primary indicator for precision and un- ambiguity and...on our earlier work on formal feature model semantics to which it adds the concepts of level and configuration path. with the formal semantics, we were able to make...
-
...motivate the novel concept of staged configuration. staged configuration can be achieved by the stepwise specialization of feature models or by multi-level configuration, where the configu- ration choices...and different people make product configuration choices in different stages. finally, we also discuss how multi-level config- uration avoids a breakdown between the different abstraction...
-
...in this paper, we propose a cardinality-based notation for feature modeling, which integrates a number of existing extensions of...motivate the novel concept of staged configura- tion. staged configuration can be achieved by the...
-
...sharing. its principle contribution is a modular language for configuring systems. a configuration is a description in the new language of how a system is constructed hierarchically from...extract the component instances from a particular configuration. the configuration language now expresses the hierarchical structuring of multi-level configured specifications. the syntax is simple...
-
...the notion of persistent code—a quoted code fragment that can be used for different stages—naturally arises. in this paper we propose a typed lambda calculus ‚∞⁄, based on linear-time temporal logic, as a basis of programming languages for multi-level generating extensions with persistent code...
-
...an information possibly hidden in a multi level
security system via a covert channel. we give a framework for which we get two decidability results. firstly, given a code
and a system one can decide whether the system allows a covert channel for this code. secondly, one can...
-
...we have defined an interface for the co-simulation of a vdm++ model with a continuous-time model of its environment. this enables multi-disciplinary design space exploration and...process. we present an operational semantics which formalizes the precise meaning of the...
-
...to the design of self-configuring software systems. dealing with such a problem for communicating systems is even more...address simultaneously the different communication levels. in this paper, we address this problem by providing a model-based, rule-oriented approach...
-
...feature-oriented domain analy- sis. staged configuration is a process that allows the incremental configuration of cardinality-based feature models...make this precise by specifying a translation from a feature model into a context-free grammar. consequently, we provide a semantic interpretation for cardinality- based feature models by...
-
...software product line engineering, the configuration process can be a long and complex undertaking that in- volves many participants. when configuration is supported by feature diagrams...contribution of the paper is a new combined formal- ism: feature configuration workflows. a formal semantics is provided so as to pave the way for unambiguous tool speci- fication and...