Sciweavers

836 search results - page 24 / 168
» An Object Semantic Model of SOFL
Sort
View
IJIIDS
2010
136views more  IJIIDS 2010»
13 years 4 months ago
Kleisli category and database mappings
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
Zoran Majkic, Bhanu Prasad
ICIW
2007
IEEE
14 years 1 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
FM
2003
Springer
88views Formal Methods» more  FM 2003»
14 years 3 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
ESWS
2010
Springer
13 years 8 months ago
Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
Manolis Koubarakis, Kostis Kyzirakos
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 1 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li