An Attribute-based Approach to the Analysis of Model Characteristics

Christian Saad, Florian Lautenbacher, Bernhard Bauer

Abstract

Modeling languages provide a powerful technique for describing domain specific concepts and their relationships. Since the syntactical structure is determined by a meta-model, expressions can be defined on the meta layer and evaluated for arbitrary instances. Currently, meta-modeling standards lack an easy way for defining rules capable of dynamically examining the behavior of a model. In this paper we discuss a new approach that links meta-modeling with wellunderstood methods from the field of compiler construction in order to express semantic constraints and perform data-flow calculations on model instances. We show how our approach can be used to analyze and validate business processes and specify further use cases like e.g. the calculation of model metrics.

References

  1. Kent, S.: Model Driven Engineering. In: Proceedings of the Third International Conference Integrated Formal Methods (IFM'2002). (2002)
  2. Object Management Group: Object Constraint Language. Specification Version 2.0 (Mai 2006)
  3. Knuth, D.E.: Semantics of Context-Free Languages. Theory of Computing Systems, 2 (2) (June 1968) 127-145
  4. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, Principles, Techniques, and Tools. AddisonWesley (1986)
  5. Allen, F.E.: Control flow analysis. SIGPLAN Not., 5 (7) (1970) 1-19
  6. Object Management Group: Meta-Object Facility. Specification Version 2.0 (January 2006)
  7. Wimmer, M., Kramler, G.: Bridging Grammarware and Modelware. In: MoDELS Satellite Events. Volume 3844 of Lecture Notes in Computer Science., Springer (2005) 159-168
  8. Wilhelm, R., Maurer, D.: Compiler Design. Addison-Wesley (1995) Second Printing.
  9. The Eclipse Foundation: Eclipse Java Workflow Tooling (JWT), http://www.eclipse.org/jwt/
  10. Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson (2003)
  11. Chidamber, S.R., Kemerer, C.F.: Towards a Metrics Suite for Object Oriented Design. SIGPLAN Not., 26 (11) (1991) 197-211
  12. Ambler, S.W.: The Elements of UML 2.0 Style. Cambridge University Press (2005)
  13. Dehayni, M., FĂ©raud, L.: An Approach of Model Transformation Based on Attribute Grammars. In: 9th International Conference on Object Oriented Information Systems (OOIS). Volume 2817 of Lecture Notes in Computer Science. (2003) 412-423
  14. Atan, R., Ghani, A.A.A., Selamat, M.H., Mahmod, R.: Software Process Modelling using Attribute Grammar. International Journal of Computer Science and Network Security (IJCSNS), 7(8) (August 2007) 273-281
  15. Alanen, M., Porres, I.: A Relation between Context-Free Grammars and Meta Object Facility Metamodels. Technical report, TUCS (2004)
  16. Gogolla, M., Richters, M.: Validation of UML and OCL Models by Automatic Snapshot Generation. In: Proceedings of the 6th Int. Conf. Unified Modeling Language, Springer (2003) 265-279
  17. Garousi, V., Bri, L., Labiche, Y.: Control Flow Analysis of UML 2.0 Sequence Diagrams. (2005)
  18. Magnusson, E., Hedin, G.: Circular Reference Attributed Grammars - Their Evaluation and Applications. ENTCS, 82 (3) (2003)
  19. Nilsson-Nyman, E., Ekman, T., Hedin, G., Magnusson, E.: Declarative Intraprocedural Flow Analysis of Java Source Code. In: Proceedings of LDTA 2008. (2008)
Download


Paper Citation


in Harvard Style

Saad C., Lautenbacher F. and Bauer B. (2009). An Attribute-based Approach to the Analysis of Model Characteristics . In Proceedings of the 1st International Workshop on Future Trends of Model-Driven Development - Volume 1: FTMDD, (ICEIS 2009) ISBN 978-989-8111-95-1, pages 13-22. DOI: 10.5220/0002196200130022


in Bibtex Style

@conference{ftmdd09,
author={Christian Saad and Florian Lautenbacher and Bernhard Bauer},
title={An Attribute-based Approach to the Analysis of Model Characteristics},
booktitle={Proceedings of the 1st International Workshop on Future Trends of Model-Driven Development - Volume 1: FTMDD, (ICEIS 2009)},
year={2009},
pages={13-22},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002196200130022},
isbn={978-989-8111-95-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Workshop on Future Trends of Model-Driven Development - Volume 1: FTMDD, (ICEIS 2009)
TI - An Attribute-based Approach to the Analysis of Model Characteristics
SN - 978-989-8111-95-1
AU - Saad C.
AU - Lautenbacher F.
AU - Bauer B.
PY - 2009
SP - 13
EP - 22
DO - 10.5220/0002196200130022