Iaoe?iiaeueia aeaaeai?y iaoe Oe?a?ie

?inoeooo e?aa?iaoeee ?iai? A. I. Aeooeiaa

Ia i?aaao ?oeiieno

??OIA Na?a?e Aieiaeeie?iae/

OAeE 51:681.3.06

IAOIAeE ? CANIAE A?COAEUeIIAI IA’?EOII-I???IOIAAIIAI

I?IAEOOAAIIss I?IA?AIIEO NENOAI

IA INIIA? EIIOO?IEO ?-NOAI

01.05.03 — iaoaiaoe/ia oa i?ia?aiia caaacia/aiiy

ia/enethaaeueieo iaoei ? nenoai

Aaoi?aoa?ao aeena?oaoe?? ia caeiaoooy iaoeiaiai nooiaiy

eaiaeeaeaoa o?ceei-iaoaiaoe/ieo iaoe

Ee?a 1998

Aeena?oaoe??th ? ?oeiien.

?iaioa aeeiiaia a I?aeia?iaeiiio iaoeiaiio oeaio?? oaoiieia??
i?ia?aioaaiiy OAOIINIOO Iaoe?iiaeueiiai aaaionoaa c ieoaiue
?ioi?iaoecaoe?? i?e I?aceaeaioia? Oe?a?ie oa Iaoe?iiaeueii? aeaaeai??
iaoe Oe?a?ie.

Iaoeiaee ea??aiee: aeieoi? o?ceei-iaoaiaoe/ieo iaoe,

i?ioani? AAEUeAEOeUeEEE ?ai? Ay/aneaaiae/,

I?aeia?iaeiee iaoeiaee oeaio? oaoiieia?? i?ia?aioaaiiy

OAOIINIOO Iaoe?iiaeueiiai aaaionoaa c ieoaiue

?ioi?iaoecaoe?? i?e I?aceaeaioia? Oe?a?ie oa

Iaoe?iiaeueii? aeaaeai?? iaoe Oe?a?ie

Io?oe?ei? iiiiaioe: aeieoi? o?ceei-iaoaiaoe/ieo iaoe

I?IAIOA? Ieaenaiae? ?aaiiae/,

i?ia?aeiee iaoeiaee ni?a?ia?oiee

?inoeoooo e?aa?iaoeee ?i.A.I.Aeooeiaa
IAI Oe?a?ie,

eaiaeeaeao o?ceei-iaoaiaoe/ieo iaoe

AeA?AOeUeEEE Aaeaioei Ieaenaiae?iae/,

i?ia?aeiee iaoeiaee ni?a?ia?oiee

?inoeoooo i?ia?aiieo nenoai IAI
Oe?a?ie

I?ia?aeia onoaiiaa: Ee?anueeee iaoe?iiaeueiee oi?aa?neoao

?iai? Oa?ana Oaa/aiea, oaeoeueoao
e?aa?iaoeee,

eaoaae?a iaoaiaoe/ii? ?ioi?iaoeee.

Caoeno a?aeaoaeaoueny «11» a?oaeiy 1998 ?. i 11 aiae. ia can?aeaii?
niaoe?ae?ciaaii? a/aii? ?aaee Ae 26.194.02 i?e ?inoeooo? e?aa?iaoeee
?iai? A. I. Aeooeiaa IAI Oe?a?ie ca aae?anith:

252022 Ee?a 22, i?iniaeo Aeaaeai?ea Aeooeiaa, 40.

C aeena?oaoe??th iiaeia iciaeiieoenue o iaoeiai-oaoi?/iiio a?o?a?
?inoeoooo.

Aaoi?aoa?ao ?ic?neaiee «4» eenoiiaaea 1998 ?.

O/aiee nae?aoa?

niaoe?ae?ciaaii? a/aii? ?aaee NEIssANUeEEE A.O. CAAAEUeIA
OA?AEOA?ENOEEA ?IAIOE

Aeooaeuei?noue. O?oaeii?noe?noue i?ioeano i?ia?aioaaiiy c?inoa?
aeia?aaeaeath/eie oaiiaie a i??o ca?eueoaiiy ?ici???a i?ia?ai, ui
neeaaeathoueny. Aaeee? i?ia?aie, ye? neeaaeathoueny c aeanyoe?a oa
iaa?oue nioaiue oeny/ iaoeiieo eiiaiae, iio?aaothoue aeey nai??
?ic?iaee oa aenieoaoaoe?? aeiaeaoeiaeo cania?a. Neeaaei?noue no/anieo
ia/enethaaeueieo nenoai, a oaeiae aeniea aa?o?noue noai?aiiy ye?niiai oa
iaae?eiiai i?ia?aiiiai caaacia/aiiy AII noeioeththoue ?icaeoie
oai?aoe/ii iaa?oioiaaieo iaoiae?a oa cania?a ?ic?iaee i?ia?aiieo nenoai.
Iniaeeai aeooaeueiei ? canoinoaaiiy oaeeo iaoiae?a oa cania?a i?e
ia’?eoii-i???ioiaaiiio i?aeoiae? aei noai?aiiy i?ia?aiieo nenoai.

Iaei??th c iniiaieo oaiaeaioe?e o aaeoc? eiii’thoa?ieo oaoiieia?e
i?ioyaii inoaii?o aeanyoe??/ aoa oaeaeeee ?icaeoie cania?a a?coae?caoe??
??ciiiai?oii? ?ioi?iaoe??. A?ao?/iee ?ioa?oaen ei?enooaa/a, a?coaeueia
i?ia?aioaaiiy oa a?coae?caoe?y aeaieo a?aeaeca?eaeththoue i?e?iaeia
i?aaiaiiy ethaeeie iaoe ni?aao c a?ao?/ieie nooiinoyie. A?ao?/ia
cia?aaeaiiy e?aua a?aeiia?aea? ethaenueeei iiaeeeainoyi ni?eeiyooy,
aiae?co oa ia?iaee a?coaeueii? ?ioi?iaoe?? ii??aiyii c ?? cae/aeiei
i?aaenoaaeaiiyi o aeaeyae? oaeno?a oa oaaeeoeue.

A?coaeueia i?ia?aioaaiiy oa a?coae?caoe?y i?ia?aiiiai caaacia/aiiy
i?ecia/ai? aeey iie?ioaiiy i?ioeano i?ia?aioaaiiy, iniaeeai aeey
i?ia?ai?no?a-iai?ioan?iiae?a. Oi?iae?ciaai? a?coaeuei? iiae iaaoee
oe?ieiai aeei?enoaiiy i?e i?iaeooaaii? oa ?ic?iaoe? neeaaeieo
i?ia?aiieo nenoai. Aiie ? neeaaeiaith /anoeiith CASE-oaoiieia??.

I?iaeaie o?aaeeoe?eiiai ia?oa?aoeaiiai aeeoo?aiai oeeeeo i?ia?aiiiai
caaacia/aiiy, yeee ia a?aoiao? iio?aa iiaoi?iiai aeei?enoaiiy oa
oi?o?eiaaii? ?ioaa?aoe?? oac ?ic?iaee i?ia?aiiiai caaacia/aiiy (IC),
i?ecaaee aei noai?aiiy ia’?eoii-i???ioiaaiiai aiae?co,
ia’?eoii-i???ioiaaiiai i?iaeooaaiiy oa ia’?eoii-i???ioiaaiiai
i?ia?aioaaiiy.

Ia’?eoii-i???ioiaai? iaoiaee ?ic?iaee i?ia?aiiiai caaacia/aiiy oe?iei
canoiniaothoue a?coaeuei? iiae aeey aiae?co, i?iaeooaaiiy, ?aae?caoe??,
noi?iaiaeaeaiiy oa iiaoi?iiai aeei?enoaiiy i?ia?aiieo nenoai.
Ia’?eoii-i???ioiaaiee i?aeo?ae (III) noiniaii ?ic?iaee IC caieno?oueny
oi?ioeith

III = ia’?eoe + eeane + iane?aeoaaiiy.

Ae?oaee c aeuaia?ae?/aieo eiiiiiaio?a ?c cai?iith neiaa «eeane» ia
«oeie» ? oa?aeoa?iei oaeiae aeey oai??? aano?aeoieo oei?a aeaieo.

