Sökning: "shema dynamics"

Hittade 1 avhandling innehållade orden shema dynamics.

1. 1. Mapping and integration of schema representations of component specefications

   Författare :Guy Davies; Love Ekenberg; Hamid Fujita; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; specification; first order logic; verification; service integration; conceptual modeling; conflict; shema dynamics; Datavetenskap; Computer science; Datavetenskap;

   Sammanfattning : 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. LÄS MER