{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:56Z","timestamp":1750308716312,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,18]],"date-time":"2013-03-18T00:00:00Z","timestamp":1363564800000},"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":[[2013,3,18]]},"DOI":"10.1145\/2480362.2480721","type":"proceedings-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T19:47:45Z","timestamp":1367437665000},"page":"1937-1938","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards an approach for modeling and formalizing SOA design patterns with Event-B"],"prefix":"10.1145","author":[{"given":"Imen","family":"Tounsi","sequence":"first","affiliation":[{"name":"University of Sfax, ReDCAD-Research unit, Sfax, Tunisia"}]},{"given":"Mohamed Hadj","family":"Kacem","sequence":"additional","affiliation":[{"name":"University of Sfax, ReDCAD-Research unit, Sfax, Tunisia"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[{"name":"University of Sfax, ReDCAD-Research unit, Sfax, Tunisia"}]},{"given":"Khalil","family":"Drira","sequence":"additional","affiliation":[{"name":"CNRS, LAAS, colonel Roche, Toulouse, France and Univ de Toulouse, LAAS, Toulouse, France"}]},{"given":"Emna","family":"Mezghani","sequence":"additional","affiliation":[{"name":"CNRS, LAAS, Toulouse, France and Univ de Toulouse, LAAS, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2013,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"SOA Design Patterns","author":"Erl T.w.a.c.","year":"2009","unstructured":"Erl , T.w.a.c. : SOA Design Patterns (The Prentice Hall Service-Oriented Computing Series from Thomas Erl). 1 edn. Prentice Hall PTR ( 2009 ) Erl, T.w.a.c.: SOA Design Patterns (The Prentice Hall Service-Oriented Computing Series from Thomas Erl). 1 edn. Prentice Hall PTR (2009)"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939864.1939915"},{"key":"e_1_3_2_1_3_1","unstructured":"OMG\n  : Service oriented architecture Modeling Language (SoaML) Specification. Technical report (2012)  OMG: Service oriented architecture Modeling Language (SoaML) Specification. Technical report (2012)"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":": Modeling in Event-B: System and Software Engineering","author":"Abrial J. R.","year":"2010","unstructured":"Abrial , J. R. : Modeling in Event-B: System and Software Engineering . 1 st edn. Cambridge University Press , New York, NY, USA ( 2010 ) Abrial, J. R.: Modeling in Event-B: System and Software Engineering. 1st edn. Cambridge University Press, New York, NY, USA (2010)","edition":"1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0145-y"},{"key":"e_1_3_2_1_6_1","volume-title":"Vlissides","author":"Gamma E.","year":"1995","unstructured":"Gamma , E. , Helm , R. , Johnson , R. E. , Vlissides , J. : Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley , Reading, MA ( 1995 ) Gamma, E., Helm, R., Johnson, R. E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA (1995)"},{"key":"e_1_3_2_1_7_1","volume-title":"Bobby","author":"Gregor H.","year":"2003","unstructured":"Gregor , H. , Bobby , W. : Enterprise Integration Patterns - Designing, Building, and Deploying Messaging Solutions. Addison Wesley ( 2003 ) Gregor, H., Bobby, W.: Enterprise Integration Patterns - Designing, Building, and Deploying Messaging Solutions. Addison Wesley (2003)"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)000195-7"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.03.005"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0090-7"}],"event":{"name":"SAC '13: SAC '13","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Coimbra Portugal","acronym":"SAC '13"},"container-title":["Proceedings of the 28th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480721","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2480362.2480721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:24Z","timestamp":1750277664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,18]]},"references-count":10,"alternative-id":["10.1145\/2480362.2480721","10.1145\/2480362"],"URL":"https:\/\/doi.org\/10.1145\/2480362.2480721","relation":{},"subject":[],"published":{"date-parts":[[2013,3,18]]},"assertion":[{"value":"2013-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}