Please use this identifier to cite or link to this item:
|Title:||A framework for separation of concerns in concurrent programming|
|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. 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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Nov 16, 2018
checked on Nov 3, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.