jeżeli chodzi o symulację fizyczną, to oczywiście zarówno doświadczenie,
jak i teoria pouczają, że mamy szansę na występowanie ruchów harmonicznych.

co do rozwiązywania więzów w układach fizycznych, można sobie poczytać
np. słynne notatki Davida Baraffa:
http://www.cs.cmu.edu/~baraff/sigcourse/index.html
(jest na nich oparty m.in. silnik fizyczny ODE, http://ode.org/)

warto też zerknąć na hasło "metody elementów skończonych".

jeżeli idzie o ujęcie bardziej abstarkcyjne, to warto zajrzeć do SICP:
https://mitpress.mit.edu/sicp/full-text/book/book-Z-
H-22.html#%_sec_3.3.5

jest też ciekawy pythonowy framework enaml do budowania interfejsów
graficznych opartych o więzy:
https://vimeo.com/79536617