Skip to main content
SpringerLink
Log in

Specifying business processes over objects

  • Conference paper
  • First Online:
Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering (ER 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 881))

Included in the following conference series:

Abstract

The focus of this paper is on the modeling of application and business processes in Cooperative Information Systems. Such processes use several resources and services to achieve a common, global system goal. We integrate the proposed concepts into the framework of a formal object-oriented specification language (Troll). The goals of our approach are to provide additional modeling support for business and application processes, to explain these processes in the underlying framework and to couple tightly the modeling of global processes and the modeling of structural aspects of the system.

Partially supported by ESPRIT BRA WG 6071 IS-CORE, and OBLOG Software, S.A., Lisboa.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Coleman, P. Arnold, S. Bodoff, S. Dollin, H. Gilchrist, F. Hayes, and P. Jeremes. Object-oriented Development — The Fusion Method. Prentice-Hall, 1994.

    Google Scholar 

  2. P. Chen. The Entity-Relationship Model-Toward a Unified View of Data. ACM Transactions on Database Systems, 1(1):9–36, 1976.

    Article  Google Scholar 

  3. B. Curtis, M. Kellner, and J. Over. Process Modeling. Communications of the ACM, 35(9):75–90, 1992.

    Google Scholar 

  4. L. Dami, E. Fiume, O. Nierstrazs, and D. Tsichritzis. Temporal Scripts for Objects. In D. Tsichritzis, editor, Active Object Environments, pages 144–161. Centre Universitaire D'Informatique, Geneva, 1988.

    Google Scholar 

  5. O. K. Frestl and E. J. Sinz. Business Process Modeling. Wirtschaftsinformatik, 35(6):589–592, 1993. (in German).

    Google Scholar 

  6. D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  Google Scholar 

  7. P. Hartel, T. Hartmann, J. Kusch, and G. Saake. Specifying Information System Dynamics in TROLL. In E. Dubois, P. Hartel, and G. Saake, editors, Proc. Workshop Formal Methods for Information System Dynamics, Utrecht (NL), pages 53–64. Univ. of Twente, Technical Report, 1994.

    Google Scholar 

  8. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.

    Google Scholar 

  9. T. Hartmann and G. Saake. Abstract Specification of Object Interaction. Informatik-Bericht 93-08, Technische Universität Braunschweig, 1993.

    Google Scholar 

  10. T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language troll (Version 2.0). Informatik-Bericht 94-03, Technische Universität Braunschweig, 1994.

    Google Scholar 

  11. I. Jacobson. Object-Oriented Software Engineering. Addison-Wesley, Reading, MA, 1992.

    Google Scholar 

  12. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91-04, TU Braunschweig, 1991.

    Google Scholar 

  13. R. Jungclaus. Modeling of Dynamic Object Systems — A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden, 1993.

    Google Scholar 

  14. R. Jungclaus, R. Wieringa, P. Hartel, G. Saake, and T. Hartmann. Combining Troll with the Object Modeling Technique. In Proc. IFIP'94 Workshop F1, GI-Fachgespräch, Hamburg. Springer, Informatik aktuell, 1994. To appear.

    Google Scholar 

  15. C. Kung and A. Solberg. Activity Modeling and Behavior Modeling. In T. Olle, H. Sol, and A. Werrijn-Stuart, editors, Information Sysyem Design Methodologies: Improving the Practice (Proc. IFIP WG 8.1 Working Conference, Noordwijkerhout (NL)), pages 145–171, Amsterdam, 1986. North-Holland.

    Google Scholar 

  16. Z. Manna and Pnueli A. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, 1991.

    Google Scholar 

  17. J. Mylopoulos, P. A. Bernstein, and H. K. T. Wong. A Language Facility for Designing Interactive Database-Intensive Applications. ACM Transactions on Database Systems, 5(2):185–207, 1980.

    Google Scholar 

  18. J. McCarthy and P. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, pages 463–502. Edinburgh University Press, Edingburgh, 1969.

    Google Scholar 

  19. O. Nierstrazs, D. Tsichritzis, V. Mey, and M. Stadelmann. Objects + Scripts = Applications. In D. Tsichritzis, editor, Object Composition, pages 11–30. Centre Universitaire D' Informatique, Geneva, 1991.

    Google Scholar 

  20. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991.

    Google Scholar 

  21. B. Reinwald. Workflow Management in verteilten Systemen. Teubner, Stuttgart, Leipzig, 1993.

    Google Scholar 

  22. G. Saake. Objektorientierte Spezifikation von Informationssystemen. Teubner, Stuttgart/Leipzig, 1993. Habilitationsschrift.

    Google Scholar 

  23. A. Sernadas and H.-D. Ehrich. What Is an Object, After All? In R. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), pages 39–70, Amsterdam, 1991. North-Holland.

    Google Scholar 

  24. A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The Basic Building Blocks of Information Systems. In E. Falkenberg and P. Lindgreen, editors, Information System Concepts: An In-Depth Analysis, pages 225–246, Namur (B), 1989. North-Holland, Amsterdam, 1989.

    Google Scholar 

  25. G. Saake, R. Jungclaus, and T. Hartmann. Application Modelling in Heterogeneous Environments using an Object Specification Language. Int. Journal of Intelligent and Cooperative Information Systems, 2(4):425–449, 1993.

    Google Scholar 

  26. A. Sernadas, C. Sernadas, and J. F. Costa. Object Specification Logic. Research report, INESC/DMIST, Lisbon (P), 1992. To appear in Journal of Logic and Computation.

    Google Scholar 

  27. A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases VLDB'87, pages 107–116. VLDB Endowment Press, Saratoga (CA), 1987.

    Google Scholar 

  28. R. Wieringa, R. Jungclaus, P. Hartel, T. Hartmann, and G. Saake. omTRoll — Object Modeling in TROLL. In U.W. Lipeck and G. Koschorreck, editors, Proc. Intern. Workshop on Information Systems — Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No. 01/93, pages 267–283, 1993.

    Google Scholar 

  29. H. Wächter and A. Reuter. The ConTract Model. In A. K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, pages 219–263. Morgan-Kaufmann, Palo Alto, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, Technical University of Braunschweig, P.O. Box 3329, D-38023, Braunschweig

    Peter Hartel

  2. Deutsche Telekom TD42a, P.O.Box 2000, D-53105, Bonn

    Ralf Jungclaus

Authors
  1. Peter Hartel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Jungclaus
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pericles Loucopoulos

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hartel, P., Jungclaus, R. (1994). Specifying business processes over objects. In: Loucopoulos, P. (eds) Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering. ER 1994. Lecture Notes in Computer Science, vol 881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58786-1_70

Download citation

  • DOI: https://doi.org/10.1007/3-540-58786-1_70

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58786-6

  • Online ISBN: 978-3-540-49100-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation