{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:05:08Z","timestamp":1755907508520,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T00:00:00Z","timestamp":1581984000000},"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":[[2020,2,18]]},"DOI":"10.1145\/3384544.3384550","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T03:58:24Z","timestamp":1588564704000},"page":"201-205","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Mixed Initiative Realizability Problem Resolution Using UML Composite States"],"prefix":"10.1145","author":[{"given":"Muhammad Sohaib","family":"Munir","sequence":"first","affiliation":[{"name":"College of Electrical and Mechanical Engineering, National University of Sciences and Technology, Islamabad, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hafsa","family":"Tanveer","sequence":"additional","affiliation":[{"name":"College of Engineering and Applied Science, University of Cincinnati, Ohio, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Urooj","family":"Fatima","sequence":"additional","affiliation":[{"name":"College of Electrical and Mechanical Engineering, National University of Sciences and Technology, Islamabad, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Design methods for reactive systems: Yourdon, statemate, and the UML","author":"Wieringa R. J.","year":"2003","unstructured":"Wieringa, R. J. (2003). Design methods for reactive systems: Yourdon, statemate, and the UML. Elsevier."},{"key":"e_1_3_2_1_2_1","unstructured":"Kraemer F.A. 2008. Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. Doctoral thesis Norwegian University of Science and Technology Department of Telematics."},{"key":"e_1_3_2_1_3_1","unstructured":"Kathayat S.B. 2012. On the Development of Situated Collaborative Services. Doctoral thesis Norwegian University of Science and Technology Department of Telematics."},{"key":"e_1_3_2_1_4_1","unstructured":"Fatima U. 2017. A modular method for High-level Service Specification and Component Design Derivation. Doctoral thesis Norwegian University of Science and Technology Department of Information Security and Communication Technology."},{"volume-title":"International SDL Forum (pp. 251--268)","author":"Floch J.","key":"e_1_3_2_1_5_1","unstructured":"Floch, J., & Br\u00e6k, R. (2003, July). Using projections for the detection of anomalous behaviors. In International SDL Forum (pp. 251--268). Springer, Berlin, Heidelberg. DOI="},{"volume-title":"International SDL Forum (pp. 166--185)","author":"Kraemer F. A.","key":"e_1_3_2_1_6_1","unstructured":"Kraemer, F. A., Br\u00e6k, R., & Herrmann, P. (2007, September). Synthesizing components with sessions from collaboration-oriented service specifications. In International SDL Forum (pp. 166--185). Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1984.1096134"},{"volume-title":"Proceedings of 22nd International Conference on Software Engineering, ICSE'00, 304--313","author":"Alur R.","key":"e_1_3_2_1_8_1","unstructured":"Alur, R., Etessami, K. and Yannakakis, M. 2000. Inference of Message Sequence Charts. In Proceedings of 22nd International Conference on Software Engineering, ICSE'00, 304--313."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Ben-Abdallah H. and Leue S. 1997. Syntactic Detection of Process Divergence and Non-local Choice in Message Sequence Charts. In Tools and Algorithms for the Construction and Analysis of Systems volume 1217 of Lecture Notes in Computer Science. 259--274. Springer Berlin Heidelberg.","DOI":"10.1007\/BFb0035393"},{"volume-title":"Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP '89. 1--17","author":"Abadi M.","key":"e_1_3_2_1_10_1","unstructured":"Abadi, M., Lamport, L. and Wolper, P. 1989. Realizable and Unrealizable Specifications of Reactive Systems. In Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP '89. 1--17. Springer-Verlag."},{"volume-title":"31st Annual Symposium on Foundations of Computer Science. 746--757","author":"Pneuli A.","key":"e_1_3_2_1_11_1","unstructured":"Pneuli, A. and Rosner, R. 1990. Distributed Reactive Systems are Hard to Synthesize. In 31st Annual Symposium on Foundations of Computer Science. 746--757. IEEE."},{"key":"e_1_3_2_1_12_1","volume-title":"Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA","author":"Wong-Toi H.","year":"1990","unstructured":"Wong-Toi, H. and Dill, D. L. 1991. Synthesizing Processes and Schedulers from Temporal Specifications. In Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990. 272--281. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_13_1","volume-title":"Realizability and Synthesis of Reactive Modules. In Computer Aided Verification: 6th International Conference, CAV '94 Stanford","author":"Anuchitanukul A.","year":"1994","unstructured":"Anuchitanukul, A. and Manna, Z. 1994. Realizability and Synthesis of Reactive Modules. In Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21-23, 1994. 156--168. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0216-x"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Mooij A. J. Goga N. and Romijn J. M. T. 2005. Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. In Fundamental Approaches to Software Engineering volume 3442 of Lecture Notes in Computer Science. 273--288. Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-540-31984-9_21"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400100075X"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-0272-6"}],"event":{"name":"ICSCA 2020: 2020 9th International Conference on Software and Computer Applications","acronym":"ICSCA 2020","location":"Langkawi Malaysia"},"container-title":["Proceedings of the 2020 9th International Conference on Software and Computer Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384544.3384550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3384544.3384550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:19:50Z","timestamp":1755839990000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384544.3384550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,18]]},"references-count":17,"alternative-id":["10.1145\/3384544.3384550","10.1145\/3384544"],"URL":"https:\/\/doi.org\/10.1145\/3384544.3384550","relation":{},"subject":[],"published":{"date-parts":[[2020,2,18]]},"assertion":[{"value":"2020-04-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}