Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks

For the development of large and sophisticated distributed organizational information systems, one of the most prevalent, yet difficult problems is secure concurrent access to shared objects while preserving collective system consistency. In modeling and implementing such systems in object-oriented concurrent languages, linguistic supports are needed to enable the programmer to have a transparent view of shared objects. For this purpose, we generalized the standard notion of nested transactions to accommodate asynchronous message passing protocols, and introduced the notion of object-wise atomicity level. This paper discusses our proposed linguistic constructs for such transaction facilities.