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.

Modelling constrained geometric objects with OBJSA nets / M.A. Alberti, P. Evi, D. Marini - In: Concurrent object-oriented programming and Petri nets : advances in Petri nets / [a cura di] G.A. Agha, F. De Cindio, G. Rozenberg. - [s.l] : Springer, 2001. - ISBN 354041942X. - pp. 319-337 [10.1007/3-540-45397-0_11]

Modelling constrained geometric objects with OBJSA nets

M.A. Alberti
Primo
;
D. Marini
Ultimo
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.
geometric modelling ; object oriented programming ; Petri nets
Settore INF/01 - Informatica
2001
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/171449
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact