메뉴 건너뛰기




Volumn 3466, Issue , 2005, Pages 26-42

Some methodological observations resulting from experience using LSCs and the play-in/play-out approach

Author keywords

[No Author keywords available]

Indexed keywords

AVIATION; COMPUTER PROGRAMMING LANGUAGES; DECISION SUPPORT SYSTEMS; LARGE SCALE SYSTEMS; TELECOMMUNICATION SYSTEMS;

EID: 24944474930     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11495628_2     Document Type: Conference Paper
Times cited : (16)

References (30)
  • 1
    • 0345829124 scopus 로고    scopus 로고
    • An evaluation of scenario notations and construction approaches for telecommunication systems development
    • [AE03]
    • [AE03] D. Amyot and A. Eberlein. An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Telecommunications Systems Journal, 24(1):61-94, 2003.
    • (2003) Telecommunications Systems Journal , vol.24 , Issue.1 , pp. 61-94
    • Amyot, D.1    Eberlein, A.2
  • 2
  • 3
    • 24944572432 scopus 로고    scopus 로고
    • Cybernetix case-study: Informal description
    • [Alb02]
    • [Alb02] S. Albert. Cybernetix case-study: Informal description. AMETIST web page http://ametist.cs.utwente.nl, 2002.
    • (2002) AMETIST Web Page
    • Albert, S.1
  • 4
    • 84888232448 scopus 로고    scopus 로고
    • Model checking of message sequence charts
    • [AY99] 10th International Conference on Concurrency Theory (CONCUR99). Springer-Verlag
    • [AY99] R. Alur and M. Yannakakis. Model checking of message sequence charts. In 10th International Conference on Concurrency Theory (CONCUR99), volume 1664 of Led. Notes in Comp. Sci., pages 114-129. Springer-Verlag, 1999.
    • (1999) Led. Notes in Comp. Sci. , vol.1664 , pp. 114-129
    • Alur, R.1    Yannakakis, M.2
  • 5
    • 33947099681 scopus 로고    scopus 로고
    • InterPlay: Horizontal scale-up and transition to design in scenario-based programming
    • [BHM04] Lectures on Concurrency and Petri Nets. Springer-Ver lag
    • [BHM04] D. Barak, D. Harel, and R. Marelly. InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. In Lectures on Concurrency and Petri Nets, volume 3098 of Lect. Notes in Comp. Sci., pages 66-86. Springer-Ver lag, 2004.
    • (2004) Lect. Notes in Comp. Sci. , vol.3098 , pp. 66-86
    • Barak, D.1    Harel, D.2    Marelly, R.3
  • 8
    • 0035393979 scopus 로고    scopus 로고
    • LSCs: Breathing life into message sequence charts
    • [DH01]
    • [DH01] W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45-80, 2001.
    • (2001) Formal Methods in System Design , vol.19 , Issue.1 , pp. 45-80
    • Damm, W.1    Harel, D.2
  • 10
    • 0035446935 scopus 로고    scopus 로고
    • Verification of a radio-based signalling system using the statemate verification environment
    • [DK01]
    • [DK01] W. Damm and J. Klose. Verification of a radio-based signalling system using the statemate verification environment. Formal Methods in System Design, 19(2):121-141, 2001.
    • (2001) Formal Methods in System Design , vol.19 , Issue.2 , pp. 121-141
    • Damm, W.1    Klose, J.2
  • 13
    • 84948138249 scopus 로고    scopus 로고
    • Smart play-out of behavioral requirements
    • th Intl. Conference on Formal Methods in Computer-Aided Design (FMCAD'02), Portland, Oregon
    • th Intl. Conference on Formal Methods in Computer-Aided Design (FMCAD'02), Portland, Oregon, volume 2517 of Lect. Notes in Comp. Sci., pages 378-398, 2002.
    • (2002) Lect. Notes in Comp. Sci. , vol.2517 , pp. 378-398
    • Harel, D.1    Kugler, H.2    Marelly, R.3    Pnueli, A.4
  • 14
    • 4644275161 scopus 로고    scopus 로고
    • The Weizmann Institute of Science
    • Also available as Tech. Report MCS02-08, The Weizmann Institute of Science.
    • Tech. Report , vol.MCS02-08
  • 16
    • 3042527918 scopus 로고    scopus 로고
    • Specifying and executing behavioral requirements: The play in/play-out approach
    • [HM03b]
    • [HM03b] D. Harel and R. Marelly. Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach. Software and System Modeling (SoSyM), 2(2):82-107, 2003.
    • (2003) Software and System Modeling (SoSyM) , vol.2 , Issue.2 , pp. 82-107
    • Harel, D.1    Marelly, R.2
  • 17
    • 84974633278 scopus 로고    scopus 로고
    • On message sequence graphs and finitely generated regular MSC languages
    • [HMKT00a] J.D.P. Rolim U. Montanari and E. Welzl, editors, Proc. 27th Int. Colloq. Aut. Lang. Prog. Springer-Verlag
    • [HMKT00a] J.G. Henriksen, M. Mukund, K.N. Kumar, and P.S. Thiagarajan. On message sequence graphs and finitely generated regular MSC languages. In J.D.P. Rolim U. Montanari and E. Welzl, editors, Proc. 27th Int. Colloq. Aut. Lang. Prog., volume 1853 of Lect. Notes in Comp. Sci., pages 675-686. Springer-Verlag, 2000.
    • (2000) Lect. Notes in Comp. Sci. , vol.1853 , pp. 675-686
    • Henriksen, J.G.1    Mukund, M.2    Kumar, K.N.3    Thiagarajan, P.S.4
  • 18
    • 84959181355 scopus 로고    scopus 로고
    • Regular collections of message sequence charts
    • [HMKT00b] Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science(MFCS'2000). Springer-Verlag
    • [HMKT00b] J.G. Henriksen, M. Mukund, K.N. Kumar, and P.S. Thiagarajan. Regular collections of Message Sequence Charts. In Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science(MFCS'2000), volume 1893 of Lect. Notes in Comp. Sci., pages 675-686. Springer-Verlag, 2000.
    • (2000) Lect. Notes in Comp. Sci. , vol.1893 , pp. 675-686
    • Henriksen, J.G.1    Mukund, M.2    Kumar, K.N.3    Thiagarajan, P.S.4
  • 19
    • 84866578749 scopus 로고    scopus 로고
    • [IL] Rhapsody. I-Logix, Inc.
    • [IL] Rhapsody. I-Logix, Inc., products web page. http://www.ilogix.com/ products/.
    • Products Web Page
  • 21
    • 0004014978 scopus 로고    scopus 로고
    • Extended version appeared in Modeling in Molecular Biology, Springer
    • Extended version appeared in Modeling in Molecular Biology, G.Ciobanu (Ed.), Natural Computing Series, Springer, 2004.
    • (2004) Natural Computing Series
    • Ciobanu, G.1
  • 28
    • 84955574038 scopus 로고    scopus 로고
    • Refinement in interworkings
    • [MR96] U. Montanari and V. Sassone, editors, 7th International Conference on Concurrency Theory (CONCUR96). Springer-Verlag
    • [MR96] S. Mauw and M. A. Reniers. Refinement in interworkings. In U. Montanari and V. Sassone, editors, 7th International Conference on Concurrency Theory (CONCUR96), volume 1119 of Lect. Notes in Comp. Sci., pages 671-686. Springer-Verlag, 1996.
    • (1996) Lect. Notes in Comp. Sci. , vol.1119 , pp. 671-686
    • Mauw, S.1    Reniers, M.A.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.