Specifying framework constraints with FCL

Authors:
Daqing Hou;H. James Hoover;Piotr Rudnicki
Affiliations:
Department of Computing Science, University of Alberta, Edmonton, Canada T6G 2E8;Department of Computing Science, University of Alberta, Edmonton, Canada T6G 2E8;Department of Computing Science, University of Alberta, Edmonton, Canada T6G 2E8
Venue:
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Year:
2004

Citing 10
Cited 4

Design reuse and frameworks in the smalltalk-80 system

Software reusability
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
MFC internals: inside the Microsoft foundation class architecture

MFC internals: inside the Microsoft foundation class architecture
Components, frameworks, patterns

Proceedings of the 1997 symposium on Software reusability
GENOA—a customizable, front-end-retargetable source code analysis framework

ACM Transactions on Software Engineering and Methodology (TOSEM)
CoffeeStrainer: statically-checked constraints on the definition and use of types in Java

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A Query Algebra for Program Databases

IEEE Transactions on Software Engineering
CCEL: The C++ Constraint Expression Language: An Annotated Reference Manual, Version 0.5

CCEL: The C++ Constraint Expression Language: An Annotated Reference Manual, Version 0.5
Specifying the Law of Demeter and C++ Programming Guidelines with FCL

SCAM '04 Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop
ASTLOG: a language for examining abstract syntax trees

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997

Using SCL to Specify and Check Design Intent in Source Code

IEEE Transactions on Software Engineering
Defining and continuous checking of structural program dependencies

Proceedings of the 30th international conference on Software engineering
A dependency constraint language to manage object-oriented software architectures

Software—Practice & Experience
Practical framework constraints

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object-oriented application frameworks are often misused because application developers do not know how the original framework designers intend their frameworks to be used. The goal of Framework Constraint Language (FCL) is to help detect errors in framework usage. FCL captures the intended usage of frameworks through framework constraints that describe the syntactic structures that frameworks impose on the code of framework-based applications. Framework constraints can be regarded as framework-specific typing rules conveyed by the FCL specifications and enforced by techniques analogous to those of conventional type checking. In essence, FCL is a first-order logic of the syntactic structure of programs. The feasibility and expressiveness of FCL have been evaluated by applying it to parts of frameworks, such as MFC (Microsoft Foundation Classes), and design rules such as Law of Demeter. The current version of the FCL language and associated checker is targeted at C++ frameworks.