MAccS: A Tool for Reachability by Design

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8997)


MAccS is a tool for the modular design of complex IT systems. Component specifications are given in the form of marked acceptance specifications which are acceptance specifications, an extension of modal specifications, enriched with reachability constraints on states. The tool supports the crucial operators for a complete specification theory: satisfaction checking, consistency, refinement, product, quotient and conjunction. These operators can be used to build larger systems by composing or decomposing component specifications while ensuring some reachability properties.


Transition System Specification Theory Software Product Line Marked State Outgoing Transition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Verdier, G., Raclet, J.-B.: Quotient of acceptance specifications under reachability constraints. In: LATA 2015. LNCS, vol. 8977 (2015, to appear)Google Scholar
  2. 2.
    Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS, pp. 203–210, IEEE (1988)Google Scholar
  3. 3.
    Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: A modal interface theory for component-based design. Fundam. In. 108(1–2), 119–149 (2011)MATHMathSciNetGoogle Scholar
  4. 4.
    Siek, J., Lee, L.Q., Lumsdaine, A.: The Boost Graph Library. Addison-Wesley, Boston (2002)Google Scholar
  5. 5.
    Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Softw. Pract. Exp. 30(11), 1203–1233 (2000)CrossRefMATHGoogle Scholar
  6. 6.
    Larsen, K.G., Nyman, U., Wąsowski, A.: Modal I/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64–79. Springer, Heidelberg (2007)Google Scholar
  7. 7.
    Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K.G.: Contracts for system design. Research report, RR-8147, 65 pp., Nov 2012.
  8. 8.
    Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A logical framework to deal with variability. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 43–58. Springer, Heidelberg (2010) CrossRefGoogle Scholar
  9. 9.
    Uchitel, S., Chechik, M.: Merging partial behavioural models. In: SIGSOFT FSE, pp. 43–52, ACM (2004)Google Scholar
  10. 10.
    D’Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: The modal transition system analyser. In: ASE, pp.475–476, IEEE (2008)Google Scholar
  11. 11.
    Bauer, S.S., Mayer, P., Legay, A.: MIO workbench: a tool for compositional design with modal input/output interfaces. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 418–421. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  12. 12.
    Caillaud, B.: Mica: a modal interface compositional analysis library (Oct 2011).
  13. 13.
    Křetínský, J., Sickert, S.: MoTraS: a tool for modal transition systems and their extensions. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 487–491. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  14. 14.
    Larsen, K.G., Xinxin, L.: Equation solving using modal transition systems. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pp. 108–117, Philadelphia, Pennsylvania, USA, 4–7 June 1990Google Scholar
  15. 15.
    Beneš, N., Křetínský, J., Larsen, K.G., Møller, M.H., Srba, J.: Parametric modal transition systems. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 275–289. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  16. 16.
    David, A., Larsen, K.G., Legay, A., Nyman, U., Wąsowski, A.: ECDAR: an environment for compositional design and analysis of real time systems. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 365–370. Springer, Heidelberg (2010) CrossRefGoogle Scholar
  17. 17.
    Legay, Axel, Traonouez, Louis-Marie: PyEcdar: towards open source implementation for timed systems. In: Van Hung, Dang, Ogawa, Mizuhito (eds.) ATVA 2013. LNCS, vol. 8172, pp. 460–463. Springer, Heidelberg (2013) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.IRIT/CNRSToulouse Cedex 9France

Personalised recommendations