Reasoning About Compositions of Concerns
Marsha Chećhik, Steve Easterbrook · 2001
In this paper we propose a framework for defining and reasoning about compositions of concerns, based on multivalued logics. Rather than providing a small set of built-in composition operations, our framework provides a mechanism for constructing arbitrary types of composition. Our multi-valued logic model checker, # chek allows us to reason about the properties of compositions of concerns.