{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:10Z","timestamp":1763467990623,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161285"},{"type":"electronic","value":"9783642161292"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16129-2_27","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T10:22:43Z","timestamp":1285150963000},"page":"376-390","source":"Crossref","is-referenced-by-count":11,"title":["Monarch: Model-Based Development of Software Architectures"],"prefix":"10.1007","author":[{"given":"Hamid","family":"Bagheri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Sullivan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"MetaEdit+, http:\/\/www.metacase.com\/"},{"key":"27_CR2","unstructured":"Monarch tool suite, http:\/\/www.cs.virginia.edu\/~hb2j\/Downloads\/Monarch-ToolSuite.zip"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Ambriola, V., Kmiecik, A.: Architectural transformations. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, pp. 275\u2013278 (2002)","DOI":"10.1145\/568760.568809"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Bagheri, H., Song, Y., Sullivan, K.: Architectural style as an independent variable. In: Proceedings of the 25th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2010) (2010)","DOI":"10.1145\/1858996.1859026"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Bagheri, H., Sullivan, K.: Architecture as an independent variable for Aspect-Oriented application descriptions. In: Abstract State Machines, Alloy, B and Z (ABZ 2010) (2010)","DOI":"10.1007\/978-3-642-11811-1_32"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Var\u0155o, D.: Style-based modeling and refinement of service-oriented architectures. Software and Systems Modeling\u00a05(2), 187\u2013207 (2006)","DOI":"10.1007\/s10270-006-0001-4"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11581741_10","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"27_CR8","unstructured":"Clark, T., Evans, A., Kent, S., Sammut, P.: The MMF approach to engineering Object-Oriented design languages. In: Workshop on Language Descriptions, Tools and Applications (2001)"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"DeLine, R.: Avoiding packaging mismatch with flexible packaging. In: Proceedings of the 21st International Conference on Software Engineering, pp. 97\u2013106 (1999)","DOI":"10.1145\/302405.302456"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Demirezen, Z., Mernik, M., Gray, J., Bryant, B.: Verification of DSMLs using graph transformation. In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation. ACM International Conference Proceeding Series, vol.\u00a0413, pp. 1\u201310 (2009)","DOI":"10.1145\/1656485.1656488"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11966104_7","volume-title":"Software Architecture","author":"A. Garcia","year":"2006","unstructured":"Garcia, A., Chavez, C., Batista, T., Santanna, C., Kulesza, U., Rashid, A., Lucena, C.: On the modular representation of architectural aspects. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, pp. 82\u201397. Springer, Heidelberg (2006)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Garlan, D., Barnes, J.M., Schmerl, B., Celiku, O.: Evolution styles: Foundations and tool support for software architecture evolution. In: Joint 8th Working International Conference on Software Architecture and 3rd European Conference on Software Architecture, Cambridge, UK (September 2009)","DOI":"10.1109\/WICSA.2009.5290799"},{"key":"27_CR13","first-page":"47","volume-title":"Foundations of Component-based Systems","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: architectural description of component-based systems. In: Foundations of Component-based Systems, pp. 47\u201367. Cambridge University Press, Cambridge (2000)"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Georgiadis, I., Magee, J., Kramer, J.: Self-organising software architectures for distributed systems. In: Proceedings of the First Workshop on Self-healing Systems, pp. 33\u201338 (2002)","DOI":"10.1145\/582128.582135"},{"issue":"2","key":"27_CR15","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"27_CR16","unstructured":"Jackson, E.K., Schulte, W., Sztipanovits, J.: The power of rich syntax for model-based development - microsoft research (2008), http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=77374"},{"key":"27_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-540-87875-9_48","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Kelsen","year":"2008","unstructured":"Kelsen, P., Ma, Q.: A lightweight approach for defining the formal semantics of a modeling language. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 690\u2013704. Springer, Heidelberg (2008)"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Kim, J.S., Garlan, D.: Analyzing architectural styles with alloy. In: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA 2006), Portland, ME, USA, pp. 70\u201380 (July 2006)","DOI":"10.1145\/1147249.1147259"},{"issue":"11","key":"27_CR19","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/2.963443","volume":"34","author":"A. L\u00e9deczi","year":"2001","unstructured":"L\u00e9deczi, A., Bakay, A., Mar\u00f3ti, M., V\u00f6lgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific design environments. Computer\u00a034(11), 44\u201351 (2001)","journal-title":"Computer"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Malek, S.: Effective realization of software architectural styles with aspects. In: Proceedings of the Seventh Working IEEE\/IFIP Conference on Software Architecture (WICSA 2008), pp. 313\u2013316 (2008)","DOI":"10.1109\/WICSA.2008.43"},{"issue":"1","key":"27_CR21","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"27_CR22","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/302405.302406","volume-title":"Proceedings of the 21st International Conference on Software Engineering","author":"E.D. Nitto","year":"1999","unstructured":"Nitto, E.D., Rosenblum, D.: Exploiting ADLs to specify architectural styles induced by middleware infrastructures. In: Proceedings of the 21st International Conference on Software Engineering, Los Angeles, California, United States, pp. 13\u201322. ACM, New York (1999)"},{"key":"27_CR23","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"27_CR24","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595754","volume-title":"Software Architecture: Foundations, Theory, and Practice","author":"R.N. Taylor","year":"2009","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.: Software Architecture: Foundations, Theory, and Practice. Wiley, Chichester (2009)"},{"key":"27_CR25","unstructured":"Torlak, E.: A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. PhD thesis, MIT (February 2009)"},{"key":"27_CR26","doi-asserted-by":"crossref","unstructured":"Warren, I., Sun, J., Krishnamohan, S., Weerasinghe, T.: An automated formal approach to managing dynamic reconfiguration. In: Proceedings of the 21st IEEE\/ACM International Conference on Automated Software Engineering, pp. 37\u201346 (2006)","DOI":"10.1109\/ASE.2006.12"},{"issue":"6","key":"27_CR27","first-page":"11","volume":"2007","author":"J. White","year":"2007","unstructured":"White, J., Schmidt, D.C., Nechypurenko, A., Wuchner, E.: Introduction to the generic eclipse modelling system. Eclipse Magazine\u00a02007(6), 11\u201318 (2007)","journal-title":"Eclipse Magazine"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16129-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T11:54:56Z","timestamp":1636545296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16129-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161285","9783642161292"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16129-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}