Skip to main content
SpringerLink
Log in

Activity threads: A unified framework for aiding behavioural modelling

  • Modelling II
  • Conference paper
  • First Online:
Book cover Database and Expert Systems Applications (DEXA 1997)

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

Included in the following conference series:

  • 104 Accesses

Abstract

Modelling dynamics is a difficult and errorprone task and designers are provided with few aid when abstracting behaviour. For aiding designers when describing behaviour, analysis techniques could be developed for detecting some modelling defects or possible critical situations. Such controls are strongly required, however they cannot filter all possible anomalies. For complementing them, we propose a method for exhibiting and giving back to designers “what is actually expressed” in their specifications. The representation mechanism which is defined for supporting the method is called thread of activity. Threads provide an interesting vision of behaviour highlighting possible modelling defects.

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. S. Abiteboul and R. Hull. IFO: A Formal Semantic Database Model. ACM Transactions on Database Systems, 12(4):525–565, December 1987.

    Google Scholar 

  2. A. Aiken, J.M. Hellerstein, and J. Widom. Static Analysis Techniques for Predicting the Behaviour of Active Database Rules. ACM Transactions on Database Systems, 20(1):3–41, March 1995.

    Google Scholar 

  3. E. Benazet, H. Guehl, and M. Bouzeghoub. VITAL: A Visual Tool for Analysis of Rules Behaviour in Active Databases. In Proocedings of the Rules in Database, Lecture Notes in Computer Science, Athens, Greece, September 1995.

    Google Scholar 

  4. G. Booch. Object-Oriented Design with Applications. Benjamin/Cumming Company, 1991.

    Google Scholar 

  5. S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S.K. Kim. Composite Events for Active Databases: Semantics, Contexts and Detection. In Proc. of Conf. VLDB, pages 606–617, Santiago, Chile, September 1994.

    Google Scholar 

  6. S. C. Cheung and J. Kramer. Tractable Flow Analysis for Anomaly Detection in Distributed Programs. In Proceedings of the 4th European Software Engineering Conference, pages 283–300, 1993.

    Google Scholar 

  7. S. C. Cheung and J. Kramer. Tractable Dataflow Analysis for Distributed Systems. IEEE Transactions on Software Engineering, 20(8):579–593, 1994.

    Google Scholar 

  8. P. Coad and E. Yourdon. Object-Oriented Analysis. Yourdon Press Computing Series, 1990.

    Google Scholar 

  9. P. Loucopoulos and R. Zicari. Conceptual Modeling, Databases and CASE: An Integrated View of Information Systems Development. Wiley Professional Computing, 1992.

    Google Scholar 

  10. Z. Manna and A. Pnueli. Specification and Verification of Concurrent Programs by ∀-Automata. In Proc. of the Temporal Logic in Specification Conference, volume 398 of LNCS, pages 124–164, Altrincham, UK, April 1987.

    Google Scholar 

  11. Z. Manna and A. Pnueli. The Anchored Version of the Temporal Framework. In Proocedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Conference, volume 354 of Lectures Notes in Computer Science, pages 201–284, 1989.

    Google Scholar 

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

    Google Scholar 

  13. P. Poncelet, M. Teisseire, R. Cicchetti, and L. Lakhal. Towards a Formal Approach for Object-Oriented Database Design. In Proc. of the Int. Conf. VLDB, pages 278–289. Dublin, Ireland, August 1993.

    Google Scholar 

  14. J.H. Reif and A. Smolka. Dataflow Analysis of Distributed Communicating Processes. International Journal of Parallel Programming, 19(1):1–30, 1990.

    Google Scholar 

  15. C. Rolland and C. Cauvet. Trends and Perspectives in Conceptual Modeling. in [9], 1992.

    Google Scholar 

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

    Google Scholar 

  17. I. Sommerville. Software Engineering. Addison-Wesley, 1991.

    Google Scholar 

  18. M. Teisseire, P. Poncelet, and R. Cicchetti. Towards Event-Driven Modelling for Database Design. In Proc. of the Int. Conf. VLDB, Santiago, Chile, September 1994.

    Google Scholar 

  19. J. Widom and S. Ceri. Active Database Systems. Triggers and Rules for Advanced Database Processing. Morgan Kaufmann Publishers, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IUT Aix en Provence - Département Informatique, Avenue Gaston Berger, 13625, Aix en Provence Cedex 01, France

    Bernard Faure & Rosine Cicchetti

  2. LIRMM UMR CNRS 5506, ISIM- Univ. Montpellier II, France

    Maguelonne Teisseire

  3. LIM - Univ. de la Méditerranée, France

    Rosine Cicchetti

Authors
  1. Bernard Faure
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maguelonne Teisseire
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rosine Cicchetti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Abdelkader Hameurlain A Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Faure, B., Teisseire, M., Cicchetti, R. (1997). Activity threads: A unified framework for aiding behavioural modelling. In: Hameurlain, A., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1997. Lecture Notes in Computer Science, vol 1308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022024

Download citation

  • DOI: https://doi.org/10.1007/BFb0022024

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63478-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation