%0 Journal Article %1 shin_06_detection %A Shin, Michael E. %A Xu, Yan %A Paniagua, Fernando %A An, Jung H. %D 2006 %J Science of Computer Programming %K 2006 statecharts software_architecture %N 1 %P 16--26 %R 10.1016/j.scico.2005.11.002 %T Detection of anomalies in software architecture with connectors %U http://dx.doi.org/10.1016/j.scico.2005.11.002 %V 61 %X This paper describes an approach to detecting anomalies in a software architectural style that is structured with components and connectors between the components. Each component is designed with tasks (concurrent or active objects), connectors between tasks, and passive objects accessed by tasks. Anomalies in the software architecture are detected twofold by each Component Monitor, which supervises objects in a component, and by a System Monitor, which monitors message communications between components. The monitors encapsulate the specifications of objects being monitored, which are represented using statecharts. The execution of statecharts in the monitors depends on notification messages from connectors between tasks, passive objects accessed by tasks in a component, and connectors between components.

@article{shin_06_detection, abstract = {This paper describes an approach to detecting anomalies in a software architectural style that is structured with components and connectors between the components. Each component is designed with tasks (concurrent or active objects), connectors between tasks, and passive objects accessed by tasks. Anomalies in the software architecture are detected twofold by each Component Monitor, which supervises objects in a component, and by a System Monitor, which monitors message communications between components. The monitors encapsulate the specifications of objects being monitored, which are represented using statecharts. The execution of statecharts in the monitors depends on notification messages from connectors between tasks, passive objects accessed by tasks in a component, and connectors between components.}, added-at = {2009-02-11T20:59:01.000+0100}, author = {Shin, Michael E. and Xu, Yan and Paniagua, Fernando and An, Jung H.}, biburl = {https://www.bibsonomy.org/bibtex/2c11bfff016e4c158611171bddf15b23b/leonardo}, citeulike-article-id = {572424}, doi = {10.1016/j.scico.2005.11.002}, interhash = {f18ef3cadfef358a82606499cba99f56}, intrahash = {c11bfff016e4c158611171bddf15b23b}, journal = {Science of Computer Programming}, keywords = {2006 statecharts software_architecture}, month = {June}, number = 1, pages = {16--26}, posted-at = {2006-04-01 18:29:42}, priority = {2}, timestamp = {2009-02-11T20:59:01.000+0100}, title = {Detection of anomalies in software architecture with connectors}, url = {http://dx.doi.org/10.1016/j.scico.2005.11.002}, volume = 61, year = 2006 }