A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Innovation, Coordination, and Positioning: Locational Policies of Secondary Capital City Regions

Capital cities that are not the economic centers of their nations - so-called secondary capital cities - tend to be overlooked in the field of political science. Consequentially, there is a lack of research and resulting theory describing their political economy and their formulated policies. This paper analyzes how secondary capital cities try to develop and position themselves through the formulation of locational policies. By linking three different theoretical strands - the Regional Innovation System approach, the concept of locational policies, and the regime perspective - this paper proposes a framework to study the the economic and political dynamics in secondary capital cites.