FAMES 2013 - 1st International Workshop on Formal Approaches to Managing Evolving Systems (FAMES)

1st International Workshop on Formal Approaches to Managing Evolving Systems (FAMES)
http://www.cs.york.ac.uk/es/fames2013
Friday May 31, 2013
In today's ever-changing economies and societies, networked IT systems providing services in key domains ranging from healthcare and transportation to banking and e-commerce have to evolve to keep up with change. New digital services emerge every day from start-up companies all over the world, and existing companies have to evolve their services and IT infrastructure to maintain competitiveness. However, operating and managing assemblies of diverse and heterogeneous systems that change their configuration rapidly and dynamically poses great challenges. Virtualization technology including virtual machines and software-defined networks make the configuration of these systems even more complex and dynamic.
A promising approach to overcoming the significant and growing challenges in the management of evolving systems is to complement their administrators technical skills with automated or advisory system management tools that use mathematically-based techniques to select or suggest suitable configurations and operating modes. These formal approaches to managing evolving systems identify effective configurations for an evolving system by analyzing historical and real-time system data in conjunction with mathematical models of its workload, state and available configurations.