Record Details

Capturing interactions in architectural patterns

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title Capturing interactions in architectural patterns
 
Creator YADAV, DK
JOSHI, RK
 
Subject software architecture
software architecture
formal descriptions
ccs
architectural patterns
 
Description Patterns of software architecture help in describing structural and functional properties of a system in terms of smaller components. The emphasis of this work is on capturing the aspects of pattern descriptions and the properties of inter-component interactions including non-deterministic behavior. Through these descriptions we, capture structural and behavioral specifications as well as properties against which the specifications are verified. The patterns covered in this paper are variants of Proxy, Chain, MVC, Acceptor-Connector, Publisher-Subscriber and Dinning Philosopher patterns. While the machines are CCS-based, the properties have been described in Modal mu-Calculus. The approach serves as a framework for precise architectural descriptions.
 
Publisher IEEE
 
Date 2011-10-24T13:04:29Z
2011-12-15T09:11:37Z
2011-10-24T13:04:29Z
2011-12-15T09:11:37Z
2010
 
Type Proceedings Paper
 
Identifier 2010 IEEE 2ND INTERNATIONAL ADVANCE COMPUTING CONFERENCE,443-448
978-1-4244-4790-9
http://dx.doi.org/10.1109/IADCC.2010.5422893
http://dspace.library.iitb.ac.in/xmlui/handle/10054/15426
http://hdl.handle.net/100/2188
 
Source 2nd International Advance Computing Conference,Patiala, INDIA,FEB 19-20, 2010
 
Language English