{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:20:39Z","timestamp":1743121239244,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319195773"},{"type":"electronic","value":"9783319195780"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19578-0_51","type":"book-chapter","created":{"date-parts":[[2015,5,12]],"date-time":"2015-05-12T04:07:21Z","timestamp":1431403641000},"page":"624-635","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Formalization of Real-Time Patterns-Based Designs"],"prefix":"10.1007","author":[{"given":"Kamel","family":"Boukhelfa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faiza","family":"Belala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"51_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-642-15576-5_36","volume-title":"Advances in Databases and Information Systems","author":"S. Rekhis","year":"2010","unstructured":"Rekhis, S., Bouassida, N., Duvallet, C., Bouaziz, R., Sadeg, B.: A process to derive domain-specific patterns: Application to the real time domain. In: Catania, B., Ivanovi\u0107, M., Thalheim, B. (eds.) ADBIS 2010. LNCS, vol.\u00a06295, pp. 475\u2013489. Springer, Heidelberg (2010)"},{"key":"51_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"51_CR3","series-title":"The Addison-Wesley object technology series","volume-title":"Real-time design patterns : robust scalable architecture for real-time systems","author":"B.P. Douglass","year":"2003","unstructured":"Douglass, B.P.: Real-time design patterns: robust scalable architecture for real-time systems. The Addison-Wesley object technology series. Addison-Wesley, Boston (2003)"},{"key":"51_CR4","unstructured":"Douibi, H., Boukhelfa, K., Belala, F.: A rewriting logic-based meta-model for design patterns formalization. In: PATTERNS 2011: The Third International Conferences on Pervasive Patterns and Applications, pp. 84\u201389 (2011)"},{"key":"51_CR5","volume-title":"Design Patterns: Elements of Reusable Object-oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"Gasparis, E.: Lepus: A formal language for modeling design patterns. In: Taibi, T. (ed.) Design Pattern Formalization Techniques, pp. 357\u2013372. IGI Global (2007)","DOI":"10.4018\/978-1-59904-219-0.ch016"},{"key":"51_CR7","unstructured":"Kim, D.-k., France, R., Ghosh, S., Song, E.: A uml-based metamodeling language to specify design patterns. In: Patterns, Proc. Workshop Software Model Eng (WiSME) with Unified Modeling Language Conf. (2003)"},{"key":"51_CR8","first-page":"3","volume-title":"CRPIT 2002: Proceedings of the Fortieth International Conference on Tools Pacific","author":"D. Mapelsden","year":"2002","unstructured":"Mapelsden, D., Hosking, J., Grundy, J.: Design pattern modelling and instantiation using dpml. In: CRPIT 2002: Proceedings of the Fortieth International Conference on Tools Pacific, pp. 3\u201311. Australian Computer Society, Inc., Darlinghurst (2002)"},{"key":"51_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-61604-7_64","volume-title":"CONCUR \u201996: Concurrency Theory","author":"J. Meseguer","year":"1996","unstructured":"Meseguer, J.: Rewriting logic as a semantic framework for concurrency: a progress report. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 331\u2013372. Springer, Heidelberg (1996)"},{"key":"51_CR10","unstructured":"Omgmarte.org. The uml profile for marte: Modeling and analysis of real-time and embedded systems (2015), \n                    \n                      http:\/\/www.omgwiki.org\/marte\n                    \n                    \n                  , \n                    \n                      http:\/\/www.omgwiki.org\n                    \n                    \n                   (Last viewed January 2015)"},{"issue":"4","key":"51_CR11","doi-asserted-by":"publisher","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T. Taibi","year":"2003","unstructured":"Taibi, T., Ngo, D.C.L.: Formal specification of design patterns - a balanced approach. Journal of Object Technology\u00a02(4), 127\u2013140 (2003)","journal-title":"Journal of Object Technology"}],"container-title":["IFIP Advances in Information and Communication Technology","Computer Science and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19578-0_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T21:02:15Z","timestamp":1559163735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19578-0_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195773","9783319195780"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19578-0_51","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2015]]}}}