Aeei?enoaiiy ia’?eo?a oa no?oeoo? aeaieo ye iniiae aeey iiae?eo nenoaie
ia eiiiiiaioe aea? iiaeeea?noue iie?aueoe oae? oa?aeoa?enoeee yeino?
i?ia?aiieo nenoai ye niieo/oaai?noue, iiaeeea?noue iiaoi?iiai
aeei?enoaiiy oa noaa?euei?noue. Niieo/oaai?noue ia iiaea aooe
caaacia/aia, yeui eiia?iothoueny ae??, ye? aeei?enoiaothoue
iaocaiaeaeai? no?oeoo?e aeaieo. Aeey aoaeue-yei? i?ia?aie, ui
aeei?enoiao? iao?ea?aeuei? aeai?, iaiiaeeeai iiaoaeoaaoe i?eaeaoi? aeey
iiaoi?iiai aeei?enoaiiy iiaeoe?, yeui aiie a?aeaeaathoue o?eueee ae?? oa
ia a?aoiaothoue aeai?. I?e ia’?eoii-i???ioiaaiiio i?aeoiae? aeai?
a?oiothoue ?acii c ae?yie, noai?thth/e ocaiaeaeaia i?aaenoaaeaiiy
ia’?eo?a, ui ?icoe?th?oueny. Ia’?eoe oa no?oeoo?e aeaieo, ui
?icaeyaeathoueny ia ??cieo ??aiyo aano?aeoe??, – oea iaenoaa?euei?oee
aeaiaio i?ia?aiii? nenoaie.

A iei?oi?e /an iaoiaee oa caniae a?coaeueiiai i?iaeooaaiiy
ia’?eoii-i???ioiaaieo i?ia?aiieo nenoai, ?iciiae?eaieo o ia?aaeao AII,
aeaoaeueii ia ?ic?iaeai?. Iaiao?aei?noue ?ica’ycaiiy oe??? i?iaeaie
iaa?oioiaaia aeieeiaiiyi ?iciiae?eaieo i?ia?aiieo nenoai o ??cieo
aaeocyo ia?iaeiiai ainiiaea?noaa Oe?a?ie.

Aeooaeuei?noue oeueiai aeena?oaoe?eiiai aeine?aeaeaiiy, i?enay/aiiai
?ic?iaoe? oai?aoe/ieo iniia a?coaeueieo iia niaoeeo?eaoe?? ?iciiae?eaieo
ia’?eoii-i???ioiaaieo i?ia?aiieo nenoai, iieyaa? o oiio, ui cacia/ai?
a?coaeuei? iiae aeaaeooue ciiao cia/ii ca?eueoeoe i?iaeoeoeai?noue
i?aoe? i?e ?ic?iaoe? i?ia?aiiiai caaacia/aiiy, ui ooieoe?iio? a ia?aaeao
AII.

Ia’?eo oa i?aaeiao aeine?aeaeaiiy. Ia’?eoii aeine?aeaeaiiy
aeena?oaoe?eii? ?iaioe ? a?coaeuei? iiae, i?ecia/ai? aeey niaoeeo?eaoe??
?iciiae?eaieo ia’?eoii-i???ioiaaieo i?ia?aiieo nenoai.

Ca’ycie ?iaioe c iaoeiaeie i?ia?aiaie, ieaiaie, oaiaie. Aeena?oaoe?eia
aeine?aeaeaiiy aeeiiaii a iaaeao

