{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:44Z","timestamp":1750308044664,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,21]],"date-time":"2006-05-21T00:00:00Z","timestamp":1148169600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,5,21]]},"DOI":"10.1145\/1137677.1137684","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"30-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Towards specification, modelling and analysis of fault tolerance in self managed systems"],"prefix":"10.1145","author":[{"given":"Jeff","family":"Magee","sequence":"first","affiliation":[{"name":"Imperial College London, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Maibaum","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ungureanu V. Law-Governed Communities Over the Internet. In Proceedings of Coordination 2000: Fourth International Conference on Coordination Models and Languages, LNCS 1906, Springer-Verlag","author":"Ao X.","year":"2000","unstructured":"Ao , X. , Minsky , N. , Nguyen , T. , Ungureanu V. Law-Governed Communities Over the Internet. In Proceedings of Coordination 2000: Fourth International Conference on Coordination Models and Languages, LNCS 1906, Springer-Verlag , 2000 , 133--147.]] Ao, X., Minsky, N., Nguyen, T., Ungureanu V. Law-Governed Communities Over the Internet. In Proceedings of Coordination 2000: Fourth International Conference on Coordination Models and Languages, LNCS 1906, Springer-Verlag, 2000, 133--147.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/352591.352592"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of 12th International Workshop on Security Protocols","author":"Rissanen E.","year":"2004","unstructured":"Rissanen , E. , Sadighi Firozabadi B. , Sergot M. J. Towards a mechanism for discretionary overriding of access control (position paper) . In Proceedings of 12th International Workshop on Security Protocols , Cambridge , 2004 .]] Rissanen, E., Sadighi Firozabadi B., Sergot M. J. Towards a mechanism for discretionary overriding of access control (position paper). In Proceedings of 12th International Workshop on Security Protocols, Cambridge, 2004.]]"},{"key":"e_1_3_2_1_4_1","volume-title":"T. S. E. The Prescription and Description of State Based Systems. In Proceedings of the Workshop on Temporal Logic in Specification, Banieqbal, B., Barringer, H., Prueli, A., eds, LNCS 298","author":"Khosla S.","year":"1989","unstructured":"Khosla , S. , Maibaum , T. S. E. The Prescription and Description of State Based Systems. In Proceedings of the Workshop on Temporal Logic in Specification, Banieqbal, B., Barringer, H., Prueli, A., eds, LNCS 298 , Springer Verlag , 1989 , 243--294.]] Khosla, S., Maibaum, T. S. E. The Prescription and Description of State Based Systems. In Proceedings of the Workshop on Temporal Logic in Specification, Banieqbal, B., Barringer, H., Prueli, A., eds, LNCS 298, Springer Verlag, 1989, 243--294.]]"},{"key":"e_1_3_2_1_5_1","first-page":"294","volume":"278","author":"Jeremaes P.","year":"1986","unstructured":"Jeremaes , P. , Khosla , S. , Maibaum , T. S. E. A Modal (Action) Logic for Requirements Specification. In Proceedings of Software Engineering 86, IEE Computing Series 6, Barnes , D. , Brown , P. , eds , Peter Peregrinus , 1986 , 278 -- 294 .]] Jeremaes, P., Khosla, S., Maibaum, T. S. E. A Modal (Action) Logic for Requirements Specification. In Proceedings of Software Engineering 86, IEE Computing Series 6, Barnes, D., Brown, P., eds, Peter Peregrinus, 1986, 278--294.]]","journal-title":"Peter Peregrinus"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-023X(89)90038-4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646396.690993"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370671"},{"key":"e_1_3_2_1_9_1","series-title":"Handbook of Philosophical Logic -","volume-title":"Extensions to Classical Systems 2, Gabbay, D., Guenthner, F., eds","author":"Carmo J.","year":"2000","unstructured":"Carmo , J. , Jones , A. Deontic logic and contrary-to-duties . In Handbook of Philosophical Logic - Second Edition, Volume 3 : Extensions to Classical Systems 2, Gabbay, D., Guenthner, F., eds , Kluwer , 2000 .]] Carmo, J., Jones, A. Deontic logic and contrary-to-duties. In Handbook of Philosophical Logic - Second Edition, Volume 3: Extensions to Classical Systems 2, Gabbay, D., Guenthner, F., eds, Kluwer, 2000.]]"},{"key":"e_1_3_2_1_10_1","volume-title":"W. J. Formally Specifying Temporal Constraints and Error Recovery. In Proceedings of the 1st IEEE International Symposium on Requirements Engineering, IEEE CS Press","author":"Kent S. J. H.","year":"1993","unstructured":"Kent , S. J. H. , Maibaum , T. S. E. , Quirk , W. J. Formally Specifying Temporal Constraints and Error Recovery. In Proceedings of the 1st IEEE International Symposium on Requirements Engineering, IEEE CS Press , 1993 , 208--215.]] Kent, S. J. H., Maibaum, T. S. E., Quirk, W. J. Formally Specifying Temporal Constraints and Error Recovery. In Proceedings of the 1st IEEE International Symposium on Requirements Engineering, IEEE CS Press, 1993, 208--215.]]"},{"key":"e_1_3_2_1_11_1","volume-title":"T. S. E. Sharing Actions and Attributes in Modal Action Logic. In Proceedings of the International Conference on Theoretical Aspects of Computer Software, Ito, T., Meyer, A., eds, LNCS 526","author":"Ryan M.","year":"1991","unstructured":"Ryan , M. , Fiadeiro , J. L. L. , Maibaum , T. S. E. Sharing Actions and Attributes in Modal Action Logic. In Proceedings of the International Conference on Theoretical Aspects of Computer Software, Ito, T., Meyer, A., eds, LNCS 526 , Springer-Verlag , 1991 , 569--593.]] Ryan, M., Fiadeiro, J. L. L., Maibaum, T. S. E. Sharing Actions and Attributes in Modal Action Logic. In Proceedings of the International Conference on Theoretical Aspects of Computer Software, Ito, T., Meyer, A., eds, LNCS 526, Springer-Verlag, 1991, 569--593.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the International Symposium on Verification (Theory and Practice), Dershowitz, N., ed, Festschrift celebrating Zohar Manna's 64th Birthday, Taormina, Italy, LNCS 2772","author":"Aguirre N.","year":"2003","unstructured":"Aguirre , N. , Maibaum , T. S. E. Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems . In Proceedings of the International Symposium on Verification (Theory and Practice), Dershowitz, N., ed, Festschrift celebrating Zohar Manna's 64th Birthday, Taormina, Italy, LNCS 2772 , Springer-Verlag , 2003 .]] Aguirre, N., Maibaum, T. S. E. Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. In Proceedings of the International Symposium on Verification (Theory and Practice), Dershowitz, N., ed, Festschrift celebrating Zohar Manna's 64th Birthday, Taormina, Italy, LNCS 2772, Springer-Verlag, 2003.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(96)00025-1"},{"key":"e_1_3_2_1_14_1","first-page":"134","volume":"119","author":"Barreiro N.","year":"1995","unstructured":"Barreiro , N. , Fiadeiro , J. L. L. , Maibaum , T. S. E. Politeness in Object Societies. Information Systems - Correctness and Reusability, Wieringa , R. , Feenstra , R. , eds , World Scientific , 1995 , 119 -- 134 .]] Barreiro, N., Fiadeiro, J. L. L., Maibaum, T. S. E. Politeness in Object Societies. Information Systems - Correctness and Reusability, Wieringa, R., Feenstra, R., eds, World Scientific, 1995, 119--134.]]","journal-title":"World Scientific"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"e_1_3_2_1_16_1","volume-title":"Concurrency: State Models & Java Programs","author":"Magee J.","year":"1999","unstructured":"Magee , J. , Kramer , J. Concurrency: State Models & Java Programs , John Wiley and Sons , 1999 .]] Magee, J., Kramer, J. Concurrency: State Models & Java Programs, John Wiley and Sons, 1999.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940106"},{"key":"e_1_3_2_1_18_1","first-page":"178","volume":"161","author":"Sergot M. J.","year":"2005","unstructured":"Sergot , M. J. Modelling Unreliable and Untrustworthy Agent Behaviour. In Monitoring, Security and Rescue Techniques in Multiagent Systems, Dunin-Keplicz , B. , Jankowski , A. , Skowron , A. , Szczuka , M. , eds , Springer-Verlag , 2005 , 161 -- 178 .]] Sergot, M. J. Modelling Unreliable and Untrustworthy Agent Behaviour. In Monitoring, Security and Rescue Techniques in Multiagent Systems, Dunin-Keplicz, B., Jankowski, A., Skowron, A., Szczuka, M., eds, Springer-Verlag, 2005, 161--178.]]","journal-title":"Springer-Verlag"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940125"},{"key":"e_1_3_2_1_20_1","first-page":"129","volume":"2677","author":"Guerra P. A.","year":"2003","unstructured":"Guerra , P. A. de C., Rubira , C. , de Lemos , R. A Fault-Tolerant Software Architecture for Component-Based Systems. LNCS 2677 , Springer-Verlag, 2003 , 129 -- 149 .]] Guerra, P. A. de C., Rubira, C., de Lemos, R. A Fault-Tolerant Software Architecture for Component-Based Systems. LNCS 2677, Springer-Verlag, 2003, 129--149.]]","journal-title":"A Fault-Tolerant Software Architecture for Component-Based Systems. LNCS"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/644760"},{"key":"e_1_3_2_1_22_1","volume-title":"UML and MDA","author":"Lano K.","year":"2005","unstructured":"Lano , K. Design for Change: Advanced System Design with Java , UML and MDA , Butterworth , 2005 .]] Lano, K. Design for Change: Advanced System Design with Java, UML and MDA, Butterworth, 2005.]]"}],"event":{"name":"ICSE06: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Shanghai China","acronym":"ICSE06"},"container-title":["Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1137677.1137684","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1137677.1137684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:29Z","timestamp":1750259669000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1137677.1137684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,21]]},"references-count":22,"alternative-id":["10.1145\/1137677.1137684","10.1145\/1137677"],"URL":"https:\/\/doi.org\/10.1145\/1137677.1137684","relation":{},"subject":[],"published":{"date-parts":[[2006,5,21]]},"assertion":[{"value":"2006-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}