SCOPUS 정보 검색 플랫폼

International Journal of Software Engineering and Knowledge Engineering

Volumn 12, Issue 3, 2002, Pages 245-267

A formal framework to support workflow adaptation

(2) Liu, Shuzhou a Goh, Angela Eck Soong a

a NANYANG TECHNOLOGICAL UNIVERSITY (Singapore)

Author keywords

Change; Formal method; Workflow

Indexed keywords

ADAPTIVE SYSTEMS; COMPUTER APPLICATIONS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; SEMANTICS;

WORKFLOW SYSTEMS;

DATA FLOW ANALYSIS;

EID: 0036619333 PISSN: 02181940 EISSN: None Source Type: Journal
DOI: 10.1142/S0218194002000925 Document Type: Article

Times cited : (10)

References (36)

1
- 12944273710
- Workshop on adaptive workflow
- October
- (1996) First Int. Conf. on Practical Aspect of Knowledge Management (PAKM)
- Oareschi, R.¹ De Michelis, G.² Sarin, S.³

2
- 0344882491
- State-of-the-art and future
- Athens, GA
- (1996) NSF Workshop on Workflow and Process Automation in Information Systems
- Sheth, A.¹

3
- 0010400318
- Enterprise-wide and cross-enterprise workflow management: Challenges and research issues for adaptive workflows
- Paderborn, Germany, October
- (1999) Workshop Informatik '99 - Enterprise-wide and Cross-enterprise Workflow Management: Concepts, Systems, Applications
- Dadam, P.¹ Reichert, M.²

