Skip to main content
SpringerLink
Log in
Book cover

International Conference on Formal Aspects of Component Software

FACS 2014: Formal Aspects of Component Software pp 346–363Cite as

Place-Liveness of ComSA Applications

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8997))

Abstract

Interactive scientific visualization applications are based on heterogeneous codes to implement simulation, visualization and interaction parts. These different parts need to be precisely assembled to construct high performance applications allowing efficient interactions. Thanks to their programming paradigm, component-based approaches are suitable to construct this kind of applications. However, building a correct application using this paradigm is a difficult task. Even starting up such an application may be a difficult problem since the composition may lead to deadlocks. This paper defines a sufficient condition that ensures place-liveness of a subclass of FIFO nets. This result is used to provide tools that help a user to analyze his application. Especially, this analysis aims at avoiding deadlocks and starting the application up in a way that ensures its liveness i.e. all its components are active.

This work was supported by the French Agency for Research (Grant “ExaViz”, ANR-11-MONU-003).

This is a preview of subscription content, 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 EPUB and 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

Learn about institutional subscriptions

References

  1. Allard, J., Gouranton, V., Lecointre, L., Limet, S., Melin, E., Raffin, B., Robert, S.: FlowVR: a middleware for large scale virtual reality applications. In: Danelutto, M., Vanneschi, M., Laforenza, D. (eds.) Euro-Par 2004. LNCS, vol. 3149, pp. 497–505. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  2. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  3. Attie, P.C., Bensalem, S., Bozga, M., Jaber, M., Sifakis, J., Zaraket, F.A.: An abstract framework for deadlock prevention in BIP. In: Beyer, D., Boreale, M. (eds.) FORTE/FMOODS 2013. LNCS, vol. 7892, pp. 161–177. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  4. Bastide, R., Barboni, E.: Software components: a formal semantics based on coloured Petri nets. ENTCS 160(0), 57–73 (2006)

    Google Scholar 

  5. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, New York (1995)

    Book  MATH  Google Scholar 

  6. Dreher, M., Piuzzi, M., Turki, A., Chavent, M., Baaden, M., Férey, N., Limet, S., Raffin, B., Robert, S.: Interactive molecular dynamics: scaling up to large systems. In: ICCS. Procedia Computer Science, vol. 18, pp. 20–29. Elsevier (2013)

    Google Scholar 

  7. Finkel, A., Memmi, G.: FIFO nets: a new model of parallel computation. In: Cremers, A.B., Kriegel, H.-P. (eds.) Theoretical Computer Science. LNCS, vol. 145, pp. 111–121. Springer, Heidelberg (1982)

    Chapter  Google Scholar 

  8. Goodale, T., Allen, G., Lanfermann, G., Massó, J., Radke, T., Seidel, E., Shalf, J.: The cactus framework and toolkit: design and applications. In: Palma, J.M.L.M., Sousa, A.A., Dongarra, J., Hernández, V. (eds.) VECPAR 2002. LNCS, vol. 2565, pp. 197–227. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Berlin (2009)

    Book  Google Scholar 

  10. Jiao, L., Cheung, T.Y., Lu, W.: On liveness and boundedness of asymmetric choice nets. Theor. Comput. Sci. 311(1–3), 165–197 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  11. Lau, K.K., Safie, L., Stepan, P., Tran, C. M.: A component model that is both control-driven and data-driven. In: CBSE, pp. 41–50 (2011)

    Google Scholar 

  12. Limet, S., Robert, S., Turki, A.: Controlling an iteration-wise coherence in dataflow. In: Arbab, F., Ölveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 241–258. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  13. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  14. Oanea, O., Wimmel, H., Wolf, K.: New algorithms for deciding the siphon-trap property. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 267–286. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  15. Sörensson, N., Een, N.: Open-source SAT solver (2008). http://minisat.se/

  16. Yu, Y., Li, T., Liu, Q., Dai, F.: Approach to modeling components in software architecture. JSW 6(11), 2196–2200 (2011)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Orléans, INSA Centre Val de Loire, LIFO, EA 4022, 45067, Orléans, France

    Abderrahim Ait Wakrime, Sébastien Limet & Sophie Robert

Authors
  1. Abderrahim Ait Wakrime
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sébastien Limet
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sophie Robert
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abderrahim Ait Wakrime .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, University of bologna, Bologna, Italy and Inria Sophia Antipolis - Méditerranée, Sophia Antipolis, France

    Ivan Lanese

  2. Inria Sophia Antipolis - Méditerranée, Sophia Antipolis, France

    Eric Madelaine

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Ait Wakrime, A., Limet, S., Robert, S. (2015). Place-Liveness of ComSA Applications. In: Lanese, I., Madelaine, E. (eds) Formal Aspects of Component Software. FACS 2014. Lecture Notes in Computer Science(), vol 8997. Springer, Cham. https://doi.org/10.1007/978-3-319-15317-9_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-15317-9_21

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-15316-2

  • Online ISBN: 978-3-319-15317-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation