A generic model decomposition technique and its application to the Eclipse modeling framework-Reference-Cited by-同舟云学术

A generic model decomposition technique and its application to the Eclipse modeling framework

Published:2013-06-27 Issue:2 Volume:14 Page:921-952
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Ma Qin,Kelsen Pierre,Glodt Christian

Publisher

Springer Science and Business Media LLC

Subject

Modeling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-013-0348-2.pdf

Reference34 articles.

1. Democles tool. http://democles.lassy.uni.lu/

2. Alanen, M., Porres, I.: A metamodeling language supporting subset and union properties. Softw. Syst. Model. (SoSyM) 7(1), 103–124 (2008)

3. Amrani, M.: A formal semantics of Kermeta. In: Mernik, M. (eds.) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, chapter 10. Igi Global (2012)

4. Androutsopoulos, K., Clark, D., Harman, M., Hierons, R.M., Li, Z.: Amorphous slicing of extended finite state machines. IEEE Trans. Softw. Eng. 99, 1 (2012, preprints)

5. Bae, J.H., Lee, K.M., Chae, H.S.: Modularization of the UML metamodel using model slicing. In: Fifth International Conference on Information Technology: New Generations, pp. 1253–1254 (2008)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Leveraging the power of formal methods in the realm of enterprise modeling—On the example of extending the (meta) model verification possibilities of ADOxx with Alloy;Computers in Industry;2023-10

2. Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

3. Dandelion: A scalable, cloud-based graphical language workbench for industrial low-code development;Journal of Computer Languages;2023-08

4. Markup language model transformation with ATL;2023 15th International Conference on Electronics, Computers and Artificial Intelligence (ECAI);2023-06-29

5. Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view;Software and Systems Modeling;2022-10-18