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 interaction across package boundaries. A detailed example based on the Observer Pattern is used to demonstrate the intuitive character of the semantic model. The paper also shows that the semantic trace equivalence is fully-abstract with respect to a natural notion of testing equivalence for object systems.
Did you find this white paper useful?
21 out of 34 users found this white paper useful
Related white papers
Model Driven Development for Systems Webinar
Rhapsody is fast becoming the leading MDD environment within the Mil/Aero community, being a major player in programs such as the Joint Strike Fighter (JSF), Future Combat Systems (FCS) and...
On Guard: Producing Run-Time Checks From Integrity Constraints
Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code executed before a data update...
Bridging the Gap Between Systems, Software, and Test
Building off its initial and very successful UML 2.0 based Model-Driven Development (MDD) solution, Rhapsody 5.0, I-Logix has created a new generation solution to allow Systems, Software, and Test engineers...
Object-Oriented Project Management
Object-orientation is a way of looking at the world as "classes" of "objects" in order to model the real world more effectively than traditional structured software engineering or other methods...
Enterprise Unified Process: Enhancing the Unified Process to Meet the Real-World Needs of Your Organization
In short, not too good. Software projects are usually late, are usually over budget, are likely to be cancelled, and if not then the final software rarely meets the expectations of...
PowerDesigner - Modeling for Java Developers
This webcast explains how PowerDesigner applies the principles of an integrated modeling tool to help in Java and J2EE development. It explains how UML and E/R modeling combine to boost...
Consistency Control for Synchronous and Asynchronous Collaboration Based on Shared Objects and Activities
This paper describes a new collaborative technology that bridges the gap between ad hoc collaboration in email and more formal collaboration in structured shared workspaces. The approach is based on...
