@inproceedings {wicse2004_bhtv,
	title = {Style-Based Refinement of Dynamic Software Architectures},
	booktitle = {Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture},
	year = {2004},
	note = {Acceptance rate: 30\%},
	pages = {155-164},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Oslo, Norway},
	abstract = {<p>
	In this paper, we address the correct refinement of abstract architectural models into more platform-specific representations. We consider the challenging case of dynamic architectures which can perform run-time reconfigurations. For this purpose, the underlying platform has to provide the necessary reconfiguration mechanisms. To conceptually model such platforms including provided reconfiguration mechanisms, we use architectural styles formalized by graph transformation rules. Based on formal refinement relations between abstract and platform-specific styles, we can then investigate how to realize business-specific scenarios on a certain platform by automatically deriving refined, platform-specific reconfiguration scenarios.</p>
},
	url = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2004/wicsa2004_bhtv.pdf},
	author = {Luciano Baresi and Reiko Heckel and Sebastian Th{\"o}ne and D{\'a}niel Varr{\'o}}
}
