More Web Proxy on the site http://driver.im/

Article

Monarch: model-based development of software architectures

Authors:

Kevin SullivanAuthors Info & Claims

MODELS'10: Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II

Pages 376 - 390

Published: 03 October 2010 Publication History

Abstract

In recent work we showed that it is possible to separate, and combine formal representations of, application properties and architectural styles, respectively. We do this by defining style-specific mappings from style-independent application models to architectural models in given styles. This paper shows that this separation of concerns supports a model-based development and tools approach to architectural-style-independent application modeling, and architecture synthesis with style as a separate design variable. In support of these claims, we present a proof-of-concept tool, Monarch, and illustrate its use.

References

[1]

MetaEdit+, http://www.metacase.com/

[2]

Monarch tool suite, http://www.cs.virginia.edu/~hb2j/Downloads/Monarch-ToolSuite.zip

[3]

Ambriola, V., Kmiecik, A.: Architectural transformations. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, pp. 275-278 (2002).

Digital Library

[4]

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).

Digital Library

[5]

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).

Digital Library

[6]

Baresi, L., Heckel, R., Thöne, S., Varro, D.: Style-based modeling and refinement of service-oriented architectures. Software and Systems Modeling 5(2), 187-207 (2006).

[7]

Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 115-129. Springer, Heidelberg (2005).

Digital Library

[8]

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).

[9]

DeLine, R.: Avoiding packaging mismatch with flexible packaging. In: Proceedings of the 21st International Conference on Software Engineering, pp. 97-106 (1999).

Digital Library

[10]

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. 413, pp. 1-10 (2009).

Digital Library

[11]

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. 4344, pp. 82-97. Springer, Heidelberg (2006).

Digital Library

[12]

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).

[13]

Garlan, D., Monroe, R.T., Wile, D.: Acme: architectural description of component-based systems. In: Foundations of Component-based Systems, pp. 47-67. Cambridge University Press, Cambridge (2000).

Digital Library

[14]

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-38 (2002).

Digital Library

[15]

Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11(2), 256-290 (2002).

Digital Library

[16]

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

[17]

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ölter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 690-704. Springer, Heidelberg (2008).

Digital Library

[18]

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-80 (July 2006).

Digital Library

[19]

Lédeczi, A., Bakay, A., Maróti, M., Völgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific design environments. Computer 34(11), 44-51 (2001).

Digital Library

[20]

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-316 (2008).

Digital Library

[21]

Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26(1), 70-93 (2000).

Digital Library

[22]

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-22. ACM, New York (1999).

Digital Library

[23]

Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996).

Digital Library

[24]

Taylor, R.N., Medvidovic, N., Dashofy, E.: Software Architecture: Foundations, Theory, and Practice. Wiley, Chichester (2009).

Digital Library

[25]

Torlak, E.: A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. PhD thesis, MIT (February 2009).

Digital Library

[26]

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-46 (2006).

Digital Library

[27]

White, J., Schmidt, D.C., Nechypurenko, A., Wuchner, E.: Introduction to the generic eclipse modelling system. Eclipse Magazine 2007(6), 11-18 (2007).

Cited By

Bagheri HTang CSullivan K(2017)Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational MappingIEEE Transactions on Software Engineering10.1109/TSE.2016.258764643:2(145-163)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1109/TSE.2016.2587646
Maoz SPomerantz NRingert JShalom RBatory D(2017)Why is my component and connector views specification unsatisfiable?Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS.2017.26(134-144)Online publication date: 17-Sep-2017
https://dl.acm.org/doi/10.1109/MODELS.2017.26
Bagheri HMalek SZimmermann TCleland-Huang JSu Z(2016)Titanium: efficient analysis of evolving alloy specificationsProceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2950290.2950337(27-38)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1145/2950290.2950337
Show More Cited By

Monarch: model-based development of software architectures
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures

Recommendations

Monarch: Google's planet-scale in-memory time series database

Monarch is a globally-distributed in-memory time series database system in Google. Monarch runs as a multi-tenant service and is used mostly to monitor the availability, correctness, performance, load, and other aspects of billion-user-scale ...
Monarch: a tool to emulate transport protocol flowsover the internet at large
IMC '06: Proceedings of the 6th ACM SIGCOMM conference on Internet measurement

This paper proposes Monarch, a novel tool that accurately emulates transport protocol flows from an end host controlled by its user to any other Internet host that responds to simple TCP, UDP, or ICMP packet probes. Since many Internet hosts and routers ...
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator
HASE '11: Proceedings of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering

JVM-based processors used in embedded systems are often scaled back versions of the standard JVM which do not support the full set of Java byte codes and native methods assumed by a JVM. As a result, code bases such as Java libraries must be migrated in ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

MODELS'10: Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II

October 2010

419 pages

ISBN:3642161286

Editors:
Dorina C. Petriu
Carleton University, Department of Systems and Computer Engineering, Ottawa, Ontario, Canada
,
Nicolas Rouquette
Flight Software Systems Engineering and Architecture Group, Pasadena, CA
,
Øystein Haugen
SINTEF IKT, Oslo, Norway

Sponsors

IEEE
SIGSOFT: ACM Special Interest Group on Software Engineering
SINTEF
Department of Informatics, University of Oslo
IFI: IFI

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 03 October 2010

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bagheri HTang CSullivan K(2017)Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational MappingIEEE Transactions on Software Engineering10.1109/TSE.2016.258764643:2(145-163)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1109/TSE.2016.2587646
Maoz SPomerantz NRingert JShalom RBatory D(2017)Why is my component and connector views specification unsatisfiable?Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS.2017.26(134-144)Online publication date: 17-Sep-2017
https://dl.acm.org/doi/10.1109/MODELS.2017.26
Bagheri HMalek SZimmermann TCleland-Huang JSu Z(2016)Titanium: efficient analysis of evolving alloy specificationsProceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2950290.2950337(27-38)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1145/2950290.2950337
Ozkaya MKloukinas CSeinturier LAlmeida ECarlson J(2014)Design-by-contract for reusable components and realizable architecturesProceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering10.1145/2602458.2602463(129-138)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1145/2602458.2602463
Bagheri HTang CSullivan KJalote PBriand LHoek A(2014)TradeMaker: automated dynamic analysis of synthesized tradespacesProceedings of the 36th International Conference on Software Engineering10.1145/2568225.2568291(106-116)Online publication date: 31-May-2014
https://dl.acm.org/doi/10.1145/2568225.2568291
Bagheri HSullivan KNotkin DCheng BPohl K(2013)Bottom-up model-driven developmentProceedings of the 2013 International Conference on Software Engineering10.5555/2486788.2486968(1221-1224)Online publication date: 18-May-2013
https://dl.acm.org/doi/10.5555/2486788.2486968
Maoz SRingert JRumpe BMeyer BBaresi LMezini M(2013)Synthesis of component and connector models from crosscutting structural viewsProceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering10.1145/2491411.2491414(444-454)Online publication date: 18-Aug-2013
https://dl.acm.org/doi/10.1145/2491411.2491414
Bagheri HTaylor RGall HMedvidović N(2011)A formal approach to software synthesis for architectural platformsProceedings of the 33rd International Conference on Software Engineering10.1145/1985793.1986023(1143-1145)Online publication date: 21-May-2011
https://dl.acm.org/doi/10.1145/1985793.1986023

View Options

View options

Media

Figures

Other

Tables

View Table of Contents