Sciweavers

809 search results - page 75 / 162
» Formal Semantics for the Java Modeling Language
Sort
View
WWW
2005
ACM
16 years 5 months ago
Consistency checking of UML model diagrams using the XML semantics approach
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
Yasser Kotb, Takuya Katayama
ESWS
2007
Springer
15 years 10 months ago
A Unified Approach to Retrieving Web Documents and Semantic Web Data
The Semantic Web seems to be evolving into a property-linked web of RDF data, conceptually divorced from (but physically housed in) the hyperlinked web of HTML documents. We discus...
Trivikram Immaneni, Krishnaprasad Thirunarayan
EDOC
2004
IEEE
15 years 8 months ago
A Logical Viewpoint on Architectures
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...
FDL
2007
IEEE
15 years 10 months ago
Modeling of immediate vs. delayed data communications: from AADL to UML Marte
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
Frédéric Mallet, Charles André...
ESWS
2006
Springer
15 years 8 months ago
On the Semantics of Functional Descriptions of Web Services
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...
Uwe Keller, Holger Lausen, Michael Stollberg