{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:41:50Z","timestamp":1771702910698,"version":"3.50.1"},"reference-count":15,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1016\/s0950-5849(02)000195-7","type":"journal-article","created":{"date-parts":[[2003,1,30]],"date-time":"2003-01-30T16:48:43Z","timestamp":1043945323000},"page":"157-170","source":"Crossref","is-referenced-by-count":28,"title":["Formal specification of design pattern combination using BPSL"],"prefix":"10.1016","volume":"45","author":[{"given":"Toufik","family":"Taibi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David Chek Ling","family":"Ngo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0950-5849(02)000195-7_BIB1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","article-title":"Composing specifications","volume":"15","author":"Abadi","year":"1993","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB2","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","article-title":"Distributed cooperation with action systems","volume":"10","author":"Back","year":"1988","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB3","article-title":"Specification of design patterns: an analysis","author":"Chinnasamy","year":"1999","journal-title":"Proceedings of the Seventh International Conference on Advanced Computing and Communications (ADCOM\u201999)"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB4","first-page":"279","article-title":"Ensuring structure and behavior correctness in design composition","author":"Dong","year":"2000","journal-title":"Proceedings of the Seventh IEEE International Conference and Workshop on the Engineering of Computer-based Systems"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB5","article-title":"LePUS\u2014symbolic logic modeling of object oriented architectures: a case study","author":"Eden","year":"1999","journal-title":"Second Nordic Workshop on Software Architecture\u2014NOSA\u201999"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB6","article-title":"Principles in formal specification of object-oriented architectures","author":"Eden","year":"2001","journal-title":"CASCON"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB7","series-title":"Design Patterns: Elements of Reusables Object-oriented Systems","author":"Gamma","year":"1995"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB8","unstructured":"ISO 8807, Information Processing Systems, Open Systems Interconnection\u2014LOTOS\u2014a formal description technique based on the temporal ordering of observational behavior, 1989."},{"issue":"3","key":"10.1016\/S0950-5849(02)000195-7_BIB9","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","article-title":"The temporal logic of actions","volume":"16","author":"Lamport","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB10","first-page":"115","article-title":"Formalizing design patterns","author":"Mikkonen","year":"1998","journal-title":"Proceedings of the IEEE ICSE\u201998"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB11","series-title":"The Unified Modeling Language Reference Manual","author":"Rambaugh","year":"1998"},{"key":"10.1016\/S0950-5849(02)000195-7_BIB12","first-page":"408","article-title":"Behavioral specification of GOF design patterns with LOTOS","author":"Saeki","year":"2000","journal-title":"Proceedings of the IEEE APSEC'2000"},{"issue":"4","key":"10.1016\/S0950-5849(02)000195-7_BIB13","first-page":"8","article-title":"Why and how should patterns be formalized","volume":"14","author":"Taibi","year":"2001","journal-title":"Journal of Object-Oriented Programming (JOOP)"},{"issue":"8","key":"10.1016\/S0950-5849(02)000195-7_BIB14","article-title":"Multicast","volume":"9","author":"Vlissides","year":"1997","journal-title":"C++ Report"},{"issue":"10","key":"10.1016\/S0950-5849(02)000195-7_BIB15","article-title":"Multicast\u2212observer=typed message","volume":"9","author":"Vlissides","year":"1997","journal-title":"C++ Report"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001957?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001957?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T14:27:35Z","timestamp":1553956055000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584902001957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["S0950584902001957"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(02)000195-7","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}