Please use this identifier to cite or link to this item:
Title: A framework for separation of concerns in concurrent programming
Authors: Ramirez, R.
Santosa, A.E. 
Issue Date: 2007
Citation: Ramirez, R.,Santosa, A.E. (2007). A framework for separation of concerns in concurrent programming. Proceedings - International Computer Software and Applications Conference 2 : 619-624. ScholarBank@NUS Repository.
Abstract: A central issue of all approaches to composing adaptive software is a level of indirection for intercepting and redirecting interactions among program entities. It has been pointed out that separation of concerns is one of the key techniques for reconfigurable software design. In this paper we describe a general framework for the separation of concerns in concurrent applications. Concurrency issues are separated and treated as orthogonal to the system base functionality. The framework combines declarative and imperative programming and provides a powerful mechanism for synchronizing concurrent computations. We describe a particular implementation of the framework (for both uniprocessors and distributed systems) as an extension to the Java programming language, and comment on how model-based verification methods can be automatically applied to programs in the resulting language. © 2007 IEEE.
Source Title: Proceedings - International Computer Software and Applications Conference
ISBN: 9780769528700
ISSN: 07303157
DOI: 10.1109/COMPSAC.2007.24
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Feb 23, 2020

Page view(s)

checked on Feb 19, 2020

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.