Specifying self-configurable component-based systems with fractoy

Authors:
Alban Tiberghien;Philippe Merle;Lionel Seinturier
Affiliations:
INRIA Lille - Nord Europe, University of Lille 1 - LIFL CNRS UMR 8022, Villeneuve d’Ascq, France;INRIA Lille - Nord Europe, University of Lille 1 - LIFL CNRS UMR 8022, Villeneuve d’Ascq, France;INRIA Lille - Nord Europe, University of Lille 1 - LIFL CNRS UMR 8022, Villeneuve d’Ascq, France
Venue:
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Year:
2010

Citing 13
Cited 1

A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
COM revisited: tool-assisted modelling of an architectural framework

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Self-organising software architectures for distributed systems

WOSS '02 Proceedings of the first workshop on Self-healing systems
The Vision of Autonomic Computing

Computer
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

Proceedings of the 17th IEEE international conference on Automated software engineering
A formal approach to software architecture

A formal approach to software architecture
A survey of self-management in dynamic software architecture specifications

WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Analyzing architectural styles with alloy

Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
A generic component model for building systems software

ACM Transactions on Computer Systems (TOCS)
Architecting dynamic reconfiguration in dependable systems

Architecting dependable systems IV

Components, platforms and possibilities: towards generic automation for MDA

EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the key research challenges in autonomic computing is to define rigorous mathematical models for specifying, analyzing, and verifying high-level self-* policies. This paper presents the FracToy formal methodology to specify self-configurable component-based systems, and particularly both their component-based architectural description and their self-configuration policies. This rigorous methodology is based on the first-order relational logic, and is implemented with the Alloy formal specification language. The paper presents the different steps of the FracToy methodology and illustrates them on a self-configurable component-based example.