Skip to main content

MDA Approach for Non-functional Characteristics of Cyber Physical Systems Based on Aspect-Oriented Method

  • Conference paper
Advances in Computer Science, Environment, Ecoinformatics, and Education (CSEE 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 215))

Abstract

In this paper, we propose an aspect-oriented MDA approach for non-functional properties to develop cyber physical systems. An aspect-oriented UML profile is built to develop cyber physical systems. Aspect-oriented UML models are designed as Platform Independent Models (PIM) for target-platform implementation, which deal with non-functional properties. OCL formal language is used to restrict the model in every stages of MDA, and the real-time extension of OCL formal language is made to describe the timing constraints of cyber physical systems. Finally, the model- based development and aspect-oriented approach, the formal methods and the cyber physical system are integrated effectively. A case study illustrates the aspect oriented MDA development of cyber physical systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Object Management Group.OMG MDA guide v1.0.1 (EB/OL), http://www.omg.org/docs/omg/03-06-01.pdf

  2. Wehrmeister, M.A., Freitas, E.P., Pereira, C.E., et al.: An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Santorini Island, Greece, May 7-9, pp. 428–432. IEEE Computer Society, Los Alamitos (2007)

    Chapter  Google Scholar 

  3. Liu, J., Zhong, Y., Zhang, L., Chen, Y.: Applying AOP and MDA to middleware-based distributed real-time embedded systems software process. In: 2009 Asia-Pacific Conference on Information Processing, APCIP 2009, pp. 270–273 (2009)

    Google Scholar 

  4. Liming, Z., Gorton, I.: UML Profiles for Design Decisions and Non-Functional Requirements. In: Second Workshop on Sharing and Reusing Architectural Knowledge - Architecture, Rationale, and Design Intent, May 20-26, pp. 8–9 (2007)

    Google Scholar 

  5. Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. OMG Press

    Google Scholar 

  6. Ranjini, K., Kanthimath, A., Yasmine, Y.: Design of Adaptive Road Traffic Control System through Unified Modeling Language. International Journal of Computer Applications 14(7) (February 2001)

    Google Scholar 

  7. Clemente, P.J., Sánchez, F., Perez, M.A.: Modelling with UML Component-based and Aspect Oriented Programming Systems. In: Seventh International Workshop on Component-Oriented Programming at European Conference on Object Oriented Programming (ECOOP), Málaga, Spain, pp. 1–7 (2002)

    Google Scholar 

  8. Madl, G., Abdelwahed, S.: Model-based Analysis of Distributed Real time Embedded System Composition. In: Proceedings of the 5th ACM International Conference on Embedded Software, New Jersey, USA (2005)

    Google Scholar 

  9. Weis, T., Becker, C., Geihs, K., Plouzeau, N.: A UML Meta-model for Contract Aware Components. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 442. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  10. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Version 1.0.OMG Document Number:formal (November 02, 2009), Standard document, http://www.omg.org/spec/MARTE/1.0

  11. Lavazza, G.Q., Venturelli, M.: Combining UML and formal notations for modeling real-time systems. ACM SIG.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, L. (2011). MDA Approach for Non-functional Characteristics of Cyber Physical Systems Based on Aspect-Oriented Method. In: Lin, S., Huang, X. (eds) Advances in Computer Science, Environment, Ecoinformatics, and Education. CSEE 2011. Communications in Computer and Information Science, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23324-1_52

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23324-1_52

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23323-4

  • Online ISBN: 978-3-642-23324-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics