Sciweavers

809 search results - page 75 / 162
» Formal Semantics for the Java Modeling Language
Sort
View
138
Voted
WWW
2005
ACM
16 years 3 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
101
Voted
ESWS
2007
Springer
15 years 8 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
116
Voted
EDOC
2004
IEEE
15 years 6 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...
112
Voted
FDL
2007
IEEE
15 years 9 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é...
121
Voted
ESWS
2006
Springer
15 years 6 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