{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:49Z","timestamp":1725518929386},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_39","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"553-567","source":"Crossref","is-referenced-by-count":1,"title":["A Pattern Language Verifier for Web-Based Enterprise Applications"],"prefix":"10.1007","author":[{"given":"Bahman","family":"Zamani","sequence":"first","affiliation":[]},{"given":"Sahar","family":"Kayhani","sequence":"additional","affiliation":[]},{"given":"Greg","family":"Butler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/11877028_2","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J.: Model driven engineering: An emerging technical space. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, pp. 36\u201364. Springer, Heidelberg (2006)"},{"key":"39_CR2","volume-title":"Patterns of Enterprise Application Architecture","author":"M. Fowler","year":"2002","unstructured":"Fowler, M.: Patterns of Enterprise Application Architecture, 1st edn. Addison-Wesley, Reading (2002)","edition":"1"},{"key":"39_CR3","unstructured":"Tigris.org: Argouml official web site (Retrieved on May 20, 2008), \n                      \n                        http:\/\/argouml.tigris.org\/"},{"key":"39_CR4","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, Boston (1995)"},{"key":"39_CR5","volume-title":"A Pattern Language: Towns, Buildings, Construction","author":"C. Alexander","year":"1977","unstructured":"Alexander, C., et al.: A Pattern Language: Towns, Buildings, Construction. Oxford University Press, Oxford (1977)"},{"key":"39_CR6","unstructured":"Hillside.net: Patterns web site (Retrieved on May 20, 2008), \n                      \n                        http:\/\/hillside.net\/"},{"key":"39_CR7","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/236156.236164","volume":"39","author":"D.C. Schmidt","year":"1996","unstructured":"Schmidt, D.C., Fayad, M., Johnson, R.E.: Software patterns. Commun. ACM\u00a039, 37\u201339 (1996)","journal-title":"Commun. ACM"},{"key":"39_CR8","unstructured":"Fowler, M.: Writing software patterns (2006), \n                      \n                        http:\/\/www.martinfowler.com\/articles.html"},{"key":"39_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/2.335755","volume":"27","author":"S. Berczuk","year":"1994","unstructured":"Berczuk, S.: Finding solutions through pattern languages. Computer\u00a027, 75\u201376 (1994)","journal-title":"Computer"},{"key":"39_CR10","volume-title":"Compilers: principles, techniques, and tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Boston. Addison-Wesley Longman Publishing Co., Boston (1986)"},{"key":"39_CR11","unstructured":"OMG: Unified Modeling Language: Specification, v1.4. OMG document formal\/01-09-67 (2001)"},{"key":"39_CR12","unstructured":"Zamani, B., Butler, G., Kayhani, S.: Tool support for pattern selection and use. In: Second International Workshop on Software Quality and Maintainability, CSMR 2008 conference, ENTCS 2008, Athens, Greece (to appear, 2008)"},{"key":"39_CR13","unstructured":"Zamani, B., Butler, G.: Critiquing the application of pattern languages on uml models. In: Workshop on Quality in Modeling, MODELS 2007 Conference, Nashville, TN, USA, pp. 18\u201335 (2007)"},{"key":"39_CR14","unstructured":"Bergenti, F., Poggi, A.: Improving uml designs using automatic design pattern detection. In: 12th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 336\u2013343 (2000)"},{"key":"39_CR15","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1109\/TSE.2006.112","volume":"32","author":"N. Tsantalis","year":"2006","unstructured":"Tsantalis, N., Chatzigeorgiou, A., Stephanides, G., Halkidis, S.T.: Design pattern detection using similarity scoring. IEEE Trans. Software Eng.\u00a032, 896\u2013909 (2006)","journal-title":"IEEE Trans. Software Eng."},{"key":"39_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/11568346_43","volume-title":"Perspectives in Conceptual Modeling","author":"R. Breu","year":"2005","unstructured":"Breu, R., Chimiak-Opoka, J.: Towards systematic model assessment. In: Akoka, J., Liddle, S.W., Song, I.-Y., Bertolotto, M., Comyn-Wattiau, I., van den Heuvel, W.-J., Kolp, M., Trujillo, J., Kop, C., Mayr, H.C. (eds.) ER Workshops 2005. LNCS, vol.\u00a03770, pp. 398\u2013409. Springer, Heidelberg (2005)"},{"key":"39_CR17","unstructured":"Liu, W., Easterbrook, S., Mylopoulos, J.: Rule-based detection of inconsistency in uml models. In: Workshop on Consistency Problems in UML-Based Software Development, Dresden, Germany, pp. 106\u2013123 (2002)"},{"key":"39_CR18","first-page":"53","volume":"6","author":"D.S. Kolovos","year":"2007","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A., Rose, L.M.: Update transformations in the small with the epsilon wizard language. Journal of Object Technology (JOT), Special Issue for TOOLS Europe\u00a06, 53\u201369 (2007)","journal-title":"Journal of Object Technology (JOT), Special Issue for TOOLS Europe"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:51:01Z","timestamp":1619524261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}