Skip to main content
SpringerLink
Log in

From Object-Process Diagrams to a Natural Object-Process Language

  • Conference paper
  • First Online:
Next Generation Information Technologies and Systems (NGITS 1999)

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

  • 242 Accesses

Abstract

As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becoming more pressing. We propose the Object-Process Language as a textual natural language means for systems specification that is complementary to the graphic description through Object-Process Diagrams.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ostroff, J.S.:Formal Methods for the Specification and Design of Real-Time Safety Critical Systems. The Journal of Systems and Software 18, 1, (1992) 33–60

    Google Scholar 

  2. Luqi and Goguen J.A.: Formal Methods: Promises and Problems. IEEE Software1 (1997) 73–85

    Article  Google Scholar 

  3. Jahanian, F. and Mok, A.: Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions on Software Engineering Vol. SE-12,No. 9 (1986) 890–904

    Google Scholar 

  4. Koymans, R.:Specifying Message Passing and Time Critical Systems With Temporal Logic. Lecture Notes in Computer Science, Vol. 651. Springer-Verlag, Berlin Heidelberg New York (1992)

    MATH  Google Scholar 

  5. Ostroff, J.L., and Wonham, W.M.: A Framework for Real-Time Discrete Event Control. IEEE Transactions on Automatic Control, 35, 4. (1990) 386–397.

    Article  MATH  MathSciNet  Google Scholar 

  6. Harel, D.: Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming (1987) 231–274.

    Google Scholar 

  7. Dori D.: Object-Process Analysis: Maintaining the Balance between System Structure and Behavior. Journal of Logic and Computation. 5, 2 (1995) 227–249.

    Article  Google Scholar 

  8. Peleg, M. and Dori, D.: Extending the Object-Process Methodology to Handle Real-Time Systems. Journal of Object-Oriented Programming 11, 8, (1999) 53–58.

    Google Scholar 

  9. Aho, A.V., Sethi, R. and Ullman, J.D.: Compilers/Principles, Techniques, and Tools, Addison-Wesley, 1986.

    Google Scholar 

  10. Dori, D. and Goodman, M.: From Object-Process Analysis to Object-Process Design, Annals of Software Engineering, Vol. 2: Object-Oriented Software Engineering: Foundations and Techniques (1996) 20–25.

    Google Scholar 

Download references

Authors
  1. Mor Peleg
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dov Dori
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Matam - Advanced Technology Center, IBM Research Laboratory in Haifa, Haifa, 31905, Israel

    Ron Y. Pinter

  2. SurroMed, Inc., 1060 East Meadow Circle, Palo Alto, CA, 94303, USA

    Shalom Tsur

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Peleg, M., Dori, D. (1999). From Object-Process Diagrams to a Natural Object-Process Language. In: Pinter, R.Y., Tsur, S. (eds) Next Generation Information Technologies and Systems. NGITS 1999. Lecture Notes in Computer Science, vol 1649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48521-X_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-48521-X_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66225-9

  • Online ISBN: 978-3-540-48521-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation