Using Views to Specify a Synchronization Aspect for Object-Oriented Languages

It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software designs and code. Such is the intent of our Synchronization Units Model (Szumo), which unifies new features for expressing synchronization in a multi-threaded program with existing features of an object-oriented language. However, to make effective use of a language extension, a programmer needs an accurate mental model of how new concepts affect and are affected by existing concepts. Moreover, good separation dictates that interactions between these concepts should be understandable at the level of the new concepts. This suggests that the semantics of Szumo should be specifiable as a self-contained partial specification, called a view, and the semantics of its integration with other language features should be specifiable by view composition. To our knowledge, however, view-based approaches have not been a...

• Type: Conference
• Year: 2006
• Where: SEW
• Authors: R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends
• Keywords: Integrative Benefit Development, Language Extensions, SEW 2006, Synchronization Units Model