Conflict-tolerant features

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5123 LNCS, Issue , 2008, Pages 227-239

  D'Souza, Deepak ^a   Gopinathan, Madhu ^a  

^a INDIAN INSTITUTE OF SCIENCE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

COMPUTER AIDED VERIFICATION; FORMAL FRAMEWORK; INPUT EVENTS; INTERNATIONAL CONFERENCES;

COMPUTER AIDED ANALYSIS;

EID: 48949102254     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70545-1_22     Document Type: Conference Paper

References (15)

1. Keck, D.O., Kühn, P.J.: The feature and service interaction problem in telecommunications systems. a survey. IEEE Trans. Software Eng. 24(10), 779-796 (1998)
2. Hall, R.J.: Feature interactions in electronic mail. In: FIW, pp. 67-82 (2000)
3. Jackson, M., Zave, P.: Distributed feature composition: A virtual architecture for telecommunications services. IEEE Trans. Software Eng. 24(10), 831-847 (1998)
4. Software Engineering Institute: Software product lines, http://www.sei.cmu.edu/productlines
5. Fisler, K., Krishnamurthi, S.: Decomposing verification by features. In: IFIP Working Conference on Verified Software: Theories, Tools, Experiments (2006)
6. Felty, A.P., Namjoshi, K.S.: Feature specification and automated conflict detection. ACM Trans. Softw. Eng. Methodol. 12(1), 3-27 (2003)
7. Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proc. of the IEEE 77, 81-98 (1989)
8. Wong, K.C., Thistle, J.G., Hoang, H.H., Malhamé, R.P.: Supervisory control of distributed systems: Conflict resolution. In: Conf. on Decision and Control, pp. 416-421. IEEE, Los Alamitos (1995)
9. Chen, Y.L., Lafortune, S., Lin, F.: Modular supervisory control with priorities for discrete event systems. In: Conf. on Decision and Control, pp. 409-415. IEEE Computer Society Press, Los Alamitos (1995)
10. Wong, K.C., Thistle, J.G., Hoang, H.H., Malhamé, R.P.: Supervisory control of distributed systems: Conflict resolution. In: Conf. on Decision and Control, pp. 3275-3280. IEEE, Los Alamitos (1998)
11. Hay, J.D., Atlee, J.M.: Composing features and resolving interactions. In: SIGSOFT Found. of Softw. Engg., pp. 110-119 (2000)
12. Plath, M., Ryan, M.: Feature integration using a feature construct. Sci. Comput. Program 41(1), 53-84 (2001)
13. D'Souza, D., Gopinathan, M.: Conflict-tolerant features. Technical Report IISc-CSA-TR-2007-11, Computer Science and Automation, Indian Institute of Science, India (2007), http://archive.csa.iisc.ernet.in/TR/2007/11/
14. D'Souza, D., Gopinathan, M., Ramesh, S., Sampath, P.: Conflict-detection and resolution for real-time features (manuscript in preparation)
15. Gößler, G., Sifakis, J.: Priority Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 314-329. Springer, Heidelberg (2004)