Cited By
View all- Mei HHuang GLiu XZhang Y(2022)Research on internetware: Review and prospectChinese Science Bulletin10.1360/TB-2022-058567:32(3782-3792)Online publication date: 21-Jul-2022
A framework for the integration of MOF-compliant analysis methods
Article No.: 1, Pages 1 - 10
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
Index Terms
- A framework for the integration of MOF-compliant analysis methods
Recommendations
An algebraic semantics for MOF
AbstractIn model-driven development, software artifacts are represented as models in order to improve productivity, quality, and cost effectiveness. In this area, the meta-object facility (MOF) standard plays a crucial role as a generic framework within ...
Mapping visual notations to MOF compliant models with QVT relations
SAC '07: Proceedings of the 2007 ACM symposium on Applied computingModel-centric methodologies rely on the definition of domain-specific modeling languages for being able to create domain-specific models. With MOF the OMG adopted a standard which provides the essential constructs for the definition of semantic language ...
MOF to EMF: there and back again
eclipse '03: Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchangeThe OMG's Meta-Object Facility (MOF) and the open source Eclipse Modelling Framework (EMF) are two popular meta-modelling frameworks, created to meet similar (but not identical) requirements. A means of translating MOF to EMF and vice versa is required ...
Comments
Information & Contributors
Information
Published In
November 2010
159 pages
ISBN:9781450306942
DOI:10.1145/2020723
- Conference Chairs:
- Hong Mei,
- Jian Lv,
- Program Chairs:
- Xuandong Li,
- Zhi Jin
Copyright © 2010 ACM.
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
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
Internetware 2010
Sponsor:
- CCF
Internetware 2010: The Second Asia-Pacific Symposium on Internetware
November 3 - 4, 2010
Suzhou, China
Acceptance Rates
Overall Acceptance Rate 55 of 111 submissions, 50%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 102Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)1
Reflects downloads up to 28 Feb 2025
Other Metrics
Citations
Cited By
View all- Mei HHuang GLiu XZhang Y(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
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in