SCOPUS 정보 검색 플랫폼

Formal Methods in System Design

Volumn 19, Issue 1, 2001, Pages 45-80

LSCs: Breathing life into message sequence charts

(2) Damm, Werner a Harel, David b

a OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY (Germany)

b WEIZMANN INSTITUTE OF SCIENCE (Israel)

Author keywords

Formal specification; Sequence charts; UML

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

FORMAL SPECIFICATION; LIVE SEQUENCE CHARTS; MESSAGE SEQUENCE CHARTS;

FORMAL LOGIC;

EID: 0035393979 PISSN: 09259856 EISSN: None Source Type: Journal
DOI: 10.1023/A:1011227529550 Document Type: Article

Times cited : (614)

References (38)

1
- 84958750808
- An analyzer for message sequence charts
- in T. Margaria and B. Steffen (Eds.); Springer-Verlag
- (1996) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96). Lecture Notes in Computer Science , vol.1055
- Alur, R.¹ Holzmann, G.J.² Peled, D.³

2
- 0002185697
- An analyzer for message sequence charts
- (1996) Software - Concepts and Tools , vol.17 , Issue.2 , pp. 70-77
- Alur, R.¹ Holzmann, G.J.² Peled, D.³

3
- 35048900689
- 20 states and beyond
- (1992) Information and Computation , vol.98 , Issue.2 , pp. 142-170
- Burch, J.R.¹ Clarke, E.M.² McMillan, K.L.³ Dill, D.L.⁴ Hwang, J.⁵

4
- 0025566514
- Sequential circuit verification using symbolic model checking
- Proc. 27th ACM/IEEE Design Automation Conference, 1990 , pp. 46-51
- Burch, J.R.¹ Clarke, E.M.² McMillan, K.L.³ Dill, D.L.⁴

5
- 0003879994
- Rational Software Corporation
- (1996) Unified Modeling Language for Object-Oriented Development
- Booch, G.¹ Jacobson, I.² Rumbaugh, J.³

6
- 0003636309
- Expressing, and analyzing timing constraints in message sequence chart specifications
- Department of Electrical and Computer Engineering, University of Waterloo
- (1997) Technical Report 97-04
- Ben-Abdallah, H.¹ Leue, S.²

7
- 38349001795
- Timing constraints in message sequence chart specifications
- Chapman and Hall
- (1997) Proc. 10th International Conference on Formal Description Techniques FORTE/PSTV'97
- Ben-Abdallah, H.¹ Leue, S.²

8
- 22044440769
- Tamagotchis need not die-verification of Statemate designs
- LNCS 1384
- (1998) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98) , pp. 217-231
- Brockmeyer, U.¹ Wittich, G.²

9
- 22044458398
- Real-time verification of STATEMATE designs
- Proc. CAV 98, LNCS 1427 , pp. 537-541
- Brockmeyer, U.¹ Wittich, G.²

10
- 0031339229
- A graphical description technique for communication in software architectures
- (1997) Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97/ICSC'97)
- Broy, M.¹ Hofmann, C.² Kröger, I.³ Schmidt, M.⁴

11
- 0004538120
- Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
- VDI-Tagungsbericht
- (1997) 17. VD1/VW-Gemeinschaftstagung System-Engineering in der Kfz-Entwicklung
- Damm, W.¹ Eckrich, M.² Brockmeyer, U.³ Holberg, H.-J.⁴ Wittich, G.⁵

12
- 84949225743
- A compositional real-time semantics for STATEMATE designs
- Springer Verlag
- (1998) Proc. COMPOS'97. Lecture Notes in Computer Science 1536 , pp. 186-238
- Damm, W.¹ Josko, B.² Hungar, H.³ Pnueli, A.⁴

13
- 0002592750
- Specification and verification of VHDL-based system-level hardware designs
- in E. Börger (Ed.); Oxford University Press
- (1995) Specification and Validation Methods , pp. 331-410
- Damm, W.¹ Josko, B.² Schlör, R.³

14
- 0000938587
- Verifying out-of-order execution
- in D.K. Probst (Ed.); Montreal, Canada, Chapman and Hall
- (1997) Advances in Hardware Design and Verification: IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods (CHARME) , pp. 23-47
- Damm, W.¹ Pnueli, A.²

15
- 0003458824
- Addison Wesley, Reading, MA
- (1999) Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns
- Douglass, B.P.¹

16
- 84958779892
- A visual formalism for real time requirement specifications
- in M. Bertran and T. Rus (Eds.); Springer-Verlag
- (1997) Transformation-Based Reactive Systems Development, Proc. 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97. Lecture Notes in Computer Science , vol.1231 , pp. 156-168
- Feyerabend, K.¹ Josko, B.²

