Si propone una metodologia di sviluppo basata su modelli di riferimento formali per il progetto del controllo di sistemi manifatturieri. Tali modelli sono conformi a emergenti standard internazionali e sfruttano concetti propri del paradigma orientato agli oggetti.
Attraverso la metodologia presentata, si semplifica il progetto di sistemi di controllo complessi, garantendone buone proprietà di manutenibilità, riusabilità e riconfigurabilità. Quale esempio applicativo si discute il progetto del controllo di una cella manifatturiera.