Skip to main content
SpringerLink
Log in

Component-Based System Integration Using Proper Augmented Marked Graphs

  • Conference paper
Intelligent Robotics and Applications (ICIRA 2014)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8917))

Included in the following conference series:

  • 3209 Accesses

Abstract

A key challenge in component-based system integration is to ensure the correctness of the integrated system in terms of liveness and boundedness, especially as there involve distributed components competing for some shared resources. This paper proposes a formal integration method for distributed component-based systems using proper augmented marked graphs. A subclass of Petri nets, proper augmented marked graphs possess a special structure for modelling systems with shared resources and desirable properties pertaining to liveness and boundedness. By composing a set of proper augmented marked graphs via common resource places, liveness and boundedness can be preserved under simple conditions. In this paper, based on the theory of proper augmented marked graphs, the modelling and integration of distributed component-based systems with shared resources are elaborated and illustrated.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Haskins, C. (ed.): INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities. International Council of System Engineering (2010)

    Google Scholar 

  2. Leavens, G.T., Sitaraman, M. (eds.): Foundations of Component-Based Systems. Cambridge University Press (2000)

    Google Scholar 

  3. Chu, F., Xie, X.: Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming. IEEE Transactions on robotics and Automation 13(5) (1997)

    Google Scholar 

  4. Cheung, K.S.: Augmented Marked Graphs. Informatica 32(1), 85–94 (2008)

    MATH  MathSciNet  Google Scholar 

  5. Cheung, K.S.: Augmented Marked Graphs. Springer (2014)

    Google Scholar 

  6. Cheung, K.S.: Proper Augmented Marked Graphs. In: Cheung, K.S. (ed.) Augmented Marked Graphs, pp. 55–66. Springer (2014)

    Google Scholar 

  7. Peterson, J.L.: Petri Net Theory and the Modeling of System. Prentice-Hall (1981)

    Google Scholar 

  8. Reisig, W.: Petri Nets: An Introduction. Springer (1985)

    Google Scholar 

  9. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4) (1989)

    Google Scholar 

  10. Cheung, K.S.: New Characterisation for Live and Reversible Augmented Marked Graphs. Information Processing Letters 92(5), 239–243 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  11. Cheung, K.S., Chow, K.O.: Cycle-Inclusion Property of Augmented Marked Graphs. Information Processing Letters 94(6), 271–276 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  12. Cheung, K.S.: Boundedness and Conservativeness of Augmented Marked Graphs. IMA Journal of Mathematical Control and Information 24(2), 235–244 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  13. Chen, C.L., Chin, S.C., Yen, H.C.: Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming. The Computer Journal 53(6), 623–633 (2009)

    Article  Google Scholar 

  14. Cheung, K.S., Chow, K.O.: Manufacturing System Design Using Augmented Marked Graph. In: Proceedings of the Chinese Control Conference, South China University of Technology, pp. 1209–1213 (2005)

    Google Scholar 

  15. Cheung, K.S.: Augmented Marked Graphs and the Analysis of Shared Resource Systems. In: Kordic, V. (ed.) Petri Net: Theory and Application, pp. 377–400. I-Tech Publishing (2008)

    Google Scholar 

  16. Dijkstra, E.W.: Cooperating Sequential Processes. In: Genuys, F. (ed.) Programming Languages, Academic Press, London (1965)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Open University of Hong Kong, Good Shepherd Street, Homantin, Kowloon, Hong Kong

    K. S. Cheung

Authors
  1. K. S. Cheung
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Mechanical and Automobile Engineering, South China University of Technology, Wushan Rd. 381, Tianhe District, 510641, Guangzhou, China

    Xianmin Zhang , Zhong Chen  & Nianfeng Wang ,  & 

  2. Group of Intelligent System and Biomedical Robotics, School of Creative Technologies, University of Portsmouth, Portsmouth, United Kingdom

    Honghai Liu

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Cheung, K.S. (2014). Component-Based System Integration Using Proper Augmented Marked Graphs. In: Zhang, X., Liu, H., Chen, Z., Wang, N. (eds) Intelligent Robotics and Applications. ICIRA 2014. Lecture Notes in Computer Science(), vol 8917. Springer, Cham. https://doi.org/10.1007/978-3-319-13966-1_49

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13966-1_49

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13965-4

  • Online ISBN: 978-3-319-13966-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation