Semantic Application Framework Research Articles

Semantics and Stratification

This is a continuation of a paper in which the role of types in semantic theory was explored. Inevitably, in that paper some issues in type theory and semantics were treated only in passing. In particular, little was said about Stratified Type Theories. This paper concentrates on these theories and provides a theoretical framework for semantic applications.

Building e-commerce systems using semantic application framework

This paper proposes a novel approach to implement automatic business process compositions (ABPC), which are based on the Semantic Application Framework (SAF) and the Semantic Application Template (SAT). To build an e-Commerce system using SAF, three problems need solving: developing a new semantic application, converting an existing application to a semantic application, and composing a new business process with existing semantic applications. The vocabulary-oriented business logic makes requirement specifications comparable. A business composer works over a distributed techniques independent platform and matches requirement specifications in SAT with SATs of existing legacy systems to construct a new business process.