Please use this identifier to cite or link to this item: https://doi.org/10.1109/COMPSAC.2007.24
Title: A framework for separation of concerns in concurrent programming
Authors: Ramirez, R.
Santosa, A.E. 
Issue Date: 2007
Source: 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. https://doi.org/10.1109/COMPSAC.2007.24
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
URI: http://scholarbank.nus.edu.sg/handle/10635/40775
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.

SCOPUSTM   
Citations

1
checked on Dec 5, 2017

Page view(s)

65
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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