– i?aeia?iaeiiai i?iaeoo INCO-COPERNICUS (96-0114 «A Distributed System
for the Development of National Network of Ukraine» ii ?icae?eo 6.
«Information Technology» i?ia?aie «RTD in the Field of Cooperation with
Third Countries and International Organizations – INCO» ?a?iiaenueeiai
Nithco, i?iaeoo INTAS-93-1702 «Efficient Symbolic Computing»
?a?iiaenueeiai Nithco;

– iaoeiai-aeine?aeieoeueeeo ?ia?o Aea?aeaaiiai eii?oaoo c ieoaiue iaoee
oa oaoiieia?e Oe?a?ie (2/980-97 «?ic?iaea oa ai?iaaaeaeaiiy
?iciiae?eaii? aenia?oii? nenoaie aeey ea?oaaiiy aeiaaeueieie
eiii’thoa?ieie ia?aaeaie», (06.09.01/207-93 «Nicaeaiea aecoaeueiie
nenoaiu oi?aaeaiey eioi?iaoeeiiii-eiiiuthoa?iuie naoyie»,
iaoeiai-aeine?aeieoeueeeo ?ia?o Iaoe?iiaeueii? aeaaeai?? iaoe Oe?a?ie
(i?iaeiaaeaiiy ?ia?o o Aea?aeaaiiio eii?oao? c ieoaiue iaoee oa
oaoiieia?e Oe?a?ie) (06.02.03/068-92 «?ac?aaioea oaoiieiae/aneeo
eino?oiaioaeueiuo n?aaenoa ?ac?aaioee i?ia?aiiiiai iaania/aiey n
eniieueciaaieai iaoiaeia eneonnoaaiiiai eioaeeaeoa e
iauaeoii-i?eaioe?iaaiiiai i?ia?aiie?iaaiey», (06.02.03/066-92
«Nia?aiaiiua oaoiieiaee i?ia?aiie?iaaiey ia iniiaa aecoaeueiuo iaoiaeia
i?aaenoaaeaiey eioi?iaoeee e yenia?oiuo nenoai».

Iaoa oa caaea/? aeine?aeaeaiiy. Iaoith aeaiiai aeena?oaoe?eiiai
aeine?aeaeaiiy ? ?ic?iaea iaoaiaoe/iiai aia?aoo eiioo?ieo ?-noai, ye? ?
caniaii a?coaeueiiai i?iaeooaaiiy ia’?eoii-i???ioiaaieo i?ia?aiieo
nenoai, a oaeiae ?ic?iaea a?coaeueii? iiae niaoeeo?eaoe?? aeuacacia/aieo
nenoai.

O iaaeao aeaii? ?iaioe aoee iinoaaeai? oa ?ica’ycai? oae? caaea/?:

– aeine?aeeoe noai?ai? ?ai?oa a?coaeuei? iiae niaoeeo?eaoe?? oei?a
aeaieo oa ?o oi?iaeuei? iiaeae?;

– aeine?aeeoe a?coaeuei? iiae aeey iieno ?iciiae?eaieo i?ia?aiieo
nenoai;

– ?ic?iaeoe eiioeaioe?th a?coaeueiiai i?aeoiaeo aei i?iaeooaaiiy
ia’?eoii-i???ioiaaieo ?iciiae?eaieo i?ia?aiieo nenoai;

– aecia/eoe aacia? iiiyooy oa eeane eiioo?ieo ?-noai;

– ?ic?iaeoe i?aaenoaaeaiiy aeaeea?aoeaii? naiaioeee eiioo?ieo ?-noai ia
iniia? a?aoiai? aeaaa?e i?ioean?a;

– noai?eoe aeaaa?o aeey eeano ?aaoey?ieo eiioo?ieo ?-noai;

– ?ic?iaeoe aen?iiaoe/io naiaioeeo ?aaoey?ieo eiioo?ieo ?-noai;

– ?ic?iaeoe a?coaeueio iiao niaoeeo?eaoe?? no?oeoo?e eean?a
ia’?eoii-i???ioiaaieo i?ia?aiieo nenoai ia iniia? a?aoiaiai iieno oei?a
aeaieo;

– aecia/eoe i?ioieiee neio?ii?caoe?? eean?a oa aeine?aeeoe aeanoea?noue
i?eionoeiino? iane?aeoaaiiy i?ioieie?a;

– iienaoe i?aeoe/io ?aae?caoe?th i?ia?aie-?aaeaeoi?a eiioo?ieo ?-noai;

– iienaoe aoaie a?coaeueiiai i?iaeooaaiiy c aeei?enoaiiyi eiioo?ieo
?-noai ia i?eeeaae? i?iaeooaaiiy ioeueo?aaaioii? nenoaie aeey ea?oaaiiy
ia?aaeaie TCP/IP;

– iienaoe na?aaeiaeua aeey i?aeo?eiee ooieoe?iioaaiiy
ia’?eoii-i???ioiaaieo ?iciiae?eaieo nenoai a aaoa?iaaiieo ia?aaeao
TCP/IP.

Iaoiaee aeine?aeaeaiiy. Iaoiaeieia?/i?, iaoiaee/i? oa iaoaiaoe/i?
aniaeoe a?coaeueiiai ia’?eoii-i???ioiaaiiai i?iaeooaaiiy oi?ioaaeeny
aaoi?ii i?ae aieeaii iaoeiaeo i?aoeue ?yaeo a?o/eciyieo o/aieo:
A.I.Aeooeiaa, E.E.THuaiei, ?.A.Aaeueaeoeueeiai, I.A.Eaoe/aanueeiai,
TH.A.Eai?oiiiai?, ?.A.Na?a??iei, ?.I.Ia?anthea, I.?.I?iaioa?y,
A.A.Aieneiiaa, I.?.Aiaeiia, A.I.?aaeueea, a oaeiae caei?aeiiieo o/aieo
A.I.??oiaa, ?.A.Iiooineia, A.O.Oeoao, I.A?iy, A.Ao/a, I.A??oa,
?.I?eueia?a, *.Oia?a o aaeoc? oaoiieia?? i?ia?aioaaiiy, a?coaeueiiai
i?ia?aioaaiiy, ia’?eoii-i???ioiaaiiai i?iaeooaaiiy i?ia?aiieo nenoai,
oai??? aca?iiae?th/eo i?ioean?a oa naiaioeee iia i?ia?aioaaiiy.

Iniiaith i?iaaaeaieo aeine?aeaeaiue noaee ?aea? oa iaoiaee
ia’?eoii-i???ioiaaiiai i?iaeooaaiiy i?ia?aiieo nenoai, oai???
aca?iiae?th/eo i?ioean?a, eiioi?eaoe?? oa eii?aeeiaoe?? a ?iciiae?eaieo
nenoaiao, oai??? aeaaa?a?/ieo nenoai, oai??? a?ao?a oa iaoaiaoe/ii?
eia?ee. ?aae?caoe?y i?ia?aiii? i?aeo?eiee eiioo?ieo ?-noai nie?aeany ia
aeina?ae aeei?enoaiiy nenoai a?coae?caoe?? i?ia?aiiiai caaacia/aiiy oa
i?eioeeie ?-oaoiieia?? i?ia?aioaaiiy.

Iaoeiaa iiaecia aeena?oaoe?eiiai aeine?aeaeaiiy iieyaa? a ?ic?iaoe?
iaoaiaoe/iiai aia?aoo eiioo?ieo ?-noai ye aaeaeaaoiiai caniao
a?coaeueiiai i?iaeooaaiiy ia’?eoii-i???ioiaaieo ?iciiae?eaieo i?ia?aiieo
nenoai. Aeaiee iaoaiaoe/iee aia?ao caaacia/o?

– oi?iae?caoe?th aecia/aiue eiioo?ieo ?-noai ye iiaeaeueoiai ?icaeoeo
?-oaoiieia?? i?ia?aioaaiiy aeey oe?eae ia’?eoii-i???ioiaaiiai
i?ia?aioaaiiy oa i?iaeooaaiiy;

– ?ic?iaeo eiioeaioe?? a?coaeueii? iiae oa ia’?eoii-i???ioiaaiiai
i?iaeooaaiiy ?iciiae?eaieo i?ia?aiieo nenoai;

– iien aeaeea?aoeaii? oa aen?iiaoe/ii? naiaioeee eiioo?ieo ?-noai c
iaoith oi?iae?caoe?? ??cieo aniaeo?a iiaaae?iee ia’?eoii-i???ioiaaieo
i?ia?aiieo nenoai;

– noai?aiiy aeaaa?e no?oeoo? aeaieo ia iniia? eiioo?ieo ?-noai oa
?ic?iaeo cania?a caaaeaiiy no?oeoo?ieo aeanoeainoae ???a?o?? eean?a, ui
aeei?enoiaothoueny i?e i?iaeooaaii? ia’?eoii-i???ioiaaieo i?ia?aiieo
nenoai;

– aecia/aiiy i?ioieie?a neio?ii?caoe?? eean?a ia’?eo?a ia iniia?
eiioo?ieo ?-noai oa iiaoaeia? aeai?eoio ia?aa??ee i?eionoeiino? ??
iane?aeoaaiiy, ui aea? ciiao caaacia/eoe ianoia?a/i?noue aeanoeainoae
iiaaae?iee eean?a i?e ?o ?ie?aiaioaeuei?e niaoe?ae?caoe??;

– ?ic?iaeo iane??cii? iaoiaeieia?? a?coaeueiiai ia’?eoii-i???ioiaaiiai
i?iaeooaaiiy ?iciiae?eaieo ia’?eoii-i???ioiaaieo i?ia?aiieo nenoai.

I?aeoe/ia oe?ii?noue ?acoeueoao?a ?iaioe iieyaa? a ?ic?iaoe? iaoiae?a
oa cania?a eiiieaeniiai i?iaeooaaiiy ia’?eoii-i???ioiaaieo ?iciiae?eaieo
nenoai ia iniia? eiioo?ieo ?-noai. Iieiaeaiiy, ye? noaee iniiaith
aeaiiai i?aeoiaeo, ? aacenii i?e noai?aii? ?ino?oiaioaeueiiai
na?aaeiaeua aeey ?ic?iaee ia’?eoii-i???ioiaaieo nenoai, ui i?aoeththoue
o ia?aaeao TCP/IP. Oea ?ino?oiaioaeueia na?aaeiaeua canoiniao?oueny i?e
iiaoaeia? ?iciiae?eaieo nenoai aeey ea?oaaiiy oa cai?o ?ioi?iaoe?? a
ia?aaeao AII.

Iniaenoee aianie iiooeoaa/a:

– aaaaeaiiy aaciaeo iiiyoue oa oi?iae?caoe?y eiioo?ieo ?-noai ye
aaeaeaaoiiai caniao aeey niaoeeo?eaoe?? ??cieo aeanoeainoae
ia’?eoii-i???ioiaaieo nenoai;

– ?ic?iaea eiioeaioe?? oi?o?eiaaii? a?coaeueii? iiae, ui
canoiniao?oueny ia an?o noaae?yo ia’?eoii-i???ioiaaiiai i?iaeooaaiiy
i?ia?aiieo nenoai;

– ?ic?iaea aeaeea?aoeaii? oa aen?iiaoe/ii? naiaioeee eiioo?ieo ?-noai
ye caniao aiae?co aeanoeainoae eean?a ia’?eo?a o i?ioean?
ia’?eoii-i???ioiaaiiai i?iaeooaaiiy i?ia?aiieo nenoai;

– ?ic?iaea aeaaa?e no?oeoo? aeaieo oa oi?iae?caoe?y a?ao?a no?oeoo?e
eean?a ia’?eo?a caniaaie eiioo?ieo ?-noai;

– aecia/aiiy i?ioieie?a neio?ii?caoe?? eean?a oa iiaoaeiaa aeai?eoio
ia?aa??ee i?eionoeiino? iane?aeoaaiiy i?ioieie?a i?e ?ic?iaoe?
???a?o?/ii? nenoaie eean?a ia’?eoii-i???ioiaaii? ?iciiae?eaii? nenoaie;

– aecia/aiiy ?ie?aiaioaeueii? iiaeeo?eaoe?? i?ioieie?a neio?ii?caoe??
eean?a ia iniia? a?coaeueii? iiae;

– ?ic?iaea ?ioa?aeoeaiiai a?ao?/iiai ?aaeaeoi?a eiioo?ieo ?-noai;

– ?ic?iaea na?aaeiaeua aeey i?aeo?eiee ?iciiae?eaii? aca?iiae??
ia’?eoii-i???ioiaaieo i?ia?aiieo nenoai, noai?aieo ia iniia? eiioo?ieo
?-noai;

– ?ic?iaea iane??cii? iaoiaeieia?? a?coaeueiiai ia’?eoii-i???ioiaaiiai
i?iaeooaaiiy, ui i?noeoue caniae niaoeeo?eaoe?? no?oeoo?ieo aniaeo?a oa
aniaeo?a iiaaae?iee ?iciiae?eaii? i?ia?aiii? nenoaie.

Ai?iaaoe?y ?iaioe. I?i iniiai? iieiaeaiiy aeena?oaoe?eii? ?iaioe aoee
c?iaeai? aeiiia?ae? ia i?aeia?iaeieo eiioa?aioe?yo Joint Modular
Languages Conference JMLC’97 (Aano??y, E?ioe, 19-21 aa?aciy 1997 ?.);
Second International Conference on Object-Oriented Technology WOON’97
(Naieo-Iaoa?ao?a, 19-21 aa?aniy 1997 ?.); 42 Internationales
Wissenschaftliches Kolloquium (I?ia//eia, ?eueiaiao, 22-25 aa?aniy 1997
?.); Psychology of Programming Interest Group 7th Annual Workshop
PPIG-7 (Aaeeeia?eoai?y, Aaeeiao?a, 4-6 n?/iy 1995 ?.); ia i?aeia?iaei?e
eiioa?aioe?? «Oaoiieiaey i?ia?aiie?iaaiey 90-o» (Ee?a, 14-17 o?aaiy 1991
?.); 3-e oe?a?inuee?e eiioa?aioe?? «Aaoiiaoeea-96» (Naaanoiiieue, 9-14
aa?aniy 1996 ?.); ia nai?ia?? «Iiaua eioi?iaoeeiiiua oaoiieiaee e
eino?oiaioaeueii-oaoiieiae/aneea n?aaenoaa iiaeaea?aeee i?eiyoey
?aoaiee» (Eaoeeaae?, 21-26 a?oaeiy 1992 ?.); ia nai?ia?ao Iaoeiai? ?aaee
c i?iaeaie «E?aa?iaoeea» IAI Oe?a?ie.

I?aeoe/ia ?aae?caoe?y ?aeae, ui iieeaaeai? a iniiao aeena?oaoe?eiiai
aeine?aeaeaiiy, aoee i?iaeaiiino?iaai? ia anana?oi?o aenoaaeao Nebit’96
oa Cebit’97 (I?ia//eia, Aaiiiaa?) ye aeniiiao ia noaiae? Oe?a?ie.

Ioae?eaoe??. Iniiai? iieiaeaiiy aeena?oaoe?eii? ?iaioe iioae?eiaai? a
13 ?iaioao.

No?oeoo?a oa ianya aeena?oaoe??. Aeena?oaoe?y neeaaea?oueny c anooio,
/ioe?ueio aeaa, aeniiae?a, nieneo aeei?enoaii? e?oa?aoo?e. Caaaeueiee
ianya ?iaioe neeaaea? 163 noi??iee. ?iaioa i?noeoue 49 ?enoie?a,
5 oaaeeoeue. Nienie aeei?enoaii? e?oa?aoo?e iae?/o? 122 iaeiaioaaiiy.

CI?NO ?IAIOE

O ia?oiio ?icae?e? i?iaiaeeoueny aiae?c cania?a a?coae?caoe?? oei?a
aeaieo, no?oeoo? aeaieo, ia’?eoii-i???ioiaaieo oa ?iciiae?eaieo nenoai.
Noi?ioeueiaaia eiioeaioe?y a?coaeueiiai i?aeoiaeo aei
ia’?eoii-i???ioiaaiiai i?iaeooaaiiy i?ia?aiieo nenoai. Ci?no ?? iieyaa?
a oiio, ui a?coaeueia iiaa aeey i?iaeooaaiiy ia’?eoii-i???ioiaaieo
?iciiae?eaieo nenoai iiaeiia iaoe oae? iiaeeeaino?:

– caniae ?ic?iaee a?o?oaeoo?e ia?aeaeueii? ia?iaee;

– niiniae i?aaenoaaeaiiy ???a?o?? iane?aeoaaiiy eean?a;

– caniae a?aeia?aaeaiiy a?aeiioaiiy aeei?enoaiiy i?ae ia’?eoaie;

– ???a?o?/i? a?coaeuei? oi?ie iieno, ye? aeicaieythoue ciaioeoe
neeaaei?noue ae?aa?ai oeyoii aeaoae?caoe?? ie?aieo aeaiaio?a c
aeei?enoaiiyi o??? ae naii? nenoaie iicia/aiue;

– a?coaeuei? caniae iieno iiaaae?iee nenoaie o oa?i?iao iiae?e;

– iaoiaee aa?eo?eaoe?? iiaaae?iee ca?aeii c oi?iaeueieie
niaoeeo?eaoe?yie;

– iaoiaee caaacia/aiiy ianoia?a/iino? iieno ??cieo aniaeo?a
?iciiae?eaieo ia’?eo?a.

Aiae?c i?aeoiae?a aei iieno ia’?eoii-i???ioiaaieo oa ?iciiae?eaieo
nenoai aeaiiino?o? oie oaeo, ui ia ?nio? a?coaeueii? iiae, yea
a?aeiia?aea? on?i ia?ae?/aiei aeiiaai. A?eueoa oiai, ia ?nio? ?aeeii?
a?coaeueii? iioaoe??, yea aeicaiey? iienoaaoe iaeaaaeeea?o? aniaeoe
ia’?eoii-i???ioiaaii? nenoaie – aniaeoe iiaaae?iee, no?oeoo?i? aniaeoe
oa iiaeaeue aeaieo, ye? eaaeaoue a iniia? ia’?eoii-i???ioiaaii? nenoaie.

sse i?aaeiao aeine?aeaeaiiy aeae?athoueny cai?iiiiiaai? aaoi?ii
eiioo?i? ?-noaie, ye? ? ?icaeoeii ?aeae, iieeaaeaieo a iniiao
?-oaoiieia?? i?ia?aioaaiiy. Ii??aiyii ?c cae/aeieie ?-noaiaie
canoinoaaiiy eiioo?ieo ?-noai aeey caaea/ ia’?eoii-i???ioiaaiiai
i?iaeooaaiiy ia? oae? ia?aaaae:

eiioo?i? ?-noaie a?aeia?aaeathoue iai/ii o aeaeyae? ?aeeiiai ?enoiea
aeeaaeai?noue, ???a?o?th oa iiaeoeuei?noue nenoaie ia’?eo?a;

eiioo?i? ?-noaie a?eueo aeiiii?/i? aeey i?aaenoaaeaiiy ia?aoiae?a i?ae
noaiaie ia’?eo?a;

eiioo?i? ?-noaie a?eueo aeiiii?/i? i?e i?iaeooaaii? iiiaeeie noai?a
ia’?eo?a;

oai??y eiioo?ieo ?-noai aoaeo?oueny ia iniia? aeei?enoaiiy iia?aoe??
ia?aeaeueii? eiiiiceoe??.

O ae?oaiio ?icae?e? aeeeaaeai? aacia? iiiyooy eiioo?ieo ?-noai,
?ic?iaeai? aeaeea?aoeaia oa aen?iiaoe/ia naiaioeee eiioo?ieo ?-noai ye
caniae aiae?co aeanoeainoae eean?a ia’?eo?a o i?ioean?
ia’?eoii-i???ioiaaiiai i?iaeooaaiiy. Eiioo?i? ?-noaie ? ???a?o?/iei
?icoe?aiiyi ?-noai, i?e/iio eiioo?e iiaeooue i?aaenoaaeyoe noaie
ia’?eo?a, a aeoae caaeathoue iiaeeea? ia?aoiaee i?ae noaiaie.

Eiioo?iith ?-noaiith iaceaa?oueny iai?aaeaiee a?ao, aeoae yeiai
cia?aaeothoueny o?eueee ca aeiiiiiaith ai?eciioaeueieo oa aa?oeeaeueieo
e?i?e. I?e oeueiio aa?oeie (noaie) cia?aaeothoueny o aeaeyae?
i?yiieooiee?a c ie?oaeaieie eooaie, a i?yiieooiee eiaeiiai i?aenoaio
noaio s cia?aaeo?oueny ana?aaeei? i?yiieooieea s. Noaie (aa?oeie)
iiaeooue aooe oeio AAI, oae caai? (-noaie, aai oeio ?, oae caai?
(-noaie. (-noaie cia?aaeothoueny i?yiieooieeaie, aioo??oiy iaeanoue yeeo
?icae?eaia ai?eciioaeueiith ioieoe?iith e?i??th. Eiaeai aeaiaio oaeiai
?icaaeoaeaiiy caaea? ia?aeaeueiee eiiiiiaio (-noaio.

Eiee iioi/iei ? (-noai eiioo?ii? ?-noaie, oi iaeii/anii iioi/iei ?
iaeei oa o?eueee iaeei c eiai aaciina?aaei?o i?aenoai?a. Eiaeai ia
aeaiaioa?iee (-noai ia? niaoe?aeueiee aaciina?aaei?e i?aenoai, oae
caaiee ii/aoeiaee noai, yeee a?ao?/ii cia?aaeo?oueny ia eiioo?i?e
?-noai? ye naiee e?aee i?aenoai (-noaio. Iai?eeeaae, L ? (-noaiii c
ia?aeaeueieie eiiiiiaioaie K oa J. Noai B ? ii/aoeiaei i?aenoaiii noaio
A (?enoiie).

?enoiie. Eiioo?ia ?-noaia

Ia?aoiaee i?ae noaiaie i?aaenoaaeai? a?ao?/ii ni?yiiaaieie aeoaaie (c
oiaoeiaeo aa?oeeaeueieo oa ai?eciioaeueieo naaiaio?a) oa cacia/ai?
ia?ith iiiaeei iiae?e. Iaeia c iiiaeei ? «ia?aieea/ai», a ?ioa —
«ae??th». «Ia?aieea/» caaaeaee cia?aaeo?oueny caa?oo iaae
ai?eciioaeueiei naaiaioii ia?aoiaeo, a «ae?y» — i?ae ai?eciioaeueiei
naaiaioii a?aeiia?aeiiai ia?aoiaeo.

Iiae?? ?ioa?i?aoothoueny ye neaiaee, ui iaaeoiaeyoue a?ae na?aaeiaeua,
o yeiio aeeiio?oueny eiioo?ia ?-noaia. Ia?ao?ae ? aeeiioaaiei, yeui
iiiaeeia iiae?e ia?aieea/a ? i?aeiiiaeeiith iiae?e, ye? iaae?eoee a?ae
na?aaeiaeua. I?ney aeeiiaiiy ia?aoiaeo t iiiaeeia aaea anoaiiaeaieo
iiae?e na?aaeiaeua ca?eueoo?oueny ia iiiaeeio iiae?e ae?? t.

Aecia/aiiy. Eiioo?iith ?-noaiith R iaceaa?oueny iaa?? c ainueie
aeaiaio?a (S, (, T, in, out, E, (, (, (), aea

S — iaionoa eiia/ia iiiaeeia noai?a;

— ooieoe?y ???a?o??, yea aecia/a? aeey eiaeiiai noaio

iiiaeeio eiai aaciina?aaei?o i?aenoai?a; ia?aoeaeneaia oa ?aoeaeneaia
o?aiceoeai? caieeaiiy ( iicia/athoueny (+ oa (* a?aeiia?aeii; ( iieno?
oaeo aea?aaiaeaeio no?oeoo?o:

, yeee iicia/a?oueny rootR;

;

;

O — eiia/ia iiiaeeia ia?aoiae?a;

ooieoe?y, yea aecia/a? ?acoeueooth/ee noai ia?aoiaeo;

; ((t) ? nei?i/aiei iicia/aiiyi aeey ((in(t),out(t));

E — eiia/ia iiiaeeia iiae?e;

a?aeiia?aeii;

;

(: S({(, (} icia/a? ooieoe?th oeio noaio.

.

. Aecia/aii i?aaeei iiaoaeiae eiioo?ii? ?-noaie R, yea ?
ii?iaeaeoaaiith c no?oeoo?e ia?aoiae?a ( ii sym neiaieo.

.

.

?icaeyiaii i?aeiiiaeeio eiioo?ieo ?-noai RN1(RN, o ye?e ia?aoeiaiiy
eiioo??a aeoaaie caai?iiaii. Iiiaeeio iii?oie Lab eiioo?ieo ?-noai RN1
aeei?enoa?ii aeey iicia/aiiy i?ao?enieo iia?aoi??a a?aoiai? aeaaa?e
i?ioean?a GPA1. Neaiaoo?a ((GPA1) ai?uo? iia?aoi?e, aecia/ai? iaae
iiiaeeiith Proc i?ioean?a:

>:(Proc},

aoiaeyoue ye a?euei? ci?ii? aei eiaeiiai (i.

, yea aecia/a?oueny oaeei /eiii:

c a?aoiaioii s caaea? iiiaeeio ?aeo?neaieo ??aiyiue, ye?
a?aeiia?aeathoue eiioo?o s ?-noaie, oa aecia/a?oueny oaeei /eiii:

.

Naiaioeeo a?aoiai? aeaaa?e i?ioean?a GPA1 caaeaii ca aeiiiiiaith
i?aaenoaaeaiiy oa?io ((P o aeaeyae? nenoaie ia?aoiae?a (Proc, Lab, (,
(), yea iicia/a?oueny IGPA(().

.

? ?ciii?oieie. Oea aeiaiaeeoue i?aaeeuei?noue iiaoaeiae ooieoe??
ia?aoai?aiiy (, yea aea? iiaeeea?noue i?aaenoaaeaiiy aeaaa?a?/ii?
naiaioeee eiioo?ieo ?-noai.

aaaaeaii iia?aoe?? iine?aeiaiiai oa aeeaaeaiiai ii?aeiaiiy ( oa (.

uiaei iia?aoe?e (.

, aea E – eiia/ia iiiaeeia iiae?e.

, – ae?? (iia?aoi?e). Oiae?

.

Aiaeia?/ii aeaaaeaii i?aaeea (aen?iie) aeey niaoe?aeueii? no?oeoo?e oa
aeey iia?aoe?e iaae aeia?eueieie no?oeoo?aie: iine?aeiaiiai c’?aeiaiiy,
iine?aeiaiiai oa ia?aeaeueiiai aeeaaeaiue.

– eiioo?ia ?-noaia ?aae?caoe?? iaoiaeo Met eeano. Oaeei /eiii,
?ic?iaeaia aen?iiaoe/ia naiaioeea aea? iiaeeea?noue ia?aa??eoe
ei?aeoi?noue ?aae?caoe?? iaoiae?a eean?a ia iniia? eiioo?ieo ?-noai.

O o?aoueiio ?icae?e? iiaoaeiaaia a?coaeueia iiaa niaoeeo?eaoe??
no?oeoo?e eean?a ia’?eoii-i???ioiaaieo i?ia?aiieo nenoai ia iniia?
a?aoiaiai iieno oei?a aeaieo, aeine?aeaeai? i?ioieiee neio?ii?caoe??
eean?a oa aeanoea?noue i?eionoeiino? iane?aeoaaiiy i?ioieie?a.

A?aoe no?oeoo?e eean?a – oea eiioo?i? ?-noaie, ye? canoiniaothoueny
aeey caaaeaiiy eean?a oa a?aeiioaiue i?ae ieie. Aa?oeie a?aeiia?aeathoue
eeanai. Aecia/athoue aeaa oeie aa?oei. Aa?oeie, ye? iathoue neeaaeai?
eiiiiiaioe ((-aa?oeie) iaceaathoueny aeueoa?iaoeaieie aa?oeiaie. Aiie
caaeathoue aano?aeoi? eeane, ye? iathoue i?aeeeane, aea ia iathoue
aecaiiey??a. Cacia/ai? aa?oeie aac neeaaeaieo eiiiiiaio iaceaathoueny
eiino?oeoeaieie aa?oeiaie. Aiie yaeythoue niaith eiie?aoi? eeane, aeey
yeeo ? aecaiiey?e eeano, aea iaia? i?aeeean?a.

a?aeia?aaea? eiaeai aeaiaio a oi?eaeueia iaoo?aeueia /enei.

iiiaeeio ?aaoey?ieo ?-noai no?oeoo? aeaieo iaae iiiaeeiith
aeaiaioa?ieo no?oeoo?ieo noai.

, aea P — eiia/ia iiiaeeia ?iai oei?a-ia?aiao??a, oi aecia/aiiy
iaceaa?oueny aecia/aiiyi ?iaeiaiai ?-oeio aeaieo. I?aa?e /anoei? B
??aiinoae caaaeaee a?aeiia?aea? aeayea iiiaeeia no?oeoo?ieo noai.

Oai?aia 3. Eiaeiiio neiaieeia? eean?a o ii?iaeuei?e oi?i? D iiaeeeai
iinoaaeoe o a?aeiia?aei?noue aecia/aiiy ?-oeio aeaieo Def(T)=(T,D,E,P),
oaea, ui L(D)=L(Def(T)).

Aoaeue-yeee neiaiee eean?a iiaea aooe iaeiicia/ii i?aaenoaaeaiee ca
aeiiiiiaith a?aeiia?aeii? eiio ?-no?oeoo?e aeaieo, yea a naith /a?ao
iiaea aooe aoaeoeaii i?aaenoaaeaia ca aeiiiiiaith ?nioth/eo
eiino?oeoi??a oei?a i?ioeaaeo?ieo iia i?ia?aioaaiiy (N?, Iiaeoea-2,
Ianeaeue). I?e oeueiio ? neiaiee eean?a o ii?iaeuei?e oi?i?, ?
a?aeiia?aeia oeueiio ?–no?oeoo?a aeaieo caaeathoue iaeio ? oo naio
iiiaeeio cia/aiue ia’?eo?a, ine?eueee ?o iiae aea?aaeaioi?.

Iiaoaeiaaii i?aeo?ae aei iane?aeoaaiiy i?ioieie?a neio?ii?caoe??
eean?a, yeee a?oioo?oueny ia eiioeaioe?? i?aaee iane?aeoaaiiy. I?aaeea
iane?aeoaaiiy i?ioieie?a iathoue aeaeyae

protocol_p(protocol_q.

I?eionoeii p oa q – i?ioieiee, caaeai? ca aeiiiiiaith ?-noai, a tree_p
oa tree_q – aea?aaa iia?aoe?e i?ioieie?a p oa q. I?ioieie q iane?aeo?
i?ioieie p (iicia/a?oueny ye p inherit q), yeui tree_q iiaea aooe
iiaoaeiaaia ii aea?aao tree_p oeyoii eiia/iiai iiaoi?aiiy oaeeo o?ueio
e?ie?a (oae caaieo e?ie?a ?ie?aiaioaeueii? iiaeeo?eaoe?? i?ioieie?a):

1. Aeeo/eoe (oe?eeii) i?aeaea?aai subtree_p c tree_p, i?e/iio R
–aa?oeia subtree_p.

2. Noai?eoe aea?aai i?ioieieo subst_tree, yea ai?uo? subtree_p.

3. Iiaeeo?eoaaoe tree_p, aeiaeaaoe subst_tree o oo naio aa?oeio, c yei?
aoei aeeo/aii i?aeaea?aai c aa?oeiith R, oiaoi iii?noeoe subst_tree o
ii/aoeiao iiceoe?th subtree_p a aea?aa? tree_p (e?ie ?ie?aiaioaeueii?
iiaeeo?eaoe??).

oai?aia 4. p inherit q, yeui oa o?eueee yeui ?nio? a?aeia?aaeaiiy f,
oaea, ui

a) f ? aca?iii iaeiicia/iei a?aeia?aaeaiiyi c tree_p aei tree_q, aea
tree_p (a?aeiia?aeii tree_q) – aea?aai i?ioieieo p (a?aeiia?aeii q);

a) f(V)(V aeey eiaeii? aa?oeie V(tree_p;

a) U(VX(f(U)(f(V)X aeey aoaeue-yeeo U,V(tree_p oa X({L,R}.

Iienaii aeai?eoi canoinoaaiiy i?aaeea iane?aeoaaiiy ye niin?a
?aae?caoe?? ?ie?aiaioaeueii? iiaeeo?eaoe?? ?-noai i?ioieie?a
neio?ii?caoe?? eean?a i?e iiaoaeia? ???a?o?? iane?aeoaaiiy aeanoeainoae
eean?a. Ia?aaaaith caaaeaiiy ca aeiiiiiaith eiioo?ieo ?-noai i?ioieie?a
neio?ii?caoe?? ? iiaeeea?noue iane?aeoaaiiy i?ioieie?a, yea a?aeiia?aea?
???a?o?? iane?aeoaaiiy eean?a. Iaeii/anii i?ioieiee ? ia’?eoaie
?ie?aiaioaeueii? iiaeeo?eaoe??, ui aeicaiey? iiaoi?ii aeei?enoiaoaaoe
caaeai? o noia?eeanao niaoeeo?eaoe?? neio?ii?caoe??. Oaeei /eiii, iaia?
iaiao?aeiino? eiaeiiai ?aco caaeaaaoe nii/aoeo niaoeeo?eaoe?th
iiaaae?iee ia’?eo?a iane?aeoaaiiai eeano i?e ?ic?iaoe? ???a?o??
iane?aeoaaiiy eean?a aai i?e iiaoi?iiio aeei?enoaii? ?ai?oa noai?aieo
eean?a.

O /aoaa?oiio ?icae?e? iienaii ?ioa?aeoeaiee a?ao?/iee ?aaeaeoi?
eiioo?ieo ?-noai, yeee i?ecia/aiee aeey aaiaeo oa ?aaeaaoaaiiy
niaoeeo?eaoe?e iiaith eiioo?ieo ?-noai. ?aaeaeoi? ia? oae? iiaeeeaino?:

– noai?aiiy oa aeeo/aiiy eiioo??a oa aeoa ?-noai;

– ia?ai?uaiiy ia ae?ai? iiceoe?? eiioo??a oa aeoa ?-noai, ?c
caa?aaeaiiyi ???a?o?? eiioo??a aai ?? ci?iith;

– iaeii/ania ?aaeaaoaaiiy e?eueeio i?aaenoaaeaiue iaei??? ? o??? ae
?-noaie, ii/eiath/e eiaeia i?aaenoaaeaiiy c aoaeue-yeiai ie?aiiai
eiioo?o, cia?aaeoth/e o?eueee iaiao?aeio ei?enooaa/aa? e?euee?noue
??aiae aeeaaeaiino? eiioo??a;

– c/eooaaiiy c aeeneo oa caien ia aeene eiioo?ieo ?-noai;

– ae?oeoaaiiy i?aaenoaaeaiue eiioo?ieo ?-noai c iaiao?aeiith
aeaoae?caoe??th.

Cai?iiiiiaaiee i?aeo?ae aei ia’?eoii-i???ioiaaiiai i?iaeooaaiiy
?iciiae?eaieo i?ia?aiieo nenoai, ui aaco?oueny ia aeei?enoaii? eiioo?ieo
?-noai, i?i?ethno?iaaii c aeei?enoaiiyi i?eeeaaeo i?iaeooaaiiy
ioeueoeaaaioii? nenoaie aeey cae?aiiy ?ioi?iaoe?? oa ea?oaaiiy o
aaoa?iaaiieo ia?aaeao TCP/IP. Oea canoinoaaiiy aoei ?aae?ciaaia o ?aieao
i?aeia?iaeiiai i?iaeoo INCO-COPERNICUS 96-0114 i?ae aa?aeith
?a?iiaenueeiai Nithco, iaoith yeiai ? noai?aiiy ?ioaeaeooaeueii? nenoaie
ea?oaaiiy Oe?a?inueeith iaoe?iiaeueiith eiii’thoa?iith ia?aaeath.

INIIAI? AENIIAEE ?IAIOE

O i?ioean? aeeiiaiiy aeena?oaoe?eii? ?iaioe aoee io?eiai? oae? iniiai?
?acoeueoaoe:

1. Cai?iiiiiaaia eiioeaioe?y a?coaeueiiai i?aeoiaeo aei i?iaeooaaiiy
ia’?eoii-i???ioiaaieo i?ia?aiieo nenoai. Aeaia eiioeaioe?y aeicaiey?
aaoiiaoecoaaoe i?ioean ?ic?iaee ia’?eoii-i???ioiaaieo ?iciiae?eaieo
i?ia?aiieo nenoai ia iniia? cai?iiiiiaaiiai aaoi?ii oi?iae?cio eiioo?ieo
?-noai. A iniiao iiaoaeiaaii? aaoi?ii a?coaeueii? iiae eiioo?ieo ?-noai
iieeaaeaii aeine?aeaeaiiy ?nioth/eo a?coaeueieo iia niaoeeo?eaoe?? oei?a
aeaieo oa a?coaeueieo iia niaoeeo?eaoe?? ?iciiae?eaieo nenoai.

2. ?ic?iaeai? aacia? iiiyooy eiioo?ieo ?-noai oa ii?iaeueii? oi?ie ?o
i?aaenoaaeaiiy ia iniia? oai??? aeene?aoieo nenoai oa aca?iiae?th/eo
i?ioean?a. Aecia/aii aea?aaeaioia ia?aoai?aiiy eiioo?ieo ?-noai o ?o
ii?iaeueio oi?io, yea aeicaiey? nei?ioeoe neeaaei?noue i?aaenoaaeaiiy
eiioo?ieo ?-noai oeyoii aeeo/aiiy iaaei??ieo eiioo??a.

3. Cai?iiiiiaaiee niin?a i?aaenoaaeaiiy aeaeea?aoeaii? naiaioeee
eiioo?ieo ?-noai ia iniia? a?aoiai? aeaaa?e i?ioean?a. Aeiaaaeaii
?ciii?o?ci no?oeoo?e ia?aoiae?a eiioo?ii? ?-noaie oa no?oeoo?e
ia?aoiae?a a?aeiia?aeiiai ?e caieiooiai oa?io aeaaa?e i?ioean?a.
Cai?iiiiiaaii aecia/aiiy ?aaoey?ieo eiioo?ieo ?-noai oa niin?a
aecia/aiiy iiae ?o cia/aiue iaoiaeii ?ica’ycaiiy nenoaie ??aiyiue.
?ic?iaeaia aen?iiaoe/ia naiaioeea ?aaoey?ieo eiioo?ieo ?-noai, yea
aeicaiey? aeeiioaaoe aa?eo?eaoe?th i?aaeeueiino? ?aae?caoe?? iaoiae?a
eean?a i?ia?aiii? nenoaie.

4. ?ic?iaeaia a?aoiaa iiaa caaaeaiiy ia iniia? eiioo?ieo ?-noai
no?oeoo?e eean?a ia’?eoii-i???ioiaaii? nenoaie, yea aecia/a? iiiaeeio
cia/aiue eean?a ia’?eo?a oa no?oeoo?ia a?aeiioaiiy iaeaaeiino? oa
niaoe?ae?caoe?? i?ae ieie. Cai?iiiiiaaii iiiyooy neiaiee?a eean?a, yea
i?ecia/aia aeey niaoeeo?eaoe?? i?eionoeieo oaenoiaeo i?aaenoaaeaiue
cia/aiue ia’?eo?a.

5. Cai?iiiiiaai? aecia/aiiy ?-no?oeoo?e aeaieo, ?-oeio aeaieo oa
?ic?iaeai? i?eioeeie a?coae?caoe?? oei?a aeaieo no/anieo iia
i?ia?aioaaiiy. Aeiaaaeaia aea?aaeaioi?noue iia neiaiee?a eean?a oa
?-oei?a aeaieo, yea aea? iiaeeea?noue aoaeoaaoe ?aae?caoe?th neiaiee?a
eean?a ia iniia? eiioo?ieo ?-noai oei?a aeaieo.

6. Aecia/ai? i?ioieiee neio?ii?caoe?? eean?a oa a?aeiioaiiy
i?eionoeiiai iane?aeoaaiiy i?ioieie?a, yea caa??aa? no?oeoo?i?
aeanoeaino? iiaaae?iee ia’?eo?a i?e ?o iane?aeoaaii?. Iiaoaeiaaiee
aeai?eoi ia?aa??ee i?eionoeiino? iane?aeoaaiiy i?ioieie?a, yeee
aeicaiey? io?eiaoe iia? i?ioieiee neio?ii?caoe?? iaoiaeii
?ie?aiaioaeueii? iiaeeo?eaoe??.

7. Cai?iiiiiaai? aoaie a?coaeueiiai i?iaeooaaiiy ia’?eoii-i???ioiaaieo
?iciiae?eaieo nenoai ia iniia? eiioo?ieo ?-noai. Iien aoai?a
?ethno?o?oueny ia i?eeeaae? i?iaeooaaiiy ioeueoeaaaioii? nenoaie aeey
ea?oaaiiy ia?aaeaie TCP/IP, yea ?aae?ciaaia o iaaeao i?iaeoo
INCO-COPERNICUS 96-0114 ?a?iiaenueeiai Nithco.

8. ?ic?iaeai? i?eioeeie ?aae?caoe?? i?ia?aiii? i?aeo?eiee a?coaeueiiai
ia’?eoii-i???ioiaaiiai i?iaeooaaiiy, yea aeeth/a? a naaa ?ioa?aeoeaiee
?aaeaeoi? eiioo?ieo ?-noai oa i?ia?aie aaia?aoe?? oaenoiaiai
i?aaenoaaeaiiy eean?a iiaaie i?ia?aioaaiiy Java oa C++. ?aae?ciaaiee
?ioa?aeoeaiee a?ao?/iee ?aaeaeoi? eiioo?ieo ?-noai o na?aaeiaeu? UNIX,
yeee aeicaiey? cae?enithaaoe oa?ae, iiaeeo?eaoe?th, caa?aaeaiiy oa
ianooaaoaaiiy eiioo?ieo ?-noai ia iniia? ae?aeiaiaiai ?ioa?oaeno c
aeei?enoaiiyi iaith oa a?eii. ?aae?ciaaii ?ino?oiaioaeueio i?ia?aiio
i?aeo?eieo aeey i?iaeooaaiiy ?iciiae?eaieo ia’?eoii-i???ioiaaieo nenoai
ia iniia? aaia?aoe?? iiae?e oa a?aeaeaeaiiai aeeeeeo i?ioeaaeo?.
?aae?ciaaii i?ia?aie aaia?aoe?? oaenoiaiai i?aaenoaaeaiiy eean?a,
?ioa?oaen?a ?o neio?ii?caoe?? oa ia?aaeii? aca?iiae?? ia’?eo?a o
aaoa?iaaiiiio eiii’thoa?iiio na?aaeiaeu? ia iniia? i?ioieieo TCP.

9. ?ic?iaeai? oai?aoe/i? iniiae oa caniae ?ino?oiaioaeueii? i?aeo?eiee
a?coaeueiiai i?aeoiaeo aei i?iaeooaaiiy ?iciiae?eaieo i?ia?aiieo nenoai
ia iniia? eiioo?ieo ?-noai caaacia/othoue noai?aiiy iaae?eiiai oa
ye?niiai i?ia?aiiiai caaacia/aiiy, yea i?aoeth? o aaoa?iaaiieo
eiii’thoa?ieo ia?aaeao.

Iniiai? iieiaeaiiy aeena?oaoe?? iioae?eiaai? a oaeeo i?aoeyo:

1. Eanaoeeia E.A., Eiaaeaa A.E., A?oia N.A. Aeneiiaoe/aneay naiaioeea
?-noai e aa?eoeeaoeey a?aoe/aneeo i?ia?aii // Eeaa?iaoeea. – 1990. – ?1.
– n. 21-27.

2. Aaeueaeoeeee E.A., A?oia N.A. A?aoiaay aeaaa?a i?ioeannia e
aunieio?iaiaaay ioeaaeea i?ia?aii // Oi?aaeythuea nenoaiu e iaoeiu. –
1991. – ?6. – n. 36-43.

3. A?oia N.A. Aeaaa?ae/aneee iiaeoiae e aecoaeecaoeee aeaiiuo a
eioi?iaoeeiiiuo nenoaiao // ?ac?aaioea eioi?iaoeeiiiuo oaoiieiaee ia
o?ainii?oa. – Eeaa: Ei-o eeaa?iaoeee ei. A.I.Aeooeiaa AI Oe?aeiu, 1991.
– n. 8-15.

4. A?oia N.A. Aecoaeecaoeey aeaiiuo a i?iaeoe?iaaiee
iauaeoii-i?eaioe?iaaiiuo eieoaoeeiiiuo nenoai // Iaoaiaoe/aneea iaoiaeu
e eioi?iaoeeiiiua oaoiieiaee a oi?aaeaiee yeiiiie/aneeie nenoaiaie. –
Eeaa: Ei-o eeaa?iaoeee ei. A.I.Aeooeiaa IAI Oe?aeiu, 1992. – n. 14-18.

5. A?oia N.A. Aecoaeecaoeey oeiia aeaiiuo a caaea/ao
iauaeoii-i?eaioe?iaaiiiai i?iaeoe?iaaiey ?ani?aaeaeaiiuo nenoai //
Iaoaiaoe/aneea iaoiaeu a yeiiiie/aneeo enneaaeiaaieyo. – Eeaa: Ei-o
eeaa?iaoeee ei. A.I.Aeooeiaa IAI Oe?aeiu, 1993. – n. 32-38.

6. A?oia N.A. Aecoaeueiua n?aaenoaa i?iaeoe?iaaiey
iauaeoii-i?eaioe?iaaiiuo nenoai // Eioi?iaoeeiiiua oaoiieiaee a
enneaaeiaaiee yeiiiie/aneeo nenoai. – Eeaa: Ei-o eeaa?iaoeee
ei. A.I.Aeooeiaa IAI Oe?aeiu, 1997. – N. 40-45.

7. Vel’bitskiy I., Yershov S., Netesin I. CDCS: a new development
approach for distributed applications in Java // Lecture Notes in
Comput. Sci. – Berlin: Springer Verlag, 1997. – Vol.1204. – P. 170-181.

8. Oaoiieiaey i?ia?aiie?iaaiey ?ani?aaeaeaiiuo iauaeoii-i?eaioe?iaaiiuo
nenoai / E.A.Aaeueaeoeeee, N.A.A?oia, E.A.Iaoanei, N.A.Aieoaue. – Eeaa,
1996. – 22 n. — (I?ai?. / Iaaeaeoia?. iao/. oeaio? oaoiieiaee
i?ia?aiie?iaaiey OAOIINIOO; 96-15).

9. Aaeueaeoeeee E.A., A?oia N.A. A?aoiaay aeaaa?a no?oeoo? aeaiiuo e
aecoaeecaoeey aeaiiuo a ycueao i?ia?aiie?iaaiey // Oac. aeiee.
Iaaeaeoia?. eiio. “Oaoiieiaey i?ia?aiie?iaaiey 90o”. – Eeaa, IIOeOI
OAOIINIOO, 1991. – n. 103-105.

10. Aaeueaeoeeee E.A., A?oia N.A., Aaeaaa A.A. CASE-eino?oiaioa?ee aeey
?ac?aaioee i?eeiaeaiee a naoaaie n?aaea – “NetCASE” // Oac. aeiee.
naieia?a “Iiaua eioi?iaoeeiiiua oaoiieiaee e
eino?oiaioaeueii-oaoiieiae/aneea n?aaenoaa iiaeaea?aeee i?eiyoey
?aoaiee”, Eaoeeaaee, 21-26 aeaeaa?y 1992. – Eeaa: Ei-o eeaa?iaoeee
ei. A.I.Aeooeiaa IAI Oe?aeiu, 1992. – n. 38-39.

11. Comparing program comprehension in different cultures and different
representations / M.Petre, B.Price, S.Yershov et al. // Abstracts Of
Papers of Psychology of Programming Interest Group 7th Annual Workshop.
– Edinburgh: University of Edinburgh, 1995. – P. 94.

12. Skurikhin V.I., Lastovchenko M.M., Gladun A.Ja., Yershov S.V.
A distributed expert system for the management of a national computer
network of Ukraine // Oac. 3-e oe?. eiio. ii aaoiiaoe/aneiio oi?aaeaieth
“Aaoiiaoeea-96”. O.1. – Naaanoiiieue: NaaAOO, 1996. – C. 223-225.

13. CDCS: computer assistance for development of object-oriented
distributed applications / I.Futo, G.Strausz, S.Yershov et al. // Proc.
of WOON’96 First Intern. Conf. on Object-Oriented Technology. –
Sankt-Petersburg (Russia), 1997. – P. 59-68.

O ?iaioao, iaienaieo o ni?aaaoi?noa?, aeena?oaioo iaeaaeaoue oae?
?acoeueoaoe: a ioae?eaoe?? [1] — aen?iie aeey no?oeoo? ?-noai oa
iia?aoe?e ?o c’?aeiaiiy, a [2] — iiaoaeiaa iia?aoe?e oa i?aaee
a?aoiai? aeaaa?e i?ioean?a, a [7] — iien cania?a aaia?aoe?? oaenoo
?iciiae?eaii? i?ia?aiii? nenoaie iiaith i?ia?aioaaiiy Java o
a?aeiia?aeiino? aei niaoeeo?eaoe?e ia iniia? ?-noai, a [8,13] — iien
iaoiaeieia?? a?coaeueiiai ia’?eoii-i???ioiaaiiai i?iaeooaaiiy
?iciiae?eaieo i?ia?aiieo nenoai, iien cania?a aaia?aoe?? oaenoo
?iciiae?eaii? i?ia?aiii? nenoaie iiaith N++, a [9] — iiaoaeiaa iia?aoe?e
aeaaa?e no?oeoo? aeaieo ia iniia? eiioo?ieo ?-noai oa i?eioeeie
i?aaenoaaeaiiy no?oeoo? aeaieo iniiaieo iia i?ia?aioaaiiy o aeaeyae?
?-noai, a [10] — eiioeaioe?y a?coaeueii? iiae aeey niaoeeo?eaoe??
ia’?eoii-i???ioiaaieo nenoai, a [11] — iaa?oiooaaiiy ia?aaaa a?ao?/iiai
i?aaenoaaeaiiy i?ia?ai a ?-noaiao ii??aiyii c oaenoiaei i?aaenoaaeaiiyi,
a [12] — iinoaiiaea caaea/? ?ic?iaee oa eii?aeeiaoe?? nenoaie aaaio?a
aeey cai?o ? aiae?co ?ioi?iaoe?? i?i noai ia?aae? o iaaeao i?iaeoo
INCO-COPERNICUS ?96-0114.

??oia N.A. Iaoiaee ? caniae a?coaeueiiai ia’?eoii-i???ioiaaiiai
i?iaeooaaiiy i?ia?aiieo nenoai ia iniia? eiioo?ieo ?-noai. — ?oeiien.

Aeena?oaoe?y ia caeiaoooy iaoeiaiai nooiaiy eaiaeeaeaoa
o?ceei-iaoaiaoe/ieo iaoe ca niaoe?aeuei?noth 01.05.03 — iaoaiaoe/ia oa
i?ia?aiia caaacia/aiiy ia/enethaaeueieo iaoei ? nenoai. — ?inoeooo
e?aa?iaoeee ?iai? A.I.Aeooeiaa IAI Oe?a?ie, Ee?a, 1998.

Aeena?oaoe?y i?enay/aia ieoaiiyi i?iaeooaaiiy ?iciiae?eaieo i?ia?aiieo
nenoai ?c canoiaoaaiiyi i?eioeei?a ia’?eoii-i???ioiaaii? ia?aae?aie. A
aeena?oaoe?? ?ic?iaeaii iiaee iaoiae i?iaeooaaiiy ia’?eoii-i???ioiaaieo
i?ia?aiieo nenoai ia iniia? aeei?enoaiiy oi?iae?ciaaii? a?coaeueii? iiae
eiioo?ieo ?-noai. Iaa?oioiaaia i?aaenoaaeaiiy aeaeea?aoeaii? naiaioeee
eiioo?ieo ?-noai ca aeiiiiiaith a?aoiai? aeaaa?e i?ioean?a. ?ic?iaeaia
aen?iiaoe/ia naiaioeea ?-noai ia aac? i?ia?aiii? eia?ee Oia?a.
Cai?iiiiiaai? a?aoia? aeaaa?e iieno oei?a aeaieo oa iaa?oioiaai? iaoiaee
?o aeei?enoaiiy aeey niaoeeo?eaoe?? eean?a ia’?eoii-i???ioiaaieo
i?ia?aiieo nenoai. Iniiai? ?acoeueoaoe i?aoe? aeei?enoai? i?e noai?aii?
?iciiae?eaii? nenoaie ea?oaaiiy iaoe?iiaeueiith eiii’thoa?iith ia?aaeath
Oe?a?ie, i?iaeo INCO-COPERNICUS 96-0114 ?a?iiaenueeiai Nithco.

Eeth/ia? neiaa: ia’?eoii-i???ioiaaia i?iaeooaaiiy, a?coaeueia iiaa,
?iciiae?eaia i?ia?aiia nenoaia, aeaeea?aoeaia ? aen?iiaoe/ia naiaioeea.

A?oia N.A. Iaoiaeu e n?aaenoaa aecoaeueiiai iauaeoii-i?eaioe?iaaiiiai
i?iaeoe?iaaiey i?ia?aiiiuo nenoai ia iniiaa eiioo?iuo ?-noai. —
?oeiienue.

Aeenna?oaoeey ia nieneaiea o/aiie noaiaie eaiaeeaeaoa
oeceei-iaoaiaoe/aneeo iaoe ii niaoeeaeueiinoe 01.05.03 — iaoaiaoe/aneia
e i?ia?aiiiia iaania/aiea au/eneeoaeueiuo iaoei e nenoai. — Einoeooo
eeaa?iaoeee eiaie A.I.Aeooeiaa IAI Oe?aeiu, Eeaa, 1998.

Aeenna?oaoeey iinayuaia aii?inai i?iaeoe?iaaiey ?ani?aaeaeaiiuo
i?ia?aiiiuo nenoai n eniieueciaaieai i?eioeeiia iauaeoii-i?eaioe?iaaiiie
ia?aaeeaiu. A aeenna?oaoeee ?ac?aaioai iiaue iaoiae i?iaeoe?iaaiey
iauaeoii-i?eaioiaaiiuo i?ia?aiiiuo nenoai ia iniiaa eniieueciaaiey
oi?iaeeciaaiiiai aecoaeueiiai ycuea eiioo?iuo ?-noai. Iainiiaaii
i?aaenoaaeaiea aeaeea?aoeaiie naiaioeee eiioo?iuo ?-noai ia iniiaa
a?aoiaie aeaaa?u i?ioeannia. ?ac?aaioaia aeneiiaoe/aneay naiaioeea
?-noai ia aaca i?ia?aiiiie eiaeee Oia?a. I?aaeeiaeaiu a?aoiaua aeaaa?u
iienaiey oeiia aeaiiuo e iainiiaaiu iaoiaeu eo eniieueciaaiey aeey
niaoeeoeeaoeee eeannia iauaeoii-i?eaioe?iaaiiuo i?ia?aiiiuo nenoai.
Iniiaiua ?acoeueoaou ?aaiou eniieueciaaiu i?e nicaeaiee ?ani?aaeaeaiiie
nenoaiu oi?aaeaiey iaoeeiiaeueiie eiiiuethoa?iie naoueth Oe?aeiu, i?iaeo
INCO-COPERNICUS 96-0114 Aa?iiaeneiai Nithca.

Eeth/aaua neiaa: iauaeoii-i?eaioe?iaaiiia i?iaeoe?iaaiea, aecoaeueiue
ycue, ?ani?aaeaeaiiay i?ia?aiiiay nenoaia, aeaeea?aoeaiay e
aeneiiaoe/aneay naiaioeea.

Yershov S.V. Methods and means for visual object-oriented development
of software systems by contour ?-charts. — Manuscript.

Thesis for a candidate degree by speciality 01.05.03 — mathematical and
program software of computers and systems. — Glushkov Institute of
Cybernetics of National Academy of Sciences of Ukraine, Kiev, 1998.

The dissertation is devoted to design topics that are connected with
the distributed software systems using principles of object-oriented
paradigm. A new method of design of object-oriented software systems by
the application formalized visual language of R-charts is elaborated in
dissertation. There is proved a way of declarative semantics
representation on the base of graph process algebra. It is developed the
axiomatic semantics of R-charts by the use of Hoare program logic. There
is introduced graph algebras for data types definitions and the method
of its application for specification of classes in object-oriented
software systems is stated. The principal results of the work have found
an utility in the creation of distributed system of the management of
Ukrainian national network, project INCO-COPERNICUS 96-0114 of European
Union.

Key words: object-oriented design, visual language, distributed
software system, declarative and axiomatic semantics.

PAGE 7

d

K

E

D

I

H

A

F

G

B

e

a

f

g

J

C

b

c

h

L

Похожие записи