BPMN and Beyond Business process modelling notation, workflow ...

More documents

Recommendations

Info

References [BST09] E. Börger, O. Sörensen, and B. Thalheim. On defining the behavior of or-joins in business process models. Journal of Universal Computer Science, 2009. to appear. [BT07] A. Berztiss and B. Thalheim. Exceptions in information systems. In Digital Libaries: Advanced Methods and Technologies, RCDL 2007, pages 284–295, 2007. [BT08a] E. Börger and B. Thalheim. A method for verifiable and validatable business process modeling. In Software Engineering, volume 5316 of Lecture Notes in Computer Science, page 59115. Springer, 2008. [BT08b] E. Börger and B. Thalheim. Modeling workflows, interaction patterns, web services and business processes: The ASM-based approach. In ABZ, volume 5238 of Lecture Notes in Computer Science, pages 24–38. Springer, 2008. [BZKST05] A. Binemann-Zdanowicz, Z. Kramer, P. Schmidt, and B. Thalheim. ASM support for the validation of specifications: Lessons learned from an egovernment project. In Proc. Abstract State Machines Conference (ASM 2005). Springer-Verlag, 2005. [BZT03] A. Binemann-Zdanowicz and B. Thalheim. Modeling of information services on the basis of ASM semantics. In ASM’2003, LNCS 2589, pages 408 – 410. Springer, 2003. [DMT07] J. Demetrovics, A. Molnar, and B. Thalheim. Graphical axiomatisation of sets of functional dependencies in relational databases. In Alkalmazott Matematikai Lapok, [FRT05] volume 24, pages 223–264. 2007. G. Fiedler, T. Raak, and B. Thalheim. Database collaboration instead of integration. In APCCM’05, 2005. [KSTZ03] R. Kaschek, K.-D. Schewe, B. Thalheim, and Lei Zhang. Integrating context in conceptual modelling for web information systems, web services, e-business, and the semantic web. In WES 2003, LNCS 3095, pages 77–88. Springer, 2003. [MDT04] [PT03] A. Molnar, J. Demetrovics, and B. Thalheim. Graphical and spreadsheet reasoning for sets of functional dependencies. Technical Report 2004-2, Christian Albrechts University Kiel, Institute of Computer Science and Applied Mathematics, Kiel, 2004. A. Prinz and B. Thalheim. Modeling of information services on the basis of ASM semantics. In ASM’2003, LNCS 2589, pages 418 – 420. Springer, 2003. [ST04a] K.-D. Schewe and B. Thalheim. The co-design approach to wis development in e-business and e-learning applications. In Workshop Fragmentation versus Integration, co-located with Fifth International Conference on Web Information Systems Engineering (WISE 2004), LNCS 3307, pages 181–189. Springer, Nov. 2004. [ST04b] [ST05] [ST06] [ST08a] [ST08b] K.D. Schewe and B. Thalheim. Web information systems: Usage, content, and functionality modelling. Technical Report 2004-3, Christian Albrechts University Kiel, Institute of Computer Science and Applied Mathematics, Kiel, 2004. K.-D. Schewe and B. Thalheim. The co-design approach to web information systems development. International Journal of Web Information Systems, 1(1):5–14, March 2005. K.-D. Schewe and B. Thalheim. Component-driven engineering of database applications. In Markus Stumptner, Sven Hartmann, and Yasushi Kiyoki, editors, Third Asia-Pacific Conference on Conceptual Modelling (APCCM2006), volume 53 of CR- PIT, pages 105–114, Hobart, Australia, 2006. ACS. K.-D. Schewe and B. Thalheim. ASM foundations of database management. In Information Systems and e-Business Technologies, volume LNBIP 5, pages 318– 331, Berlin, 2008. Springer. K.-D. Schewe and B. Thalheim. Semantics in data and knowledge bases. In SDKB, volume 4925 of Lecture Notes in Computer Science, page 125. Springer, 2008.
[Tha00] B. Thalheim. Entity-relationship modeling – Foundations of database technology. Springer, Berlin, 2000. [Tha01] B. Thalheim. ASM specification of internet information services. In Proc. Eurocast 2001, Las Palmas, pages 301–304, 2001. [Tha07a] B. Thalheim. Conceptual modeling in information systems engineering. In J.Krogstie and A. Lothe, editors, Challenges to Conceptual Modelling, pages 59– 74, Berlin, 2007. Springer. [Tha07b] B. Thalheim. Pearls of modelling: From relational databases to xml suites. In Liber Amicorum for Jan Paredaens on the occasion of his 60th birthday, pages 120–139. 2007. [Tha08] B. Thalheim. Achievements and problems of conceptual modelling. In Active Conceptual Modeling of Learning, LNCS 4512, pages 72–96, Berlin, 2008. Springer. [Tha09] B. Thalheim. Section or subsection. In Encyclopedia of Database Theory, Technology and Systems. Springer, 2009. [WST08] Q. Wang, K.-D. Schewe, and B. Thalheim. Xml database transformations with tree updates. In ABZ, volume 5238 of Lecture Notes in Computer Science, page 342. Springer, 2008.
Page 1: BPMN and Beyond Business process mo
Page 5 and 6: can be defined elementwise, constru
Page 7 and 8: Our target reader is either knowled
Page 9 and 10: 3 Framework for BPMN Execution Mode
Page 11 and 12: is usually required to be an atomic
Page 13 and 14: workflow designer to define in a si
Page 15 and 16: AndJoinGateTransition(node) = Workf
Page 17 and 18: that it does not depend only on the
Page 19 and 20: elow, an instance of WorkflowTransi
Page 21 and 22: as they arrive” [15, Sect.9.3.3 p
Page 23 and 24: to whose boundary e is attached and
Page 25 and 26: if active(targetAct(e)) then Consum
Page 27 and 28: . . . with the assistance of a soft
Page 29 and 30: The BPMN standard forsees also that
Page 31 and 32: ComplMultInstExit has to keep track
Page 33 and 34: and that “The performers determin
Page 35 and 36: One project of practical interest w
Page 37 and 38: OrSplitGateTransition(node) = let O
Page 39 and 40: 9.4 Activity Rules TaskTransition(t
Page 41 and 42: AdHocTransition(node) = [if Enabled
Page 43 and 44: ASM Modules Standard module concept
Page 45 and 46: 5. D. Batory and E. Börger. Modula
Page 47 and 48: On defining the behavior of OR-join
Page 49 and 50: Our definition is based upon a fram
Page 51 and 52: We advocate to separate the two dif
Page 53 and 54:
In the token based approach to cont
Page 55 and 56:
ConsumeAll({(t i , in i )) | 1 ≤
Page 57 and 58:
one wants to impose as constraint o
Page 59 and 60:
B1 D1 A1 Split 2 O B2 O Join 5 A2 S
Page 61 and 62:
Token Sets To speak about the synch
Page 63 and 64:
X Test 2 Assemble O Configure Test
Page 65 and 66:
19. J. Mendling, M. Moser, G. Neuma
Page 67 and 68:
it is supposed to capture. In Sect.
Page 69 and 70:
one may have in = out, so that the
Page 71 and 72:
Separation Principle 5. The fifth e
Page 73 and 74:
5.2 Instantiating ComplexGateTransi
Page 75 and 76:
the Z notation and offering the pos
Page 77 and 78:
ASM Foundations of Database Managem
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Extended Entity-Relationship Model
Page 93 and 94:
or cluster type. In this case they
Page 95 and 96:
omitted until they have been define
Page 97 and 98:
The EER schema can be used to defin
Page 99 and 100:
Specialisation and Generalisation B
Page 101:
abnormal, infrequent and untypical
show all

BPMN and Beyond Business process modelling notation, workflow ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?