An integrated approach for the specification of processes and related complex structured objects in business applications

Decision Support Systems

Volumn 17, Issue 1 SPEC. ISS., 1996, Pages 31-53

  Oberweis, Andreas ^a,b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b GOETHE UNIVERSITY   (Germany)

Author keywords

Business process modelling; Complex objects; Petri nets

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; PLANNING; RESOURCE ALLOCATION;

BUSINESS PROCESS MODELLING; COMPLEX OBJECTS;

PETRI NETS;

EID: 0030126157     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-9236(95)00021-6     Document Type: Article

References (39)

1. A. Borgida, Language Features for Flexible Handling of Exceptions in Information Systems, ACM Transactions on Database Systems 10(4) (1985) 565-603.
2. M.L. Brodie and D. Ridjanovic, On the Design and Specification of Database Transactions, in: M.L. Brodie, J. Mylopoulos and J.W. Schmidt (Eds.), On Conceptual Modelling (Springer-Verlag, Berlin, 1984) pp. 278-306.
3. W. Brauer, W. Reisig and G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, LNCS 254 (Springer-Verlag, Berlin, 1987).
4. C. Bussler and S. Jablonski, Process Modeling and Execution in Workflow Management Systems, in: A.R. Hevner and N.N. Karmel (Eds.), Proceedings of the Third Annual Workshop on Information Technologies and Systems WITS'93, Orlando, FL, 1993, pp. 152-161.
5. E.F. Codd, A Relational Model for Large Shared Data Banks, Communications of the ACM 13(6) (1970) 377-387.
6. J. Eder, G. Kappel, A.M. Tjoa and A.A. Wagner, BIER: The Behaviour Integrated Entity Relationship Approach, in: S. Spaccapietra (Ed.), Proceedings of the 5th International Conference on Entity-Relationship Approach, Dijon, France, 1986 (North-Holland, 1987) pp. 147-168.
7. C.A. Ellis and G.J. Nutt, Modeling and Enactment of Workflow Systems, in: M.A. Marsan (Ed.), Proceedings of the 14th International Conference on Application and Theory of Petri Nets 1993, Chicago, LNCS (Springer-Verlag, Berlin, 1993) pp. 1-16.
8. S.J. Greenspan, A. Borgida and J. Mylopoulos: A Requirements Modeling Language and its Logic, in: M.L. Brodie and J. Mylopoulos (Eds.), On Knowledge Base Management Systems. Integrating Artificial Intelligence and Database Technologies (Springer-Verlag, Berlin, 1986) pp. 471-502.
9. H.J. Genrich, Predicate/Transition Nets, in: W. Brauer, W. Reisig and G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, LNCS 254 (Springer-Verlag, Berlin, 1987) pp. 207-247.
10. D. Georgakopoulos, M. Hornick and A. Sheth: An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure, Distributed and Parallel Databases, September 1994.
11. V. Gruhn and R. Jegelka, An Evaluation of FUNSOFT Nets, in: J.C. Derniame (Ed.), Proceedings of the Second European Workshop on Software Process Technology, LNCS (Springer-Verlag, Berlin, 1992).
12. C.A. Heuser, E.M. Peres and G. Richter, Towards a Complete Conceptual Model: Petri Nets and Entity-Relationship Diagrams, Information Systems 18(5) (1993) 275-298.
13. A. Horndasch, R. Studer and R. Yasdi, An Approach to (Office) Information System Design Based on General Net Theory, in: Procedings IFIP TC8.1 TFAIS85 (North-Holland, 1985).
14. INCOME User Documentation, INCOME/Designer, INCOME/Dictionary, INCOME/Generator, INCOME/Simulator. PROMATIS Informatik, Karlsbad/Germany, 1994.
15. H. Ishii and K. Kubota, Office Procedure Knowledge Base for Organizational Office Work Support, in: B. Pernici and A.A. Verrijn-Stuart (Eds.), Office Information Systems: The Design Process (North-Holland, 1989) pp. 55-72.
16. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1 (Springer-Verlag, Berlin, 1992).
17. G. Lausen and H.J. Schek, Semantic Specification of complex objects, in: Proceedings IEEE-CS Symposium on Office Automation, Gaithersburg/USA, 1987.
18. G. Lausen, Modelling and Analysis of the Bahaviour of Information Systems, IEEE Transactions on Software Engineering 14(11) (1988) 1610-1620.
19. G. Lausen, T. Németh, A. Oberweis, F. Schönthaler and W. Stucky, The INCOME Approach for Conceptual Modelling and Prototyping of Information Systems, in: CASE89. The First Nordic Conference on Advanced Systems Engineering, Stockholm/Sweden, 1989.
20. T. Mochel, A. Oberweis and V. Sänger: INCOME/STAR: The Petri Net Simulation Concepts, Systems Analysis - Modelling-Simulation, Journal of Modelling and Simulation in Systems Analysis 13 (1993) 21-36.
21. R. Medina-Mora, T. Winograd, R. Flores and F. Flores, The Action Workflow Approach to Workflow Management Technology, in: Proceedings of the Conference on Computer-Supported Cooperative Work CSCW'92 (acm Press, 1992) pp. 281-288.
22. A. Oberweis, Checking Database Integrity Constraints while Simulating Information System Behaviour, in: Proceedings of 9th European Workshop on Application and Theory of Petri Nets, Venice/Italy, 1988, pp. 299-308.
23. A. Oberweis, Workflow Management in Software Engineering Projects, in: S. Medhat (Ed.), Proceedings 2nd International Conference on Concurrent Engineering and Electronic Design Automation, Bournemouth/UK, 1994, pp. 55-60.
24. A. Oberweis and G. Lausen, On the Representation of Temporal Knowledge in Office Systems, in: C. Rolland, M. Leonard and F. Bodart (Eds.), Proceedings AFCET/IFIP-TC8 Conference on Temporal Aspects in Information Systems (TAIS), Sophia-Antipolis/ France, North-Holland, 1988, pp. 131-145.
25. A. Oberweis and P. Sander, The Specification of Complex Object Behaviour by High-Level Petri Nets, Forschungsbericht 254, Institut AIFB, Universität Karlsruhe, Karlsruhe/Germany, September 1992.
26. ORACLE*CASE User's Guide and Reference: CASE*Dictionary, CASE* Designer, CASE* Generator. Oracle Corporation, Redwood City, 1992.
27. A. Oberweis, P. Sander and W. Stucky, Petri Net Based Modelling of Procedures in Complex Object Database Applications, in: D. Cooke (Ed.), Proceedings IEEE Seventeenth Annual International Computer Software and Applications Conference COMPSAC 93, Phoenix/Arizona, 1993, pp. 138-144.
28. A. Oberweis, G. Scherrer and W. Stucky, INCOME/STAR: Methodology and Tools for the Development of Distributed Information Systems, Information Systems 19(8) (1994) 643-660.
29. A. Oberweis, T. Wendel and W. Stucky, Teamwork Coordination in a Distributed Software Development Environment, in: B. Wolfinger (Ed.), Proceedings GI-Fachgespräch Communication and Coordination in Distributed Corporate Application Systems, IFIP'94 Workshop, Hamburg/Germany (Springer-Verlag, Berlin, 1994) 423-429.
30. J. Peckham and F. Maryanski, Semantic Data Models, ACM Computing Surveys 20(3) (1988) 153-189.
31. C. Rolland and N. Prakash, Reusable Process Chunks, in: V. Marik, J. Lazansky and R.R. Wagner (Eds.), Proceedings 4th International Conference Database and Expert Systems Applications DEXA'93 (Springer-Verlag, Berlin, 1993) 655-666.
32. H. Sakai, A Method for Entity-Relationship Behaviour Modeling, in: C.G. Davis, S. Jajodia, P.A. Ng and R.T. Yeh (Eds.), Entity-Relationship Approach to Software Engineering (North-Holland, 1983) pp. 111-129.
33. P. Sander, Boolean Lattices of Nested Relations as a Foundation for Rule-Based Database Languages, Data and Knowledge Engineering 8(2) (1992) 93-130.
34. P. Sander, Eine ordnungsbasierte Regelsprache für NF2-Relationen, Doctoral Thesis, Institut AIFB, Universität Karlsruhe, Verlag Shaker, Aachen/Germany, 1993 (in German).
35. A.W. Scheer, Architecture of Integrated Information Systems. Foundations of Enterprise Modelling (Springer-Verlag, Berlin, 1992).
36. H.-J. Schek and M. Scholl, The Relational Model with Relation-Valued Attributes, Information Systems 11(2) (1986) 137-147.
37. A. Solvberg and C.H. Kung, On Structural and Behavioral Modelling of Reality, in: T.B. Steel and R. Meersman (Eds.), Database Semantics (North-Holland, 1986) 205-221.
38. E.S.K. Yu, An Organization Modelling Framework for Information Systems Requirements Engineering, in: A.R. Hevner and N.N. Karmel (Eds.), Proceedings 3rd Annual Workshop on Information Technologies and Systems WITS'93, Orlando, FL, 1993, pp. 152-161.
39. M.M. Zloof, Query-By-Example: The Invocation and Definition of Tables and Forms, in: D.S. Kerr (Ed.), Proceedings International Conference on Very Large Data Bases, Framingham, MA, 1975, pp. 1-24.