17
- 0000876088
- Towards a Petri net based semantics definition for message sequence charts
- in O. Ffrgemand and A. Sarma (Eds.)
- (1993) SDL'93: Using Objects, Proc. 6th SDL Forum, North-Holland , pp. 179-190
- Grabowski, J.¹ Graubmann, P.² Rudolph, E.³

18
- 0023365727
- Statecharts: A visual formalism for complex systems
- (1987) Science of Computer Programming , vol.8 , pp. 231-274
- Harel, D.¹

19
- 0035127659
- From play-in scenarios to code: An achievable dream
- to appear
- Computer
- Harel, D.¹

20
- 84945266603
- in Tom Maibaum (Ed.); Springer-Verlag
- (2000) Proc. Fundamental Approaches to Software Engineering (FASE). Lecture Notes in Computer Science , vol.1783 , pp. 22-34
- Harel, D.¹

21
- 0035127659
- Jan.
- (2001) IEE Computer , vol.34 , Issue.1 , pp. 53-60
- Harel, D.¹

22
- 0031187475
- Executable object modeling with statecharts
- (1997) IEEE Computer , vol.30 , Issue.7 , pp. 31-42
- Harel, D.¹ Gery, E.²

23
- 0025416878
- STATEMATE: A working environment for the development of complex reactive systems
- (1990) IEEE Trans. Software Engineering , vol.16 , pp. 403-414
- Harel, D.¹ Lachover, H.² Naamad, A.³ Pnueli, A.⁴ Politi, M.⁵ Sherman, R.⁶ Shtull-Trauring, A.⁷ Trakhtenbrot, M.⁸

24
- 0004521854
- Synthesizing object systems from LSC specifications
- (2000) Proc. Fifth Int. Conf. on Implementation and Application of Automata (CIAA 2000). July 2000 Lecture Notes in Computer Science, Springer-Verlag
- Harel, D.¹ Kugler, H.²

25
- 0003428340
- McGraw-Hill
- (1998) Modeling Reactive Systems with Statecharts: The STATEMATE Approach
- Harel, D.¹ Politi, M.²

26
- 0028101576
- An OBDD representation of statecharts
- Proc. European Design and Test Conference (EDAC), 1994 , pp. 142-148
- Helbig, J.¹ Kelb, P.²

27
- 0003504769
- Addison-Wesley, Reading, MA
- (1992) Object-Oriented Software Engineering: A Use Case Driven Approach
- Jacobson, I.¹

28
- 0028466272
- Automatic synthesis of state machines from trace diagrams
- (1994) Software - Practice and Experience , vol.24 , Issue.7 , pp. 643-658
- Koskimies, K.¹ Makinen, E.²

29
- 0031672505
- Automated support for modeling OO software
- (1998) IEEE Software , vol.15 , Issue.1 , pp. 87-94
- Koskimies, K.¹ Systa, T.² Tuomi, J.³ Mannisto, T.⁴

30
- 0002414201
- From MSCs to statecharts
- (1999) Proc. DIPES'98, Kluwer
- Krüger, I.¹ Grosu, R.² Scholz, P.³ Broy, M.⁴

31
- 0029425272
- Interpreting message flow graphs
- (1995) Formal Aspects of Computing , vol.7 , Issue.5 , pp. 473-509
- Ladkin, P.B.¹ Leue, S.²

32
- 0003765895
- Synthesizing ROOM models from message sequence chart specifications
- University of Waterloo Tech. Report 98-06
- (1998)
- Leue, S.¹ Mehrmann, L.² Rezai, M.³

33
- 0004481595
- Symbolic timing diagrams: A visual formalism for model verification
- Dissertation, Universität Oldenburg, 1998, March
- (2001)
- Schlör, R.¹

34
- 0003619698
- Specification and verification of system level hardware designs using timing diagrams
- Proc. European Conference on Design Automation, Paris, France, Feb. 1993 , pp. 518-524
- Schlör, R.¹ Damm, W.²

35
- 22044431985
- Using a visual formalism for design verification in industrial environments
- Proc. Workshop on Visualization Issues for Formal Methods, VISUAL'98. Lecture Notes in Computer Science 1385, Springer-Verlag, 1998 , pp. 208-221
- Schlör, R.¹ Josko, B.² Werth, D.³

36
- 0003503522
- ITU-TS, Geneva
- (1996) ITU-TS Recommendation Z.120: Message Sequence Chart (MSC)

37
- 0004513740
- ITU-TS, Geneva
- (1995) ITU-TS Recommendation Z.120: Message Sequence Chart (MSC) - Annex B: Algebraic Semantics of Message Sequence Charts

38
- 0004533220
- Various documents on the Unified Modeling Language (UML)
- available from the Object Management Group (OMG)

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