Dealing with non-local choice in IEEE 1073.2's standard for remote control

Lecture Notes in Computer Science

Volumn 3319, Issue , 2005, Pages 257-270

  Mooij, Arjan J ^a   Goga, Nicolae ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; ERROR CORRECTION; MATHEMATICAL MODELS; PROBLEM SOLVING; REMOTE CONTROL; STANDARDS;

CHOICE PROBLEMS; DEADLOCKS; SOFTWARE PACKAGES;

NETWORK PROTOCOLS;

EID: 23944488763     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31810-1_17     Document Type: Conference Paper

References (15)

1. Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. 22nd International Conference on Software Engineering (2000) 304-313.
2. American National Standard Institute: Health Level Seven HL7.
3. Baeten, J.C.M., Mauw, S.: Delayed choice: an operator for joining Message Sequence Charts. Formal Description Techniques (1995) 340-354.
4. Baeten, J.C.M., Weijland, W.P.: Process algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press (1990).
5. Ben-Abdallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in Message Sequence Charts. Tools and Algorithms for the Construction and Analysis of Systems. Volume 1217 of Lecture Notes in Computer Science, Springer Verlag (1997) 259-274.
6. Feijs, L.M.G.: Generating FSMs from interworkings. Distributed Computing 12 (1999) 31-40.
7. Gouda, M.G., Yu, Y.T.: Synthesis of communicating finite-state machines with guaranteed progress. IEEE Transactions on Communications COM-32 (1984) 779-788.
8. Hélouët, L.: Some pathological message sequence charts and how to detect them. Reed, R., Reed, j. (Eds.) 10th SDL Forum. Volume 2078 of Lecture Notes in Computer Science (2001) 348-364.
9. Hélouët, L., Jard, C.: Conditions for synthesis of communicating automata from HMSCs. 5th International Workshop on Formal Methods for Industrial Critical Systems (2000) 203-224.
10. Holzmann, G.J.: The model checker Spin. IEEE Transactions on Software Engineering 23 (1997) 279-295.
11. Institute of Electrical and Electronics Engineers, Inc.: Health informatics - Point-of-care medical device communication - Application Profiles. ISO/IEEE 11073-20000.
12. Institute of Electrical and Electronics Engineers, Inc.: Health informatics - Point-of-care medical device communication - Application profile - Optional package, remote control. (2002) Draft Standard IEEE 1073.2.3.1.
13. Leue, S., Ladkin, P.B.: Implementing and verifying MSC specifications using Promela/XSpin. Grégoire, J.C., Holzmann, G., Peled, D. (Eds.) Proceedings of the DIMACS Workshop SPIN96. Volume 32 of DIMACS Series (1997).
14. Mooij, A.J., Goga, N., Wesselink, W., Bošnački, D.: An analysis of medical device communication standard IEEE 1073.2. Salvador, C.E.P. (Ed.) Communication Systems and Networks, IASTED, ACTA Press (2003) 74-79.
15. Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. Proceedings of the 8th European software engineering conference, ACM Press (2001) 74-82.