skip to main content
10.1145/2020723.2020724acmotherconferencesArticle/Chapter ViewAbstractPublication PagesinternetwareConference Proceedingsconference-collections
research-article

A framework for the integration of MOF-compliant analysis methods

Published: 03 November 2010 Publication History

Abstract

With the increasing maturity of model-driven tools and methods, new model-based analysis methods are developed to support specific stakeholder concerns during software lifecycle. This multiplication of models and their related analysis tools calls for solution addressing the integration of MOF-based analysis methods. Current research works on integration of analysis methods have already addressed the extraction of the needed input data as well as the control and the integration of the tools supporting the analysis execution. However, little attention has been paid to the integration of analysis results back into initial model. We propose a MOF-based framework enabling the integration of analysis results that a) defines a meta-model capturing the integration requirements, b) provides a MOF meta-model extension mechanism with support for upward compatibility; and c) automatically generates a model transformation for model integration. We illustrate the use of our framework by integrating a reliability analysis methods and a fault tolerant reconfiguration method on the ABC/ADL Software Architecture. We applied the resulting analysis composition onto the ECPerf JEE system.

References

[1]
Mei H, Chen F, Feng YD, and Yang J. Abc: An Architecture Based, Component Oriented Approach to Software Development. Journal of Software, 14(4):721--732
[2]
Object Management Group. Meta Object Facility (MOF) Specification. Technical report, Object Management Group (OMG), April 2002. http://www.omg.org/docs/formal/02-04-03.pdf.
[3]
Yacoub S, Cukic B, Ammar H. Scenario-Based Reliability Analysis of Component-Based Software. Proceedings of the 10th International Symposium on Software Reliability Engineering. 1999.
[4]
Li JG, Chen XP, Huang G, Mei, H and Chauvel, F. Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support. Proceedings of the 12th International Symposium on Component-Based Software Engineering. 2009: 69--86
[5]
Eclipse Modeling Framework Project. EMF project Web site: http://www.eclipse.org/modeling/emf/.
[6]
ECperf Home Page. ECperf http://www.spec.org/jAppServer2001/docs/DesignDocument.htm1#S11/
[7]
Epifani I, Ghezzi C, Mirandola R and Tamburrelli G. Model evolution by run-time parameter adaptation. Proceedings of the 2009 IEEE 31st International Conference on Software Engineering. IEEE Computer Society Washington, DC, USA, 2009:111--121
[8]
Malavolta I, Muccini H, Pelliccione P, Tamburri DA. Providing architectural languages and tools interoperability through model transformation technologies. IEEE Transactions on Software Engineering. 2009, 36(1): 119--140.
[9]
Edwards G. and Medvidovic N. A methodology and framework for creating domain-specific development infrastructures. Proceedings of the 23rd IEEE ACM International Conference on Automated Software Engineering. 2008: 168--177
[10]
L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice, 2nd ed. Addison-Wesley, 2003.
[11]
Dai L and Cooper K. Modeling and Analysis of Non-functional Requirements as Aspects in a UML Based Software Architecture Design. Proc. 6th Int'l Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing and 1st ACIS Int'l Workshop on Self-Assembling Wireless Network (SNPD/SAWN'05), 2005.
[12]
Medvidovic N, Grünbacher P, Egyed A, Boehm BW. Bridging models across the software lifecycle. Journal of Systems and Software, 2003, 68(3):199--215.
[13]
Jouault F and Kurtev I, Transforming Models with ATL, Proceedings of Model Transformations in Practice Workshop (MTIP), MoDELS Conference, 2005, 128--138
[14]
Gang Huang, Hui Song, Hong Mei. SM@RT: Applying Architecture-Based Runtime Management into Internetware Systems. International Journal of Software and Informatics, 2009, 3(4):439--464
[15]
Medvidovic N and Taylor RN. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70--93, 2000.
[16]
Douglas C. Schmidt. Guest Editor's Introduction: Model-Driven Engineering. Computer, vol. 39, no. 2, pp. 25--31, Feb. 2006,
[17]
Elrad T, Aldawud O and Bader A. Aspect-oriented modeling: Bridging the gap between implementation and design. ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering 2002: 189--201.
[18]
J Bézivin, S Bouzitouna, M Del Fabro, MP Gervais, F Jouault, D Kolovos, I Kurtev and R Paige. A canonical scheme for model composition. Second European Conference on Model Driven Architecture -- Foundations and Applications. 2006: 346--360

Cited By

View all
  • (2022)Research on internetware: Review and prospectChinese Science Bulletin10.1360/TB-2022-058567:32(3782-3792)Online publication date: 21-Jul-2022

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
Internetware '10: Proceedings of the Second Asia-Pacific Symposium on Internetware
November 2010
159 pages
ISBN:9781450306942
DOI:10.1145/2020723
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • Nanjing University of Aeronautics and Astronautics
  • CCF: China Computer Federation

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 November 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. MOF-compliant
  2. integration
  3. model-based analysis method

Qualifiers

  • Research-article

Funding Sources

Conference

Internetware 2010
Sponsor:
  • CCF

Acceptance Rates

Overall Acceptance Rate 55 of 111 submissions, 50%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)1
Reflects downloads up to 28 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Research on internetware: Review and prospectChinese Science Bulletin10.1360/TB-2022-058567:32(3782-3792)Online publication date: 21-Jul-2022

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media