Why are modalities good for interface theories?

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn , Issue , 2009, Pages 119-127

  Raclet, Jean Baptiste ^a   Badouel, Eric ^b   Benveniste, Albert ^b   Caillaud, Benoît ^b   Passerone, Roberto ^c,d  

^a INRIA   (France)

^b CAMPUS DE BEAULIEU   (France)

^c PARADES   (Italy)

^d UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

RESIDUATION;

EID: 74349095221     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2009.22     Document Type: Conference Paper

References (19)

1. H. Kopetz, "The time-triggered model of computation, " in Proceedings of the 19th IEEE Real-Time Systems Symposium, RTSS'98, 1998, pp. 168-177.
2. J. F. M. Burg, Linguistic instruments in requirements engineering. IOS Press, 1997.
3. W. Damm and D. Harel, "Lscs: Breathing life into message sequence charts, " Formal Methods in System Design, vol. 19, no. 1, pp. 45-80, 2001.
4. ITU-TS, ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). Geneva: ITU-TS, September 1999.
5. U. Nyman, "Modal transition systems as the basis for interface theories and product lines, " Ph.D. dissertation, Aalborg University, Department of Computer Science, September 2008.
6. L. de Alfaro and T. A. Henzinger, "Interface automata, " in Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE'01). ACM Press, 2001, pp. 109-120.
7. R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi, "Alternating refinement relations, " in Proceedings of the 9th International Conference on Concurrency Theory, CONCUR' 98, 1998, pp. 163-178.
8. A. Chakrabarti, L. de Alfaro, T. A. Henzinger, and F. Y. C. Mang, "Synchronous and bidirectional component interfaces, " in Proceedings of the 14th International Conference on Computer Aided Verification, CAV'02, ser. Lecture Notes in Computer Science, vol. 2404, 2002, pp. 414-427.
9. L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, "Interface theories with component reuse, " in Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT'08, October 2008, pp. 79-88.
10. A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, and C. Sofronis, "Multiple viewpoint contract-based specification and design, " in Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects, FMCO'07, ser. Lecture Notes in Computer Science, vol. 5382. Springer, October 2008, pp. 200-225.
11. K. G. Larsen, "Modal specifications, " in Automatic Verification Methods for Finite State Systems, ser. Lecture Notes in Computer Science, vol. 407. Springer, 1989, pp. 232-246.
12. K. G. Larsen, U. Nyman, and A. Wasowski, "Modal I/O automata for interface and product line theories, " in Programming Languages and Systems, 16th European Symposium on Programming, ESOP'07, ser. Lecture Notes in Computer Science, vol. 4421. Springer, 2007, pp. 64-79.
13. -, "Interface input/output automata, " in 14th International Symposium on Formal Methods, FM'06, ser. Lecture Notes in Computer Science, vol. 4085. Springer, 2006, pp. 82-97.
14. J.-B. Raclet, "Quotient de spécifications pour la réutilisation de composants, " Ph.D. dissertation, Ecole doctorale Matisse, université de Rennes 1, November 2007.
15. G. Feuillade and S. Pinchinat, "Modal specifications for the control theory of discrete-event systems." Discrete Event Dynamic Systems, vol. 17, no. 2, pp. 211-232, 2007.
16. G. Feuillade, "Modal specifications are a syntactic fragment of the mu-calculus, " INRIA, Research Report RR-5612, June 2005.
17. K. G. Larsen, U. Nyman, and A. Wasowski, "On modal refinement and consistency, " in Proceedings of the 18th International Conference on Concurrency Theory, CONCUR'07. Springer Verlag, 2007, pp. 105-119, lecture Notes in Computer Science.
18. J.-B. Raclet, "Residual for component specifications, " in Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS'07, Sophia-Antipolis, France, September 2007.
19. J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, and R. Passerone, "Why are modalities good for interface theories?" INRIA, Research report, April 2009, extended version.