Model checking the behavior of frameworks extended with other frameworks

Authors:
Federico Balaguer
Affiliations:
University of Illinois - Urbana Champaign, Urbana, IL
Venue:
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
2005

Citing 6
Cited 0

When objects collide experiences with reusing multiple class hierarchies

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Frameworks = (components + patterns)

Communications of the ACM
Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
Building application frameworks: object-oriented foundations of framework design

Building application frameworks: object-oriented foundations of framework design
Architectural Mismatch: Why Reuse Is So Hard

IEEE Software
Architectural Mismatch: Why Reuse Is So Hard

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Frameworks are important in software development. There are problematic aspects of framework development. When frameworks are extended with functionality implemented by other frameworks, developers face a difficult task solving static and (specially) dynamic mismatches. The dynamic aspect is less visible to developers thus it is usually the cause of failure, specially in frameworks using multi threading programming.This paper shows how to verify the soundness of framework compositions at dynamic level using using temporal logic and tools provided by Full Maude.