Modelling constrained geometric objects with OBJSA nets

DOI10.1007/3-540-45397-0_11MaRDI QIDQ2761724zbMATH OpenFDO

Authors M. A. Alberti, Paolo Evi, Daniele Marini

Publication date 7 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2001/20010319

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Review text

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. For the entire collection see [Zbl 0976.68544].

Recommendations

Cited in

(2)

This page was built for publication: Modelling constrained geometric objects with OBJSA nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761724)