A revision-based logical framework for evolvable software

Howard Barringer, David Rydeheard, Brian Warboys, Dov Gabbay

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    We describe a natural revision-based logical modelling for evolvable software. An evolvable component comprises two parts: a supervising process and its supervisee subcomponent. The supervisor's role is to monitor and possibly evolve its supervisee, where evolutionary change may be determined purely internally from observations made by the supervisor of the supervisee's behaviour, or may be a response to external stimuli. We model these systems in a revision-based first-order logical framework in which the logic of the supervisor is a meta-logic to that of its supervisee. This enables evolutionary change of the supervisee to be induced by a supervisor's state revision at the metalevel. We introduce the basic ideas in a simple (single component) setting using the familiar Blocks World and then indicate how this account extends to full structural hierarchies of evolvable components with supervisor processes at any level of the hierarchy.
    Original languageEnglish
    Title of host publicationProceedings of the IASTED International Conference on Software Engineering, SE 2007|Proc. IASTED Int. Conf. Software Eng. SE
    Place of PublicationAnaheim
    PublisherACTA Press
    Pages78-83
    Number of pages5
    ISBN (Print)9780889866416
    Publication statusPublished - 2007
    EventIASTED International Conference on Software Engineering, SE 2007 - Innsbruck
    Duration: 1 Jul 2007 → …

    Conference

    ConferenceIASTED International Conference on Software Engineering, SE 2007
    CityInnsbruck
    Period1/07/07 → …

    Keywords

    • Evolvable software
    • Logical modelling
    • Revision theory
    • Run-time monitoring
    • Software methodologies

    Fingerprint

    Dive into the research topics of 'A revision-based logical framework for evolvable software'. Together they form a unique fingerprint.

    Cite this