On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic

Filipe, Juliana Küster; Lau, Kung-Kiu; Ornaghi, Mario; Yatsu, H.

doi:10.1007/10720327_4

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2006

Publication Types

Select...

Book1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This differs from class-as-template approaches, where classes are templates from which objects derive their own unique vocabulary ( [39] - [41]). The idea has been applied to Catalysis frameworks, exploring the formal semantics for frameworks and interaction [42] and embedding this static semantics into a temporal setting using modular distributed temporal logic (Mdtl) [43]. Static semantics for frameworks are limited in the kinds of interactions that may be expressed: interactions occur via framework parameters.…”

Section: Related Workmentioning

confidence: 99%

Charaterising Object-Based Frameworks in First-Order Predicate Logic

Lau

2006

Series on Component-Based Software Development

Self Cite

View full text Add to dashboard Cite

In the component-based approach Catalysis, a framework is a reusable artefact that can be adapted and composed into larger systems. The signed contract between components specifies how the required properties of one component are satisfied by the provided properties of another. We examine this concept in the context of framework-based development. Although Catalysis advocates rigorous development, frameworks lack a comprehensive formal foundation. We consider a simplified view of frameworks and their transformation into first-order logic. Theorem proving may be used to check the consistency of framework specifications and we identify ways in which these specifications may be simplified beforehand to reduce the burden of proof.

show abstract

Section: Related Workmentioning

confidence: 99%