Mechanization of invasive software composition in F-logic

Authors:
Ade Azurat
Affiliations:
University of Indonesia, Faculty of Computer Science, Depok, Indonesia
Venue:
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Year:
2007

Citing 10
Cited 0

Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Functions, records and compatibility in the &lgr;N calculus

Object-oriented software composition
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Challenges of component-based development

Journal of Systems and Software
Building Composable Aspect-Specific Languages with Logic Metaprogramming

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Essentials of Constraint Programming

Essentials of Constraint Programming
Contract-Based Component System Design

HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Datalog as a pointcut language in aspect-oriented programming

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A UNITY-based framework towards component based systems

OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
GLoo: a framework for modeling and reasoning about component-oriented language abstractions

CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

F-Logic is originally developed to bridge between computational formalism and data specification language while providing clear object-oriented semantic. F-Logic provides partiality on attributes and methods. This partiality is also required by software composition in practice. Invasive Software Composition composes software component by applying invasive composition operator (composer) to adapt the component. This adaptation may involve partiality. The combination of object-oriented and partiality characteristic of F-Logic provides a promising framework for the mechanization of Invasive Software Composition including aspect separation.