Skip to main content
SpringerLink
Log in
Book cover

Concurrent Object-Oriented Programming and Petri Nets pp 319–337Cite as

Modelling Constrained Geometric Objects with OBJSA Nets

  • Chapter
  • First Online:

  • 577 Accesses

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

Abstract

In this paper we introduce a formal specification of the problem of modelling geometric constrained objects adopting OBJSA nets, a high level Petri net. The geometric objects are defined imperatively while constructing them. The approach is innovative in that it solves constraints during manipulation, propagating messages among the objects involved in the geometric figure and it does not require numerical techniques. The formalization of the geometric constructions with OBJSA nets has been an important step to validate the system and in particular the constraint maintenance algorithm. Each class of the system is modelled by a OBJSA component and their compositions allows to describe a generic construction. The algorithm specified in OBJSA can be simulated in the ONE (OBJSA Net Environment) environment.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alberti, M.A., Bastioli E., Marini, D.: Towards Object-Oriented Modelling of Euclidean Geometry, The Visual Computer, vol. 11, (1995) 378–389

    Google Scholar 

  2. Battiston, E., De Cindio, F., Mauri, G.: OBJSA Nets: a class of high level nets having objects as domains, in Advances in Petri Nets 1988, G. Rosenberg (ed.), LNCS 340, Springer-Verlag, Berlin, (cy1988) 20–43

    Google Scholar 

  3. Borning, A.: The programming language aspects of ThingLab, A Constraint-Oriented Simulation Laboratory, ACM Transactions on Programming Languages and Systems, 3(4), (1981) 353–387

    Article  Google Scholar 

  4. Borning, A., Duisberg, R.: Constrained-based tools for building user interfaces, ACM Transactions on Graphics, 5(4), (1986) 245–374

    Article  Google Scholar 

  5. Roth, J., Hashimshony, R.: Algorithms in graph theory and their use for solving problems in architectural design, Computer-Aided Design, 20(7), (1988) 373–381

    Article  MATH  Google Scholar 

  6. Cohen, E., Smith, E., Iverson L.: Constrained-based tiled windows, IEEE Computer Graphics & Applications, (1986) 35–45

    Google Scholar 

  7. Sutherland, I.E.: SKETCHPAD: a man-machine graphical communication system., Proceedings Spring Joint Computer Conference, (1963) 329–346

    Google Scholar 

  8. Nelson, G.: Juno, a constraint-based graphics system, SIGGRAPH Computer Graphics, 19(3), (1985) 235–243

    Article  Google Scholar 

  9. Fuller, N., Prusinkiewicz, P.: Applications of Euclidean constructions to computer graphics, The Visual Computer, 5, (1989) 53–67

    Article  MATH  Google Scholar 

  10. Bruderlin, B.: Constructing three dimensional geometric objects defined by constraints, Workshop on Interactive 3D graphics, Vol. 23–24, October, (1986) 111–129

    Google Scholar 

  11. Sohrt W.: Interaction with constraints in three dimensional modeling, Master’s Thesis, Dept. Computer Science, The University of Utah, (1991)

    Google Scholar 

  12. van Emmerik, M.: A System for Interactive Graphical Modelling with Three-Dimensional Constraints, Proceedings of Computer Graphics Interactive’ 90, (1990) 361–376

    Google Scholar 

  13. Kwaiter, G., Gaildrat, V., Caubet, R.: LinkEdit: an interactive graphical system for modelling objects with constraints, Proceedings of Compugraphics 96, (1996) 211–219

    Google Scholar 

  14. Sannella, M.: The SkyBlue Constraint Solver, Technical Report 92-07-02, Dept. Comp. Science and Eng. University of Washington, (1993)

    Google Scholar 

  15. Battiston, E., De Cindio, F., Mauri, G.: A class of Modular Algebraic Nets and its support Environment, CNR, Progetto Finalizzato “Sistemi Informatici e Calcolo Parallelo”, Rapporto n. 4/105, (1994)

    Google Scholar 

  16. Battiston, E., Tirloni, P.: Guida all’ambiente ONE (OBJSA Net Environment), CNR, Progetto Finalizzato “Sistemi Informatici e Calcolo Parallelo”, Rapporto n. 4, (1994)

    Google Scholar 

  17. Klein, F.: Famous problems of elementary geometry (1895), in: Klein et al. Famous problems and other monographs. New-York: Chelsea Pub. Co., (1980)

    Google Scholar 

  18. Evi, P.: Euclidean Geometry Knowledge Representation with Object-Oriented Paradigm and Petri Nets, Tesi di Laurea, A.A.. 1993#x2013;94, Universitá degli Studi di Milano, Dipartimento di Scienze dell’Informazione (in Italian) (1994)

    Google Scholar 

  19. De Cindio, F., De Michelis, G., Pomello L., Simone, C.: Superposed Automata Nets, Application and Theory of Petri Nets, C. Girault, W. Reisig (eds.), IFB 52, Springer-Verlag, Berlin, (1982) 189–212

    Google Scholar 

  20. Goguen, J.A., Winkler, T.: Introducing OBJ3, Report SRI-CSL-88-9, SRI International, Computer Science Lab., (1988)

    Google Scholar 

  21. Alberti M.A., Marini, D.: Knowledge Representation in a Learning Environment for Euclidean Geometry, in The Design of Computational Media to Support Exploratory Learning, C. Hoyles, A. DiSessa & L. Edwards (eds.), NATO ASI Series F, vol. 146, Springer-Verlag, Berlin, (1995) 109–126

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano, Via Comelico 39/41, 20135, Milano, Italy

    Maria Alberta Alberti, Paolo Evi & Daniele Marini

Authors
  1. Maria Alberta Alberti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Evi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daniele Marini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Alberti, M.A., Evi, P., Marini, D. (2001). Modelling Constrained Geometric Objects with OBJSA Nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-45397-0_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45397-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation