language semantics
The (Continuing) Evolution of UML for Real-Time Systems Development
White Paper Although the current UML is sufficient for many real-time projects, which are already using UML to great effect, there are three main areas that still require work: Quality of Service, system engineering support, and concurrency... [03 Jul 2008]
Semantic Essence of AsmL
White Paper This paper explains the design rationale of AsmL and provides static and dynamic semantics for a kernel of the language. The Abstract State Machine Language, AsmL, is a novel executable... [03 Jul 2008]
Multilanguage Programming on the JVM: the Ada 95 Benefits
White Paper Although the Java Virtual Machine was designed to support the semantics of the Java programming language, it can also be used as a target for other languages. The latest trend in our industry, \pervasive... [03 Jul 2008]
API Semantics for Native ATM Services Using UNI 4.0
White Paper An API is a set of libraries or interfaces that enable an application to use the language in which it is written to access the functionality of lower-level modules - such as operating systems, graphical user interfaces,... [03 Jul 2008]
A Comparison of Schemas for Video Metadata Representation
White Paper In the past, a lot of effort has gone into generating descriptors and description schemes for video indexing but comparatively little research has been done on schemas capable of defining the structure, content and... [03 Jul 2008]
Using SOA With WebSphere Process Integration Products, Part 2: Integration Development
White Paper The paper assumes a good understanding of programming concepts (control flow, looping, assignment, synchronous and asynchronous call semantics, and so forth), role-based development (business analyst, architect,... [09 May 2008]
Java Jr.: Fully Abstract Trace Semantics for a Core Java Language
This paper introduces an expressive yet semantically clean core Java-like language, Java Jr.and provides it with a formal operational semantics based on traces of observable actions which represent... [30 Apr 2008]
Best Practices for Service Interface Design in SOA, Part 1: Exploring the Development, Interfaces, and Operation Semantics of Services
White Paper Subsequent papers in this series examine best practices for structuring Web Services Description Language (WSDL) documents and fault handling. Service-Oriented Architecture (SOA) emphasizes loose coupling between... [26 Apr 2008]
Formalizing UML Models and OCL Constraints in PVS
White Paper Therefore, this paper presents a prototype tool, which analyzes the syntax and semantics of OCL constraints together with a UML model and translates them into the language of the theorem prover PVS. This... [10 Apr 2008]
Comparing OWL Semantics
White Paper By design these model theories give rise to very similar semantics, and a precise statement of the correspondence between the model theories is conjectured with a sketch proof at the end of the OWL... [15 Feb 2008]
Acute and TCP: Specifying and Developing Abstractions for Global Computation
White Paper Together with the Acute language semantics this constitutes a mathematically precise and executable system for writing distributed communication libraries, P2P algorithms, etc. Further, the paper is... [15 Jan 2008]
UML 2.0 Action Semantics and Telelogic TAU/Architect and TAU/Developer Action Language
White Paper What do action semantics and executable model mean? How are these concepts implemented in the new version of UML 2.0? What are the benefits of UML 2.0 in UML based tools? This white paper answers these questions and... [03 Aug 2007]
Let Semantics Bring Sophistication to Your Applications
White Paper This paper explains how to leverage semantic technology and the W3C's Web Ontology Language standard to spice up a query-based application. The Semantic Web aims to extend the information on the web in a form that can be... [10 Jul 2007]
XPlainer: Visual Explanations of XPath Queries
White Paper This paper provides a complete formalization for explanation queries based on the semantics of XPath. This paper introduces XPlainer, a language that provides explanations of why XPath expressions return... [20 Jun 2007]
Secure Sessions for Web Services
White Paper This paper develops semantics for the main mechanisms of WS-Trust and WS-SecureConversation, expressed as a library for TulaFale, a formal scripting language for security protocols. WS-Security provides... [25 May 2007]
Keep updated for stories matching language semantics via RSS
