메뉴 건너뛰기




Volumn 12, Issue 5, 2006, Pages 608-621

Feature-oriented workflow modelling based on enterprise human resource planning

Author keywords

Business process re engineering; Design; Human resource management; Modelling; Office automation; Specifications

Indexed keywords


EID: 33748678501     PISSN: 14637154     EISSN: None     Source Type: Journal    
DOI: 10.1108/14637150610691028     Document Type: Article
Times cited : (6)

References (36)
  • 1
    • 85031933412 scopus 로고
    • Composing specifications
    • System Research Center
    • Abadi, M. and Lamport, L. (1990), "Composing specifications", Technical Report 66, System Research Center.
    • (1990) Technical Report , vol.66
    • Abadi, M.1    Lamport, L.2
  • 2
    • 2542533710 scopus 로고
    • An axiomatization of Lamport's temporal logic of action
    • Systems Research Center of Digital Equipment Corporation
    • Abedi, M. (1990), "An axiomatization of Lamport's temporal logic of action", technical report, Systems Research Center of Digital Equipment Corporation.
    • (1990) Technical Report
    • Abedi, M.1
  • 3
    • 0020849266 scopus 로고
    • Maintaining knowledge about temporal intervals
    • Allen, J.F. (1983), "Maintaining knowledge about temporal intervals", Communication of ACM, Vol. 26 No. 11, pp. 832-43.
    • (1983) Communication of ACM , vol.26 , Issue.11 , pp. 832-43
    • Allen, J.F.1
  • 4
    • 77957182145 scopus 로고
    • Actions and events in interval temporal logic
    • Allen, J.F. and Ferguson, G. (1994), "Actions and events in interval temporal logic", Journal of Logic and Computation, Vol. 4 No. 5, pp. 531-79.
    • (1994) Journal of Logic and Computation , vol.4 , Issue.5 , pp. 531-79
    • Allen, J.F.1    Ferguson, G.2
  • 6
    • 33748700622 scopus 로고    scopus 로고
    • Domain engineering: A radical innovation for software and system engineering
    • paper presented
    • Bjorner, D. (2002), "Domain engineering: a radical innovation for software and system engineering", paper presented at the US Army Research Office sponsored Monterery Workshop.
    • (2002) US Army Research Office sponsored Monterery Workshop
    • Bjorner, D.1
  • 8
    • 0000048034 scopus 로고    scopus 로고
    • Modeling workflow dynamic change using timed hybrid flow nets
    • Number LNCS 1806 Eindhoven University of Technology Eindhoven
    • CA, E., K, K. and J, W. (1998), "Modeling workflow dynamic change using timed hybrid flow nets", Workflow Management: Net-based Concepts, Models, Techniques and Tools, Number LNCS 1806, Eindhoven University of Technology, Eindhoven, pp. 109-28.
    • (1998) Workflow Management: Net-based Concepts, Models, Techniques and Tools , pp. 109-28
    • E., C.A.1    K., K.2    W., J.3
  • 9
    • 33748698848 scopus 로고    scopus 로고
    • Levels of help, levels of delegation and agent modeling
    • Tambe, M. Gmytrasiewcz, P., Portland, OR
    • Castelfranchi, C. and Falcone, R. (1996), "Levels of help, levels of delegation and agent modeling", in Tambe, M. and Gmytrasiewcz, P. (Eds), Working Notes of the AAAI - 96 Workshop on Agent Modeling, Portland, OR, pp. 1-8.
    • (1996) Working Notes of the AAAI - 96 Workshop on Agent Modeling , pp. 1-8
    • Castelfranchi, C.1    Falcone, R.2
  • 10
    • 0032154114 scopus 로고    scopus 로고
    • Towards a theory of delegation for agent based-systems
    • Castelfranchi, C. and Falcone, R. (1998), "Towards a theory of delegation for agent based-systems", Robotic and Autonomous Systems, Vol. 24, pp. 141-57.
    • (1998) Robotic and Autonomous Systems , vol.24 , pp. 141-57
    • Castelfranchi, C.1    Falcone, R.2
  • 12
    • 0010139052 scopus 로고    scopus 로고
    • Modeling, simulation and analysis of business processes
    • Number LNCS 1806 Springer Verlag Berlin
    • Desel, J. and Erwin, T. (2000), "Modeling, simulation and analysis of business processes", Business Process Management, Number LNCS 1806, Springer Verlag, Berlin, pp. 129-41.
    • (2000) Business Process Management , pp. 129-41
    • Desel, J.1    Erwin, T.2
  • 14
    • 0026980757 scopus 로고    scopus 로고
    • Time management: A case for CSCW
    • ACM New York, NY
    • Egger, E. and Wagner, I. (1999), "Time management: a case for CSCW", CSCW'92, ACM, New York, NY, pp. 249-56.
    • (1999) CSCW'92 , pp. 249-56
    • Egger, E.1    Wagner, I.2
  • 16
    • 0003198753 scopus 로고
    • Logics of time and computation
    • CSLI - Center for Study of Language and Information, Stanford University Stanford, CA
    • Goldblatt, R. (1986), "Logics of time and computation", CSLI Lecture Notes, Vol. 7, CSLI - Center for Study of Language and Information, Stanford University, Stanford, CA.
    • (1986) CSLI Lecture Notes , vol.7
    • Goldblatt, R.1
  • 17
    • 33748680102 scopus 로고    scopus 로고
    • Formalising feasibility and correctness of distributed business processes
    • Janowski, T. and Adegboyega, O. (2002), "Formalising feasibility and correctness of distributed business processes", Lecture Notes in Computer Science, Vol. 2465, pp. 432-43.
    • (2002) Lecture Notes in Computer Science , vol.2465 , pp. 432-43
    • Janowski, T.1    Adegboyega, O.2
  • 21
    • 33748711421 scopus 로고
    • TLA in pictures
    • System Research Center - SRC
    • Lamport, L. (1994), "TLA in pictures", technical report, System Research Center - SRC.
    • (1994) Technical Report
    • Lamport, L.1
  • 27
  • 28
    • 33748686587 scopus 로고    scopus 로고
    • A generic abstract model for business processes and workflows management
    • (n.d.)paper presented, IRB Verlag Stuttgart
    • Roger, A.E. and Ndjodo, M.F. (n.d.), "A generic abstract model for business processes and workflows management", paper presented at 4th the International Workshop on Mobile Computing, IRB Verlag, Stuttgart, pp. 62-72.
    • 4th the International Workshop on Mobile Computing , pp. 62-72
    • Roger, A.E.1    Ndjodo, M.F.2
  • 29
    • 33748694903 scopus 로고    scopus 로고
    • The partnership approach to mobility management: An evaluation of different models for travel planning by groups of employees
    • paper presented
    • Rye, T. and Paterson, C. (2001), "The partnership approach to mobility management: an evaluation of different models for travel planning by groups of employees", paper presented at the ECOMM.
    • (2001) ECOMM
    • Rye, T.1    Paterson, C.2
  • 31
    • 33748689023 scopus 로고    scopus 로고
    • Lesson from travel planning and road user charging for policy-marking: Through imperfection to implementation
    • (n.d.), paper presented, October 2002
    • Stephen Ison, T.R. (n.d.), "Lesson from travel planning and road user charging for policy-marking: through imperfection to implementation", paper presented at the Third seminar of the IMPRINT-EUROPE, October 2002.
    • Third seminar of the IMPRINT-EUROPE
    • Stephen Ison, T.R.1
  • 32
    • 0034156532 scopus 로고    scopus 로고
    • Verification of workflow task structures: A Petri-net-based approach
    • van der Aalst, W. and ter Hofstede, A. (2000), "Verification of workflow task structures: a Petri-net-based approach", Information Systems, Vol. 25 No. 1, pp. 43-69.
    • (2000) Information Systems , vol.25 , Issue.1 , pp. 43-69
    • Van Der Aalst, W.1    Ter Hofstede, A.2
  • 33
    • 0030190585 scopus 로고    scopus 로고
    • Business process redesign: A Petri-net-based approach
    • van der Aalst, W. and van Hee, K. (1996), "Business process redesign: a Petri-net-based approach", Computer in Industry, Vol. 29 Nos 1/2, pp. 15-26.
    • (1996) Computer in Industry , vol.29 , Issue.12 , pp. 15-26
    • Van Der Aalst, W.1    Van Hee, K.2
  • 34
    • 0002635781 scopus 로고
    • Modelling and analysing workflow using a Petri-net based approach
    • paper presented
    • van der Aalst, W., van Hee, K. and Houben, G. (1994), "Modelling and analysing workflow using a Petri-net based approach", paper presented at the Second Workshop on CSCW, pp. 31-50.
    • (1994) Second Workshop on CSCW , pp. 31-50
    • Van Der Aalst, W.1    Van Hee, K.2    Houben, G.3
  • 35
    • 2342635664 scopus 로고    scopus 로고
    • Techniques for modelling workflows and their support of reuse
    • Springer Verlag Berlin
    • van der Aalst, W. et al. (2000), "Techniques for modelling workflows and their support of reuse", Business Process Management, Springer Verlag, Berlin, pp. 1-15.
    • (2000) Business Process Management , pp. 1-15
    • Van Der Aalst, W.1


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