Abstract
Modelling techniques are instruments for reality reflection. Precision of reality reflection demands coexistence of different abstraction types like objects and aspects in one model. Experiments with extension of modelling techniques aimed to accommodate combinations of objects and aspects in one specification have resulted in aspect-oriented extensions of many conventional modelling semantics. It was found that one of semantics called Protocol Modelling possess a very practical property of local reasoning on objects and aspects about behaviour of the whole model. In this paper the local reasoning property is defined in the reasoning logic and this property is demonstrated with a case study in the Protocol Modelling approach. Then the same case study is presented in aspect-oriented extensions of modelling approaches based on the semantics of contracts, sequence diagrams, workflows and state machines. The case study shows that the extensions of conventional semantics do not possess the local reasoning property. The semantic difference between Protocol Modelling and the listed modelling semantics is discussed and the useful semantic elements are recommended for new aspect-oriented languages and middleware.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Information and Computation 104(1), 2–34 (1993)
Amálio, N., Kelsen, P.: VCL, a Visual Language for Modelling Software Systems Formally. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.) Diagrams 2010. LNCS, vol. 6170, pp. 282–284. Springer, Heidelberg (2010)
Baniassad, E., Clarke, S.: Theme: An Approach for Aspect-Oriented Analysis and Design. In: Proceedings of the 26th International Conference on Software Engineering, ICSE 2004, pp. 158–167. IEEE (2004)
Ciraci, S., Havinga, W.K., Akşit, M., Bockisch, C.M., van den Broek, P.M.: A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models. Technical Report TR-CTIT-09-39, Enschede (September 2009)
Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design: The Theme Approach. Addison Wesley (2005)
Ebert, J., Engels, G.: Observable or invocable behaviour-you have to choose. Technical report. Universität Koblenz, Koblenz, Germany (1994)
Filman, R., Elrad, T., Clarke, S., Akşit, M.: Aspect-Oriented Software Development. Addison-Wesley (2004)
Harel, D., Gery, E.: Executable Object Modelling with Statecharts. IEEE Computer 30(7), 31–42 (1997)
Hoare, C.: Communicating Sequential Processes. Prentice-Hall International (1985)
Hölzl, M.M., Knapp, A., Zhang, G.: Modeling the Car Crash Crisis Management System Using HiLA. T. Aspect-Oriented Software Development 7, 234–271 (2010)
Kienzle, J., Al Abed, W., Klein, J.: Aspect-oriented Multi-view Modeling. In: Proceedings of the International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, pp. 87–98 (2009)
Katz, S.: Aspect Categories and Classes of Temporal Properties. In: Rashid, A., Aksit, M. (eds.) Transactions on AOSD I. LNCS, vol. 3880, pp. 106–134. Springer, Heidelberg (2006)
Mahoney, M., Bader, A., Elrad, T., Aldawud, O.: Using Aspects to Abstract and Modularize Statecharts. In: The 5th Aspect-Oriented Modeling Workshop in Conjunction with UML 2004 (2004)
McNeile, A., Roubtsova, E.: CSP parallel composition of aspect models. In: AOM 2008: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, pp. 13–18 (2008)
McNeile, A., Simons, N.: http://www.metamaxim.com/
McNeile, A., Simons, N.: State Machines as Mixins. Journal of Object Technology 2(6), 85–101 (2003)
McNeile, A., Simons, N.: Protocol Modelling. A Modelling Approach that Supports Reusable Behavioural Abstractions. Software and System Modeling 5(1), 91–107 (2006)
Meyer, B.: Object-Oriented Software Construction. Prentice Hall (1997)
Mosser, S., Blay-Fornarino, M., France, R.: Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE. T. Aspect-Oriented Software Development 7, 200–233 (2010)
OMG. Unified Modeling Language: Superstructure version 2.1.1 formal/2007-02-03 (2003)
Pnueli, A.: The temporal logic of programs. In: Proc. 18th IEEE Symp. Foundations of Computer Csience (FOCS 1977), Providence, RI, USA, pp. 46–57 (1977)
Roubtsova, E., McNeile, A.: Abstractions, Composition and Reasoning. In: AOM 2009: Proceedings of the 13th Workshop on Aspect-Oriented Modeling, Charlottesville, Virginia, USA (2009)
Stein, D., Hanenberg, S., Unland, R.: Visualizing Join Point Selections Using Interaction-Based vs. State-Based Notations Exemplified With Help of Business Rules. In: EMISA 2005, pp. 94–107 (2005)
Zhang, G., Hölzl, M.: HiLA: High-Level Aspects for UML State Machines. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 104–118. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roubtsova, E. (2012). Reasoning on Models Combining Objects and Aspects. In: Shishkov, B. (eds) Business Modeling and Software Design. BMSD 2011. Lecture Notes in Business Information Processing, vol 109. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29788-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-29788-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29787-8
Online ISBN: 978-3-642-29788-5
eBook Packages: Computer ScienceComputer Science (R0)