4
- 85019343853
- Managing evolving workflow specifications
- New York, USA, 20-22 August
- (1998) Third IFCIS Conf. on Cooperative Information System (CoopIS'98)
- Joeris, G.¹ Herzog, O.²

5
- 84958806287
- Generic workflow models: How to handle dynamic change and capture management information?
- Edinburgh, Scotland, September
- (1999) Fourth IECIS Int. Conf. on Cooperative Information Systems
- Van der Aalst, W.M.P.¹

6
- 84995900101
- Action port model: A mixed paradigm conceptual workflow modeling language
- New York, USA
- (1998) Third IFCIS Conf. on Cooperative Information System (CoopIS'98)
- Steinar, C.¹

7
- 0010400319
- Emergent workflow: The ais workware demonstrator
- Seattle, Washington USA, November
- (1998) CSCW'98 Workshop on Adaptive Workflow Systems
- Steinar, C.¹ Havard, D.J.²

8
- 45149117616
- A taxonomy of adaptive workflow management
- Seattle, Washington, USA, November
- (1998) CSCW'98 Workshop on Adaptive Workflow Systems
- Han, Y.B.¹ Sheth, A.²

9
- 0010404352
- Exception handling with workflow evolution in ADOME-WFMS: A taxonomy and resolution techniques
- Seattle, Washington USA, Nov
- (1998) CSCW'98 Workshop on Adaptive Workflow Systems
- Chiu, K.W.¹ Karlapalem, K.²

10
- 6344279608
- An environment for designing exception in workflows
- Pisa, Italy, June
- (1998) Proc. Tenth Int. Conf. on Advances in Information Systems Engineering (C AiSE)
- Casati, F.¹ Fugini, M.G.² Mirbel, I.³

11
- 0002719897
- The application of Petri Nets to workflow management
- (1998) Journal of Circuits, Systems and Computers , vol.8 , Issue.1 , pp. 21-66
- Van der Aalst, W.M.P.¹

12
- 0003131985
- Interview: Amit Sheth on workflow technology
- (1998) IEEE Concurrency , vol.6 , Issue.2 , pp. 21-23
- Jajodia, S.¹

13
- 0032269007
- Design and analysis workflow processes with petri nets
- October
- (1998) IEEE Int. Conf. on Systems, Man, and Cybernetics
- Coves, C.¹ Crestani, D.² Prunet, F.³

14
- 0010139052
- Modeling, simulation and analysis of business process
- Springer, New York
- (2000) Business Process Management: Models, Techniques, and Empirical Studies , pp. 110-128
- Desel, J.¹

15
- 23044517901
- Validation of process models by construction of process nets
- Springer, New York
- (2000) Business Process Management: Models, Techniques, and Empirical Studies , pp. 142-160
- Desel, J.¹

16
- 0004003557
- Technical Report UGA-CS-TR-97-005, Department of Computer Science, University of Georgia
- (1997) Hoon - A formalism supporting adaptive workflows
- Han, Y.¹

17
- 0004147702
- PhD thesis, Stanford University, USA
- (1994) Chu Spaces: A Model of Concurrency
- Gupta, V.¹

18
- 0010404353
- Formal verification of workflow schemas
- Technical Report 26, 24962 - C3DS First Year Report, C3DS Project., Department of Computing Science, University of Newcastle upon Tyne
- (2000) Esprit LTR Project , pp. 167-184
- Karamanolis, C.¹ Giannakopoulou, D.² Magee, J.³ Wheater, S.M.⁴

19
- 0003305458
- A formal foundation for distributed workflow management based on state charts
- Greece, January
- (1997) Proc. 6th Int. Conf on Database Theory
- Wodtke, D.¹ Weikum, G.²

20
- 0010407103
- Formal aspects of workflow management
- Gubbio, Italy, Sept
- (1995) Proc. 5th Int. Workshop on Database Programming Languages (DBPL)
- Munindar, P.S.¹

21
- 4244098171
- (1998) Modeling the business, a tutorial
- Joosten, S.M.M.¹

22
- 0003446052
- UML
- (1999) Uml notation guide

23
- 0025480317
- A specifier's introduction to formal methods
- September
- (1990) IEEE Computer , pp. 8-24
- Wing, J.M.¹

24
- 0003634551
- Cambridge University Press
- (1988) Understanding Z: A Specification Language and Its Formal Semantics
- Spivey, J.M.¹

25
- 0003954103
- Prentice-Hall
- (1989) Communication and Concurrency
- Milner, R.¹

26
- 0043024870
- ISO
- (1999) Z notation

27
- 0031367907
- An operational semantics for zccs
- IEEE
- (1997) Int. Conf. of Formal Engineering Methods (ICFEM)
- Galloway, A.J.¹ Stoddart, W.²

28
- 0000601447
- CSP-OZ: A combination of Object-Z and CSP
- (1997) Formal Methods for Open Object-Based Distributed Systems (FMOODS'97)
- Fischer, C.¹

29
- 0031341094
- Refinement and verification of concurrent systems specified in Object-Z and CSP
- IEEE
- (1997) Int. Conf. of Formal Engineering Methods (ICFEM)
- Smith, G.¹ Derrick, J.²

30
- 0031597156
- Blending Object-Z and Timed CSP: An introduction to TCOZ
- April
- (1998) IEEE Int. Conf. on Software Engineering
- Mahony, B.¹ Dong, J.S.²

31
- 0031357772
- The state-based CCS semantics for concurrent Z specification
- (1997) First IEEE Int. Conf. on Formal Engineering Methods
- Taguchi, K.¹ Araki, K.²

32
- 0024090151
- Axiomatising finite concurrent processes
- October
- (1988) SIAM Journal on Computing , pp. 997-1017
- Hennessy, M.¹

33
- 0003279318
- How to combine z with a process algebra
- Germany, September
- (1998) ZUM'98: The Z Formal Specfication Notations
- Fischer, C.¹

34
- 0004138354
- July
- (1998) Workflow management application programming interface (interface 2 & 3) specification

35
- 0003479195
- Febrary
- (1999) Workflow management coalition terminology and glossary

36
- 0003902059
- Prentice Hall
- (1996) Using Z: Specification, Refinement, and Proof
- Woodcock, J.¹ Davies, J.²

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