Change search
ReferencesLink to record
Permanent link

Direct link
Mapping and integration of schema representations of component specefications
KTH, School of Information and Communication Technology (ICT), Computer and Systems Sciences, DSV.
2005 (English)Doctoral thesis, monograph (Other scientific)
Abstract [en]

Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. It is therefore of interest to transform process based specifications into conceptual schemata.

Process oriented languages have an additional drawback in that reliable inputs to the integration of diverse specifications can result in unreliable outputs. This problem can more easily be addressed in a logic representation in which static and dynamic properties can be examined separately.

The first part of the text describes a translation method from the process based language SDL, to first order logic. The usefulness of the method for industrial application has been demonstrated in an implementation. The method devised is sufficiently general for application to other languages with similar characteristics. Main contributions consist of: formalising the mapping of state transitions to event driven rules in dynamic entity-relationship schemas; analysing the complexity of various approaches to decomposing transitions; a conceptual representation of the source language that distinguishes meta- and object models of the source language and domain respectively.

The second part of the text formally describes a framework for the integration of schemata that allows the exploration of their properties in relation to each other and to a set of integration assertions. The main contributions are the formal framework; an extension to conflicts between agents in a temporal action logic; complexity estimates for various integration properties.

Place, publisher, year, edition, pages
Stockholm: KTH , 2005. , viii, 194 p.
Report series / DSV, ISSN 1101-8526 ; 05:003
Keyword [en]
Datavetenskap, specification, first order logic, verification, service integration, conceptual modeling, conflict, shema dynamics
Keyword [sv]
National Category
Computer Science
URN: urn:nbn:se:kth:diva-136ISBN: 91-7283-925-2OAI: diva2:7202
Public defence
2005-03-04, Sal B, DSV, KTH-Forum, Isafjordsgatan 39, Kista, 13:00
QC 20101004Available from: 2005-02-25 Created: 2005-02-25 Last updated: 2010-10-04Bibliographically approved

Open Access in DiVA

fulltext(1738 kB)846 downloads
File information
File name FULLTEXT01.pdfFile size 1738 kBChecksum SHA-1
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Davies, Guy
By organisation
Computer and Systems Sciences, DSV
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 846 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 981 hits
ReferencesLink to record
Permanent link

Direct link