Abstrakt. Idag är det möjligt att generera större delar av ett programvarusystem från modeller. Merparten av den genererade koden gäller dock de strukturella delarna av programvaran; de delar som rör ett systems funktionalitet eller beteende programmeras fortfarande manuellt. För att lösa detta problem håller vi på att utveckla konceptet med samordningsscheman som definierar det globala beteendet utöver strukturella programvarumodeller. I grund och botten definierar dessa diagram hur ett elements lokala beteende samordnas med beteendet hos de element som det är kopplat till. De exakta begreppen i dessa samordningsscheman och deras notation är fortfarande under utveckling, men det finns en första prototyp för att experimentera och finjustera dess egenskaper. Vi kallar det Event Coordination Notation (ECNO). För att experimentera med ECNO, implementerade vi också en enkel modellering notation för det lokala beteendet, som är baserad på Petri nät. I detta dokument diskuterar vi kortfattat den allmänna idén om ECNO och sedan presenterar ECNO-nät som definierar elementens lokala beteende. De implementeras som en Petri-nättyp för ePNK-verktyget, tillsammans med en kodgenerator som producerar kod som kan användas i ECNO-ramverket och runtime-miljön. På så sätt kan alla beteenden hos ett system modelleras - och kod kan genereras som enkelt integreras med de strukturella modellerna och den befintliga programvaran.
Kindler, till exempel, föreslog en Event Coordination Notation (ECNO) baserad på Petri Net för att definiera en global samordning diagram som samordnar det lokala beteendet hos enskilda delar av programvaran REF.
Modelling Local and Global Behaviour: Petri Nets and Event Coordination
{'venue': 'PNSE', 'journal': None, 'mag_field_of_study': ['Computer Science']}