References

  1. J.-R. Abrial (1996): The B Book - Assigning Programs to Meanings. Cambridge University Press, doi:10.1017/CBO9780511624162.
  2. N. Aguirre & T. Maibaum (2002): A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. Automated Software Engineering, doi:10.1109/ASE.2002.1115028.
  3. J. Aldric (2008): Using Types to Enforce Architectural Structure. In: WICSA'08, pp. 23–34, doi:10.1109/WICSA.2008.48.
  4. H. Barringer, D. M. Gabbay & D. E. Rydeheard (2007): From Runtime Verification to Evolvable Systems. In: RV, LNCS 4839. Springer, pp. 97–110, doi:10.1007/978-3-540-77395-5_9.
  5. T. Barros, R. Ameur-Boulifa, A. Cansado, L. Henrio & E. Madelaine (2009): Behavioural models for distributed Fractal components. Annales des Télécommunications 64(1-2), pp. 25–43, doi:10.1007/s12243-008-0069-7.
  6. S. Becker, H. Koziolek & R. Reussner (2007): Model-Based performance prediction with the palladio component model. In: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007. ACM, pp. 54–65, doi:10.1145/1216993.1217006.
  7. P. Brada & L. Valenta (2006): Practical Verification of Component Substitutability Using Subtype Relation. In: 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2006. IEEE, pp. 38–45, doi:10.1109/EUROMICRO.2006.50.
  8. M. J. Butler (1996): Stepwise Refinement of Communicating Systems. Sci. Comput. Program. 27(2), pp. 139–173, doi:10.1016/0167-6423(96)81173-7.
  9. I. Cerná, P. Vareková & B. Zimmerova (2007): Component Substitutability via Equivalencies of Component-Interaction Automata. Electr. Notes Theor. Comput. Sci. 182, pp. 39–55, doi:10.1016/j.entcs.2006.09.030.
  10. S. Colin, A. Lanoix & J. Souquières (2009): Trustworthy interface compliancy: data model adaptation. Electronic Notes in Theoretical Computer Science 203(7), pp. 23–35, doi:10.1016/j.entcs.2009.03.024.
  11. M. Aguilar Cornejo, H. Garavel, R. Mateescu & N. De Palma (2001): Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. In: DAIS, pp. 229–244.
  12. J. Dormoy, O. Kouchnarenko & A. Lanoix (2010): Using Temporal Logic for Dynamic Reconfigurations of Components. In: FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, LNCS 6921. Springer, pp. 200–217, doi:10.1007/978-3-642-27269-1_12.
  13. J. Dormoy, O. Kouchnarenko & A. Lanoix (2011): Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. In: FACS 2011, LNCS 7253. Springer, pp. 115–132, doi:10.1007/978-3-642-35743-5_8.
  14. J. Dormoy, O. Kouchnarenko & A. Lanoix (2012): When Structural Refinement of Components Keeps Temporal Properties Over Reconfigurations. In: 18th International Symposium on Formal Methods (FM 2012), LNCS 7436. Springer-Verlag, doi:10.1007/978-3-642-32759-9_16.
  15. A. V. Fioukov, E.M. Eskenazi, D. K. Hammer & M. R. V. Chaudron (2002): Evaluation of Static Properties for Component-Based Architectures. In: 28th EUROMICRO Conference 2002. IEEE Computer Society, pp. 33–39. Available at http://computer.org/proceedings/euromicro/1787/17870033abs.htm.
  16. R. J. van Glabbeek (1993): The Linear Time - Branching Time Spectrum II. In: CONCUR '93, 4th International Conference on Concurrency Theory, LNCS 715. Springer, pp. 66–81, doi:10.1007/3-540-57208-2_6.
  17. V. Grassi, R. Mirandola, E. Randazzo & A. Sabetta (2007): KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability. In: The Common Component Modeling Example: Comparing Software Component Models, LNCS 5153. Springer, pp. 327–356, doi:10.1007/978-3-540-85289-6_13.
  18. A. G. Hamilton (1978): Logic for mathematicians. Cambridge University Press, Cambridge.
  19. M. Hennessy & R. Milner (1985): Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM 32(1), pp. 137–161, doi:10.1145/2455.2460.
  20. Y. Kesten, Z. Manna & A. Pnueli (1994): Temporal Verification of Simulation and Refinement. In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, LNCS 803. Springer, pp. 273–346, doi:10.1007/3-540-58043-3_22.
  21. A. Lanoix, J. Dormoy & O. Kouchnarenko (2011): Combining Proof and Model-checking to Validate Reconfigurable Architectures. In: FESCA 2011, ENTCS, doi:10.1016/j.entcs.2011.11.011.
  22. A. Lanoix & J. Souquières (2008): A Trustworthy Assembly of Components using the B Refinement. e-Informatica Software Engineering Journal (ISEJ) 2(1), pp. 9–28. Available at http://www.e-informatyka.pl/attach/e-Informatica_-_Volume_2/Vol2Iss1Art1eInformatica.pdf.
  23. M. Léger, Th. Ledoux & Th. Coupaye (2010): Reliable Dynamic Reconfigurations in a Reflective Component Model. In: CBSE 2010, LNCS 6092, pp. 74–92, doi:10.1007/978-3-642-13238-4_5.
  24. M. Leuschel & M. J. Butler (2003): ProB: A Model Checker for B. In: Int. Symp. of Formal Methods Europe FME'03, LNCS 2805. Springer, pp. 855–874, doi:10.1007/978-3-540-45236-2_46.
  25. M. Leuschel & D. Plagge (2007): Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. In: ISoLA'07, Revue des Nouvelles Technologies de l'Information RNTI-SM-1, pp. 73–84.
  26. R. Milner (1980): A Calculus of Communicating Systems. Lecture Notes in Computer Science 92. Springer Verlag, doi:10.1007/3-540-10235-3.
  27. R. Milner (1989): Communication and Concurrency. Prentice-Hall, Inc..
  28. D. Park (1981): Concurrency and Automata on Infinite Sequences. In: Lecture Notes in Computer Science 104. Springer Verlag, pp. 167–183, doi:10.1007/BFb0017309.
  29. H. W. Schmidt, I. Crnkovic, G. T. Heineman & J. A. Stafford (2007): Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings. LNCS 4608. Springer, doi:10.1007/978-3-540-73551-9.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org