SCOPUS 정보 검색 플랫폼

Proceedings-International Conference on Software Engineering

Volumn , Issue , 2002, Pages 166-176

Verification support for workflow design with UML activity graphs

(2) Eshuis, Rik a Wieringa, Roel a

a UNIVERSITY OF TWENTE (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR ANALYSIS; FORMAL LANGUAGES; GRAPH THEORY; REAL TIME SYSTEMS; SEMANTICS; STATE SPACE METHODS;

ACTIVITY GRAPHS; MODEL CHECKING ALGORITHM; UNIFIED MODELING LANGUAGE; WORKFLOW DESIGN;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0036039907 PISSN: 02705257 EISSN: None Source Type: Journal
DOI: 10.1145/581360.581362 Document Type: Article

Times cited : (78)

References (36)

1
- 84947264708
- Exspect 6.4: An executable specification tool for hierarchical colored Petri nets
- In M. Nielsen and D. Simpson, editors
- (2000) Proc. 21st Int. Conf. on Applications and Theory of Petri Nets, LNCS , vol.1825
- Van Der Aalst, W.M.P.¹ De Crom, P.J.N.² Goverde, R.R.H.M.J.³ Van Hee, K.M.⁴ Hofman, W.J.⁵ Reijers, H.A.⁶ Van Der Toorn, R.A.⁷

2
- 0002370666
- Advanced workflow patterns
- In O. Etzion and P. Scheuermann, editors; Springer
- (2000) Proc. CoopIS 2000, LNCS , vol.1901
- Van Der Aalst, W.M.P.¹ Ter Hofstede, A.H.M.² Kiepuszewski, B.³ Barros, A.P.⁴

3
- 0026953373
- The Esterel synchronous programming language: Design, semantics, implementation
- (1992) Science of Computer Programming , vol.19 , Issue.2 , pp. 87-152
- Berry, G.¹ Gonthier, G.²

4
- 0033157481
- Enterprise-wide workflow management
- July/September
- (1999) IEEE Concurrency , vol.7 , Issue.3 , pp. 32-43
- Bussler, C.¹

5
- 0032121284
- Model checking large software specifications
- (1998) IEEE Transactions on Software Engineering , vol.24 , Issue.7 , pp. 498-520
- Chan, W.¹ Anderson, R.² Beame, P.³ Burns, S.⁴ Modugno, F.⁵ Notkin, D.⁶ Reese, J.⁷

6
- 84896869660
- NUSMV: A new symbolic model checker
- (2000) Int. Journal on Software Tools for Technology Transfer , vol.2 , Issue.4 , pp. 410-425
- Cimatti, A.¹ Clarke, E.² Giunchiglia, F.³ Roveri, M.⁴

7
- 0003962322
- MIT Press
- (1999) Model Checking
- Clarke, E.M.¹ Grumberg, O.² Peled, D.³

8
- 0003490414
- PhD thesis, Eindhoven University of Technology
- (1996) Abstract Interpretation and Partition Refinement for Model Checking
- Dams, D.R.¹

9
- 0005360572
- Technical report, University of Twente
- (2000) Toolkit for Conceptual Modeling (TCM)-User's Guide and Reference
- Dehne, F.¹ Wieringa, R.² Van De Zandschulp, H.³

10
- 0005376009
- A formal semantics for UML activity diagrams
- Technical Report TR-CTIT-01-04, University of Twente
- (2001)
- Eshuis, R.¹ Wieringa, R.²

11
- 84944272444
- A real-time execution semantics for UML activity diagrams
- In H. Hussmann, editor; Springer
- (2001) Proc. Fundamental Aspects of Software Engineering (FASE), LNCS , vol.2029 , pp. 76-90
- Eshuis, R.¹ Wieringa, R.²

12
- 84879077817
- A comparison of Petri net and activity diagram variants
- Proc. 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, 2001
- Eshuis, R.¹ Wieringa, R.²

13
- 84948984448
- An execution algorithm for UML activity graphs
- In M. Gogolla and C. Kobryn, editors; Springer
- (2001) Proc. "UML" 2001, LNCS , vol.2185 , pp. 47-61
- Eshuis, R.¹ Wieringa, R.²

14
- 0031380305
- Decidability of model checking for infinite-state concurrent systems
- (1997) Acta Informatica , vol.34 , Issue.2 , pp. 85-107
- Esparza, J.¹

15
- 0003697514
- CSLI Lecture notes 7, Stanford University, 2nd edition
- (1992) Logics of Time and Computation
- Goldblatt, R.¹

16
- 0028738903
- Discretization of timed automata
- (1994) Proc. of the 33rd IEEE Conference on Decision and Control , pp. 957-958
- Göllü, A.¹ Puri, A.² Varaiya, P.³

17
- 84947418535
- The PEP tool
- In O. Grumberg, editor; Springer
- (1997) Proc. 9th Int. Conf. on Computer Aided Verification, LNCS , vol.1254
- Grahlmann, B.¹

18
- 0034264831
- Crossflow: Cross-organizational workflow management in dynamic virtual enterprises
- (2000) Int. Journal of Comp. Systems Science & Engineering , vol.15 , Issue.5 , pp. 277-290
- Grefen, P.¹ Aberer, K.² Hoffner, Y.³ Ludwig, H.⁴

19
- 0030261971
- The STATEMATE semantics of statecharts
- (1996) ACM Trans. on Software Engineering and Methodology , vol.5 , Issue.4 , pp. 293-333
- Harel, D.¹ Naamad, A.²

20
- 0000835369
- On the development of reactive systems
- In K. R. Apt, editor; NATO/ASI Series nr. 13. Springer
- (1985) Logics and Models of Concurrent Systems
- Harel, D.¹ Pnueli, A.²

21
- 18944390941
- The model checker SPIN
- (1997) IEEE Trans. on Software Engineering , vol.23 , Issue.5 , pp. 279-295
- Holzmann, G.J.¹

22
- 0028101576
- An OBDD-representation of statecharts
- IEEE Comp. Soc. Press
- (1994) Proc. of the European Design and Test Conf. , pp. 142-151
- Helbig, J.¹ Kelb, P.²

23
- 0005258593
- Verifying business processes using spin
- In E. Najm, A. Serhrouchni, and G. Holzmann, editors
- Proc. 4th Int. Spin Workshop, 1998
- Janssen, W.¹ Mateescu, R.² Mauw, S.³ Springintveld, J.⁴

24
- 0000223972
- Parallel program schemata
- (1969) Journal of Computer and System Sciences , vol.3 , pp. 147-195
- Karp, R.M.¹ Miller, R.E.²

25
- 0004177242
- McGraw-Hill
- (1998) Simulation with Arena
- Kelton, W.D.¹ Sadowski, R.P.² Sadowski, D.A.³

26
- 33745529429
- Algorithmic verification of linear temporal logic specifications
- Springer Verlag
- (1998) Int. Coll. on Automata, Languages and Programming (ICALP), LNCS , vol.1443
- Kesten, Y.¹ Pnueli, A.² Raviv, L.³

27
- 0000381112
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
- (1999) Formal Aspects of Computing , vol.11 , Issue.6 , pp. 637-664
- Latella, D.¹ Majzik, I.² Massink, M.³

28
- 0002144741
- vUML: A tool for verifying UML models
- (1999) 14th IEEE Int. Conf. on Automated Software Engineering , pp. 255-258
- Lilius, J.¹ Paltor, I.P.²

29
- 0003581143
- Kluwer Academic Publishers
- (1993) Symbolic Model Checking
- McMillan, K.L.¹

30
- 0004199299
- PhD thesis, University of Kiel
- (2000) Semantics and Verification of Statecharts
- Mikk, E.¹

31
- 0242655680
- Enterprise-wide workflow management based on state and activity charts
- In A. Dogac, L. Kalinichenko, T. Özsu, and A. Sheth, editors; Springer
- (1998) NATO/ASI Workflow Management Systems and Interoperability
- Muth, P.¹ Wodtke, D.² Weissenfels, J.³ Weikum, G.⁴ Kotz-Dittrich, A.⁵

32
- 84957365666
- A platform combining deductive with algorithmic verification
- In R. Alur and T.A. Henzinger, editors; Springer Verlag
- (1996) Proc. Int. Conf. on Computer Aided Verification, LNCS , vol.1102
- Pnueli, A.¹ Shahar, E.²

33
- 0005337038
- UML revision taskforce
- Object Management Group
- (2001) OMG UML Specification V. 1.4

34
- 0035653173
- Diagnosing workflow processes using Woflan
- (2001) The Computer Journal , vol.44 , Issue.4 , pp. 246-279
- Verbeek, H.M.W.¹ Basten, T.² Van Der Aalst, W.M.P.³

35
- 0005304787
- Morgan Kaufmann. To be published
- Design Methods for Reactive Systems: Yourdon, Statemate and the UML
- Wieringa, R.¹

36
- 0003479190
- Workflow management coalition
- (1999) Workflow Management Coalition Specification-Terminology & Glossary (WFMC-TC-1011)

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