Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems

Authors:
Nasreddine Aoumeur;Kamel Barkaoui;Gunter Saake
Affiliations:
ITI, FIN, Otto-von-Guericke-Universitat Magdeburg;Laboratoire CEDRIC, CNAM, 292 Saint Martin, 75003 Paris - FRANCE;ITI, FIN, Otto-von-Guericke-Universitat Magdeburg
Venue:
CSMR '07 Proceedings of the 11th European Conference on Software Maintenance and Reengineering
Year:
2007

Citing 0
Cited 1

Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets

Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper

Quantified Score

Hi-index	0.00

Visualization

Abstract

Despite all colossal efforts and investments by Information Systems (IS) practitioners and researchers, today's IS still remain far from timely exhibiting the required levels of adaptivity dictated by highly volatile, competitive and inter-organizational ('sociotechno- business') distributed environment. Difficulties in approaching dynamic adaptivity in IS remain essentially on how promoting manageability (e.g. simplicity/ understandability/incrementality) without compromising correctness and distribution.