Learning Centre

Contributions to multi-view modeling and the multi-view consistency problem for infinitary languages and discrete systems

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.advisor Tripakis, Stavros
dc.contributor.author Pittou, Maria
dc.date.accessioned 2017-06-12T09:02:54Z
dc.date.available 2017-06-12T09:02:54Z
dc.date.issued 2017
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/26629
dc.description.abstract The modeling of most large and complex systems, such as embedded, cyber-physical, or distributed systems, necessarily involves many designers. The multiple stakeholders carry their own perspectives of the system under development in order to meet a variety of objectives, and hence they derive their own models for the same system. This practice is known as multiview modeling, where the distinct models of a system are called views. Inevitably, the separate views are related, and possible overlaps may give rise to inconsistencies. Checking for multiview consistency is key to multi-view modeling approaches, especially when a global model for the system is absent, and can only be synthesized from the views. The present thesis provides an overview of the representative related work in multi-view modeling, and contributes to the formal study of multi-view modeling and the multi-view consistency problem for views and systems described as sets of behaviors. In particular, two distinct settings are investigated, namely, infinitary languages, and discrete systems. In the former research, a system and its views are described by mixed automata, which accept both finite and infinite words, and the corresponding infinitary languages. The views are obtained from the system by projections of an alphabet of events (system domain) onto a subalphabet (view domain), while inverse projections are used in the other direction. A systematic study is provided for mixed automata, and their languages are proved to be closed under union, intersection, complementation, projection, and inverse projection. In the sequel, these results are used in order to solve the multi-view consistency problem in the infinitary language setting. The second research introduces the notion of periodic sampling abstraction functions, and investigates the multi-view consistency problem for symbolic discrete systems with respect to these functions. Apart from periodic samplings, inverse periodic samplings are also introduced, and the closure of discrete systems under these operations is investigated. Then, three variations of the multi-view consistency problem are considered, and their relations are discussed. Moreover, an algorithm is provided for detecting view inconsistencies. The algorithm is sound but it may fail to detect all inconsistencies, as it relies on a state-based reachability, and inconsistencies may also involve the transition structure of the system. en
dc.format.extent 80
dc.format.mimetype application/pdf en
dc.language.iso en en
dc.publisher Aalto University en
dc.publisher Aalto-yliopisto fi
dc.subject.other Computer science en
dc.title Contributions to multi-view modeling and the multi-view consistency problem for infinitary languages and discrete systems en
dc.type G3 Lisensiaatintutkimus fi
dc.contributor.school Perustieteiden korkeakoulu fi
dc.contributor.school School of Science en
dc.contributor.department Tietotekniikan laitos fi
dc.contributor.department Department of Computer Science en
dc.subject.keyword multi-view modeling en
dc.subject.keyword view consistency en
dc.subject.keyword infinitary languages en
dc.subject.keyword discrete systems en
dc.identifier.urn URN:NBN:fi:aalto-201706125221
dc.type.dcmitype text en
dc.programme.major Computer Science en
dc.type.ontasot Licentiate thesis en
dc.type.ontasot Lisensiaatintyö fi
dc.contributor.supervisor Tripakis, Stavros
dc.ethesisid Aalto 9107
dc.location P1


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search archive


Advanced Search

article-iconSubmit a publication

Browse

Statistics