Unified European Front: The Road towards a European Unitary Patent. EU Centre Singapore Working Paper No. 21, March 2014

For over forty years, European countries have held numerous conferences and signed multiple international agreements aimed at either creating a unitary patent which will be valid in all European countries upon issuance or establishing a specialized European court with jurisdiction over patents. This paper first outlines the need for a unitary patent in the European Union and then chronicles the measures taken to support and milestones toward the creation of a European-wide unitary patent system. The paper then discusses the few problems and pitfalls that have prevented European countries from coming to an agreement on such a patent system. Finally, the paper considers the closely related agreements of ‘Unitary Patent Package’, the challenges facing these agreements and examines if it would finally result in an EU Unitary patent system that benefits one and all.

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.

A Unified Approach to Architecture Conformance Checking

Software erosion can be controlled by periodically checking for consistency between the de facto architecture and its theoretical counterpart. Studies show that this process is often not automated and that developers still rely heavily on manual reviews, despite the availability of a large number of tools. This is partially due to the high cost involved in setting up and maintaining tool-specific and incompatible test specifications that replicate otherwise documented invariants. To reduce this cost, our approach consists in unifying the functionality provided by existing tools under the umbrella of a common business-readable DSL. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by non-technical stakeholders and, at the same time, can be interpreted as a rigorous specification for checking architecture conformance