Authors:
Olaf Owe
;
Jia-Chun Lin
and
Elahe Fazeldehkordi
Affiliation:
Department of Informatics, University of Oslo and Norway
Keyword(s):
Program Evolution, Program Reasoning, Software Changes, Active Objects, Re-verification, Flexibility.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Component-Based Software Engineering
;
Languages, Tools and Architectures
;
Model-Driven Software Development
;
Reasoning about Models
;
Software Engineering
;
Syntax and Semantics of Modeling Languages
Abstract:
We propose a flexible framework for modeling of distributed systems, supporting evolution by means of unrestricted modifications in such systems, and with support of verification and re-verification. We focus on the setting of concurrent and object-oriented programs, and consider a core high-level modeling language supporting active, concurrent objects. We show that our framework can deal with verification of software changes that are not possible to verify in comparable frameworks. We demonstrate the approach by variations over a simple example.