Feature interaction in PEPA
Stephen T. Gilmore, Jane Elizabeth Hillston · 1998
We consider the feature interaction problem in the context of the use of the PEPA stochastic process algebra. We introduce a notation for characterising a class of features and discuss its implementation. 1 Introduction The feature-oriented approach to the specification and design of complex software systems offers great promise. The idea of a system which has been built by composing a number of well-engineered features appeals to both system designers---who are concerned with a compositional or structured approach to the construction of a system---and to system users---who wish to learn and understand complex systems in terms of substantive concepts. The widespread acceptance of the importance of features makes them a very desirable concept to build into a specification language since one of the uses of a specification language can be to provide a common working language between designers and users. The feature interaction problem is concerned with the unexpected conflicts which can ...