Open World Semantics for Model Transformation
Trial lecture in connection with recruitment Tenure track Associate professor in software Rabbi Fazle. Refreshments will be served
Hovedinnhold
Abstract:
Model-Based Engineering (MBE) techniques traditionally rely on the Closed World Assumption (CWA), where one assumes that a statement that is true is known to be true is by default false. In the Open World Assumption (OWA) no such assumption is made, i.e., what is not known. Graph-based modelling and graph trasnformation techniques have been around since 1970s and have been auccesfully applied in many fields of cumputer science, for representing both structural and dynamical aspects of software systems. However, they have typically been used under the assumptions of a closed world.
In this talk, I will present a open world semantics for graph transformations. The approach exploits the use of existing ontology reasons to develop a graph transformation system based on OEA.
