March 30
lingue specifica dei requisiti statali compiendo una serie di obiettivi e di catturare la descrizione dei componenti necessari per creare una soluzione che soddisfi tali obiettivi. i sistemi di controllo di processo possono essere visualizzate come rientranti in due categorie: batch e discreta. sistemi batch operano come un continuum di creare prodotti con nessuna o molto breve interruzione. sistemi discreti creare un unico prodotto entro un periodo di tempo impostato con periodi set di attesa tra l'ultimo prodotto ed il prodotto successivo. È possibile utilizzare Process Specification Language, standard ISO 18.629-1, come quadro di riferimento per definire il controllo di processo linguaggi di specifica del sistema sia per lotti e sistemi discreti.
1 Identificare, catalogo e fornire una definizione dettagliata delle attività associate con un dominio di controllo di processo. Un dominio controllo del processo è una famiglia di lotti o discreta processi, come la saldatura e la miscelazione del fluido. Un'attività è una descrizione di un'azione o un comportamento all'interno di un dominio di controllo di processo. Così, per esempio, un'attività versando descrive l'introduzione di materiale da un processo di miscelazione. L'esecuzione effettivo di un'attività è noto come il verificarsi di attività, simile alla istanziazione di una classe di programmazione e progettazione orientata agli oggetti.
2 Identificare, catalogo e fornire una definizione dettagliata dei temporali punti chiave associati a un dominio di controllo di processo. Un time-point è un one-of-a-kind punto nel tempo spesso utilizzato in un dominio di controllo processo identificato, come ad esempio un'ora prima studiando attentamente, prima versando in un turno e pigmento intervallo di miscelazione all'interno di una attività di agitazione.
3 Identificare, catalogo e fornire una definizione dettagliata degli oggetti chiave associati con un dominio di controllo di processo. Un oggetto è un componente utilizzato in un'attività che può essere soggetta a modifiche in tempo individuati in da temporali punti. Gli esempi includono un fluido o in polvere utilizzato per versare e attività di miscelazione.
4 Identificare le regole negli oggetti modo e il tempo-punti possono essere utilizzati all'interno di qualsiasi attività o attività specifici associati a un dominio processo. Ad esempio, un oggetto dolore rimozione può essere utilizzato solo in una miscelazione attività di pulizia vaso o una pagaia mixer può essere utilizzato solo in un'attività agitazione.
5 Identificare norme sul modo in cui le attività possono essere collegati, sia come una sequenza di attività, con una di seguito all'altra, o contemporaneamente, con una o più attività contemporaneamente. Così nel dominio miscelazione vernice, per esempio, l'attività colata di un oggetto di base vernice deve precedere o essere concomitante con l'attività colata di un oggetto pigmento, ma l'attività versando occorrenza di un oggetto pigmento può verificarsi mentre si verifica l'attività agitazione. attività simultanee sono rappresentati meglio come reti di Petri.
6 Identificare le regole che controllano il posizionamento dei punti temporali tra le attività in base a come le attività sono collegati tra loro. Alcuni punti temporali devono essere utilizzate in una serie di attività per fornire una pausa tra attività. Possono inoltre essere utilizzati per sincronizzare le attività che avvengono contemporaneamente. Utilizzando la vernice miscelazione dominio come un esempio. un'attività versando occorrenza per oggetto pigmento Y può verificarsi in concomitanza con l'attività verificarsi agitazione, ma l'attività versando verificarsi per il pigmento Un oggetto deve seguire il versamento occorrenza di attività per oggetto pigmento Y dopo cinque minuti-da-start-of-the- mark-agitazione attività time-point.
7 Identificare le regole per costruire e gestire una libreria di attività, oggetti e punti temporali, così come costrutti attività di collegamento. Queste regole si sostanziano in controllo di versione, e le modalità di un pacchetto esistente controllo di versione, come Subversion, possono essere utilizzati.
8 Identificare le regole di tradurre costrutti attività di collegamento in un formato eseguibile. costrutti Attività linkage può essere una sequenza passo-passo delle attività o attività che operano contemporaneamente. Il formato eseguibile può assumere la forma di codice in un linguaggio di programmazione, tra cui C, C ++, o logica ladder Programmable Logic Controller (PLC), o un insieme di Extensible Markup Language (XML) documenti. Questo compito può comportare la costruzione di software che esegue la traduzione e può essere parte di un sito web o un ampliamento, o plug-in per altri strumenti software, come ad esempio Eclipse.