Zonnon - Zonnon

Zonnon
Paradigmarozkazovací způsob, strukturovaný, modulární, objektově orientovaný
NavrhlJürg Gutknecht
Poprvé se objevil2013
Psací disciplínasilný, hybridní (statický a dynamický)
Ovlivněno
Oberon, Pascal

Zonnon je programovací jazyk podél Oberon, Modula, a Pascal jazyková linka.[1] Jürg Gutknecht je autorem programovacího jazyka.[2]

Zonnon je univerzální programovací jazyk v rodinách Pascal, Modula-2 a Oberon. Jeho koncepční model je založen na objektech, definicích, implementacích a modulech. Jeho výpočetní model je souběžný, založený na aktivních objektech, které interagují pomocí dialogů řízených syntaxí. Jazyk se vyvíjí na ETH Curych Institute for Computer Systems od prof. Jürga Gutknechta. Zonnon zavádí koncept „aktivních objektů“, které se používají k reprezentaci souběžných objektů v reálném světě v počítačových programech. Zonnon Language Report napsali Brian Kirk (ředitel společnosti Robinsons Associates) a David Lightfoot (Oxford Brookes University ) ve spolupráci s profesorem Jürgem Gutknechtem (ETH, Curych) a Dr. Eugene Zueffem (Евгений Зуев) (Moskevská státní univerzita ).

První knihu o Zonnonovi vydalo Státní univerzita N. I. Lobachevského v Nižním Novgorodu (aka Státní univerzita v Nižním Novgorodu).[3]

Přehled

Zonnon je členem rodiny jazyků Pascal, což má dva příznivé důsledky: a) je to obecný jazyk ab) je okamžitě obeznámen s programátory Pascal, Modula-2 a Oberon. Většina programů Pascal z oblasti algoritmů a datových struktur je úspěšně kompilována kompilátorem Zonnon již po několika drobných úpravách. Z pohledu „programování ve velkém“ je však Zonnon ve srovnání se svými předchůdci mnohem propracovanější. V Zonnonu existují čtyři různé druhy programových jednotek: objekty, moduly, definice a implementace. První dva jsou vytvořeny za běhu, třetí je kompilační časová jednotka abstrakce a čtvrtá je jednotka složení. Zde je krátká charakteristika:

  • Object je samostatná součást run-time programu. Lze jej dynamicky vytvořit pod kontrolou programu v libovolné multiplicitě.
  • Modul lze považovat za samostatný objekt, jehož tvorba je řízena systémem. Kromě toho může modul fungovat jako kontejner logicky propojeného abstraktní datové typy, operátory a strukturální jednotky běhového prostředí. V kombinaci s relací importu je konstrukce modulu výkonným nástrojem pro strukturování systému.
  • Definice je abstraktní pohled na objekt (nebo na modul) z určité perspektivy. Jedná se o aspekt objektu nebo jinými slovy o abstraktní prezentaci jedné nebo více jeho služeb.
  • Implementace obvykle poskytuje možná částečnou výchozí implementaci odpovídající definice. Je to jednotka opětovného použití a složení, která je agregována do stavového prostoru objektu (nebo modulu), buď v době kompilace, nebo za běhu.

Kompoziční model

Zonnon používá model kompoziční dědičnosti založený na agregaci. Objekt (nebo modul) se obvykle skládá z řady funkčních komponent, z nichž každá se klientům prezentuje ve formě abstraktní definice. Sada definic plus vnitřní rozhraní objektu (tj. Sada všech veřejných prvků objektu) tvoří rozhraní mezi objektem a jeho klienty.

Model souběžnosti

Zonnon umožňuje přidávat chování k objektům (a modulům). Za tímto účelem byl pojem aktivní objekt importován z jazyka Active Oberon a zobecněn směrem k jednotnému modelu hierarchických činností. Aktivity jsou zapouzdřená vlákna, která mají dvě příchutě: místní aktivity a aktivity agenta.

Místní aktivity

Místní aktivity vyjadřují dynamiku vnitřních objektů. Typickým kontextem je blok příkazů představující „spouštěcí logiku“ pro sadu vzájemně nezávislých aktivit s předpokladem, že konec bloku funguje jako bariéra, kterou nelze předat před ukončením všech aktivit.

Činnosti agentů

Činnosti agentů řídí interoperabilitu objektů, pokud jde o formální dialogy. Každá aktivita agenta v rámci „volaného“ objektu slouží jako šablona formálního dialogu mezi volajícím a volaným. Činnosti agenta obvykle implementují analyzátor pro nějakou předdefinovanou syntaxi, která představuje druh smlouvy mezi dvěma komunikačními partnery. Formální dialogy jsou zobecněním volání asynchronních metod. To se odráží ve formě syntaxe, která je vypůjčena z běžných volání metod.

Poznámky

  1. ^ Gutnecht a Zueff, str. 132.
  2. ^ "Zásady." (Archivováno 2013-05-29 v WebCite ) Oficiální web Zonnon. Citováno dne 29. května 2013.
  3. ^ "Kniha o jazyce Zonnon (v ruštině)." (Archivováno 2013-05-31 v WebCite ) Státní univerzita N. I. Lobachevského v Nižním Novgorodu. Citováno dne 30. května 2013.

Reference

  • Gutnecht, Jürg a Eugene Zueff (Computer Systems Institute, ETH Curych, Švýcarsko). "Zonnon pro .NET - experiment s jazykem a překladačem." (Archiv, Springerův odkaz ) in: Böszörményi, László a Peter Schojer (redaktoři). Modulární programovací jazyky: Společná konference o modulárních jazycích, JMLC 2003, Klagenfurt, Rakousko, 25. – 27. Srpna 2003, Sborník. Springer, 29. září 2003. ISBN  3540407960, 9783540407966.

Další čtení

Nezávislé zdroje
Zdroje od autorů a / nebo přispěvatelů

externí odkazy