A survey of self-management in dynamic software architecture specifications Export

@inproceedings{citeulike:477435, abstract = {As dynamic software architecture use becomes more widespread, a variety of formal specification languages have been developed to gain a better understanding of the foundations of this type of software evolutionary change. In this paper we survey 14 formal specification approaches based on graphs, process algebras, logic, and other formalisms. Our survey will evaluate the ability of each approach to specify self-managing systems as well as the ability to address issues regarding expressiveness and scalability. Based on the results of our survey we will provide recommendations on future directions for improving the specification of dynamic software architectures, specifically self-managed architectures.}, address = {New York, NY, USA}, author = {Bradbury, Jeremy S. and Cordy, James R. and Dingel, Juergen and Wermelinger, Michel}, booktitle = {WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems}, citeulike-article-id = {477435}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1075405.1075411}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1075405.1075411}, doi = {10.1145/1075405.1075411}, isbn = {1-58113-989-6}, keywords = {software\_architecture, survey}, location = {Newport Beach, California}, pages = {28--33}, posted-at = {2009-10-11 09:09:18}, priority = {2}, publisher = {ACM}, title = {A survey of self-management in dynamic software architecture specifications}, url = {http://dx.doi.org/10.1145/1075405.1075411}, year = {2004} }

TY - CONF ID - citeulike:477435 L3 - citeulike-article-id:477435 N2 - As dynamic software architecture use becomes more widespread, a variety of formal specification languages have been developed to gain a better understanding of the foundations of this type of software evolutionary change. In this paper we survey 14 formal specification approaches based on graphs, process algebras, logic, and other formalisms. Our survey will evaluate the ability of each approach to specify self-managing systems as well as the ability to address issues regarding expressiveness and scalability. Based on the results of our survey we will provide recommendations on future directions for improving the specification of dynamic software architectures, specifically self-managed architectures. CY - Newport Beach, California SN - 1-58113-989-6 AD - New York, NY, USA EP - 33 TI - A survey of self-management in dynamic software architecture specifications PB - ACM T2 - WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems SP - 28 KW - software_architecture KW - survey AU - Bradbury, Jeremy AU - Cordy, James AU - Dingel, Juergen AU - Wermelinger, Michel PY - 2004/// UR - http://dx.doi.org/10.1145/1075405.1075411 ER -