Modeling and Aspect Weaving

Jezequel, Jean-Marc

doi:10.4230/DagSemProc.06351.8

Document

Modeling and Aspect Weaving

Author Jean-Marc Jezequel

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 6351
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-04-11

PDF

File

PDF

DagSemProc.06351.8.pdf

Filesize: 0.91 MB
15 pages

Document Identifiers

DOI: 10.4230/DagSemProc.06351.8
URN: urn:nbn:de:0030-drops-8641

Subject Classification

Keywords

Model Aspect Weaving MDE Kermeta

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

A model is a simplified representation of an aspect of the world for a
  specific purpose. Complex systems typically give rise to more than one model
  because many aspects are to be handled. For software systems, the design
  process can be characterized as a (partially automated) weaving of these
  aspects into a detailed design model. While verification is usually feasible
  on each of the aspects, it is seldom possible on the resulting detailed
  design because of the size explosion. Hence we need weaving processes that
  exhibit good composition properties from the point of view of verification.
  We present an example of such a weaving process for behavioral models
  represented as scenarios.

Cite As Get BibTex

Jean-Marc Jezequel. Modeling and Aspect Weaving. In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/DagSemProc.06351.8

Author Details

Jean-Marc Jezequel

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail