Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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.
Series
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]
Datavetenskap
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-136ISBN: 91-7283-925-2 (print)OAI: oai:DiVA.org:kth-136DiVA: diva2:7202
Public defence
2005-03-04, Sal B, DSV, KTH-Forum, Isafjordsgatan 39, Kista, 13:00
Opponent
Supervisors
Note
QC 20101004Available from: 2005-02-25 Created: 2005-02-25 Last updated: 2010-10-04Bibliographically approved

Open Access in DiVA

fulltext(1738 kB)881 downloads
File information
File name FULLTEXT01.pdfFile size 1738 kBChecksum MD5
aac8eba1c3c8631667b38a0f454745939a3385b6e5d0f651fdaf4c2b476a5239ac9c4a12
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: 881 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 1008 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf