Джексон жүйесін дамыту - Jackson system development

Джексонның құрылымдық дамуы (JSD) сызықтық болып табылады бағдарламалық жасақтама жасау әдістемесі әзірлеген Майкл Джексон және Джон Кэмерон 1980 ж.

Тарих

JSD-ті Майкл Джексон алғаш рет 1982 жылы «Жүйені дамыту әдісі» атты мақаласында ұсынған.[1] және 1983 ж Жүйені дамыту.[2]Джексондық жүйені дамыту (JSD) - бұл бағдарламалық жасақтаманың өмірлік циклын тікелей немесе арнайы мамандандырылған техникалар кіре алатын шеңберді қамтамасыз ететін жүйені құру әдісі. Джексон жүйесін әзірлеу тек жалпы талаптар қойылатын кезде жобадағы кезеңнен басталуы мүмкін. Алайда, Джексон жүйесін дамытуды қолданған көптеген жобалар өмірлік циклде сәл кейінірек басталды, алғашқы қадамдарды пайдаланушылармен тікелей емес, көбінесе қолданыстағы құжаттармен жасау. JSD кейінгі қадамдары соңғы жүйенің кодын шығарады. Соңғы кодты шығару үшін Джексонның бірінші әдісі - Джексонның құрылымдық бағдарламалауы (JSP) қолданылады. JSD-нің алдыңғы сатыларының нәтижесі JSP тақырыбы болып табылатын бағдарламаны жобалау проблемаларының жиынтығы болып табылады. Техникалық қызмет көрсету сонымен бірге алдыңғы қадамдардың қайсысы сәйкес келсе де қайта өңделеді.

JSD дами берді және әдіске бірнеше жаңа мүмкіндіктер енгізілді. Бұл Джон Кэмеронның 1989 ж. Жинағында сипатталған, JSP және JSD,[3] және LBMS JSD нұсқаулығының 1992 жылғы нұсқасында (2 нұсқасы).[4]

JSD әдісінің дамуы 1990 жылдардың басында аяқталды, өйткені Джексонның ойлауы дамыды Проблемалық кадрлар тәсілі басылымымен Бағдарламалық жасақтамаға қойылатын талаптар мен сипаттамалар (1995) және Проблемалық шеңберлер: бағдарламалық жасақтама мәселелерін талдау және құрылымдау (2000).

Жұмыс принциптері

JSD жұмысының үш негізгі принциптері:

  • Даму жүйе орындайтын функцияны көрсетуден немесе құрылымдаудан гөрі нақты әлемді сипаттаудан және модельдеуден басталуы керек. JSD әдісін қолданып жасалған жүйе жүйенің жұмысына немесе мақсатына тікелей назар аударылмай тұрып, нақты әлемді модельдейді.
  • Уақытпен реттелген әлемнің барабар моделінің өзі уақыт бойынша реттелген болуы керек. Негізгі мақсат - нақты әлемдегі прогресті, оны модельдейтін жүйеде прогресті бейнелеу.
  • Жүйені енгізу тәсілі спецификацияны процестердің тиімді жиынтығына айналдыруға негізделген. Бұл процестер оларды қол жетімді бағдарламалық жасақтама мен жабдықта іске қосатындай етіп жасалуы керек.

JSD қадамдары

Оны алғаш Джексон 1982 жылы ұсынған кезде,[1] әдіс алты кезеңнен тұрды:

  1. Нысан / әрекет қадамы
  2. Бастапқы модель қадамы
  3. Интерактивті функция қадамы
  4. Ақпараттық функция сатысы
  5. Жүйе уақыты қадамы
  6. Жүйені енгізу кезеңі

Кейінірек кейбір қадамдар біріктіріліп, тек үш қадамнан тұратын әдіс құрылды.[5]

  1. Модельдеу кезеңі (талдау): бірге нысан / әрекет қадамы және құрылым құрылымы қадам.
  2. Желілік кезең (дизайн): бірге бастапқы модель қадамы, функция қадамы, және жүйенің уақыт кезеңі.
  3. Іске асыру кезеңі (іске асыру): іске асыру кезеңі.

Модельдеу кезеңі

Модельдеу кезеңінде дизайнер коллекция жасайды құрылым құрылымының сызбалары және жүйедегі субъектілерді, олар орындайтын әрекеттерді, субъектілердің өміріндегі іс-әрекеттердің уақыт тәртібін және әрекеттер мен субъектілердің атрибуттарын анықтайды. Субъект құрылымының диаграммаларында диаграмма жазбасы қолданылады Джексонның құрылымдық бағдарламалауы құрылымдық сызбалар. Бұл сызбалардың мақсаты жүйе мен ұйымның аспектілеріне толық сипаттама жасау. Әзірлеушілер қандай заттар маңызды және қайсысы маңызды емес екенін шешуі керек. Жаңа жүйені жасаушылар мен қолданушылар арасындағы жақсы байланыс өте маңызды.

Бұл кезең бұрынғы құрылым / әрекет қадамы мен нысан құрылымы қадамының тіркесімі.

Желілік кезең

Желілік кезеңде тұтастай жүйенің моделі жасалып, а түрінде ұсынылған жүйенің сипаттамалық сызбасы (SSD) (а. Ретінде де белгілі желі диаграммасы ). Желілік диаграммалар процестерді (тіктөртбұрыштар) және олардың бір-бірімен қалай байланысатындығын көрсетеді күй векторы қосылыстар (алмастар) немесе арқылы деректер ағыны байланыстар (шеңберлер). Бұл кезеңде жүйенің функционалдығы анықталады. Әрбір тұлға желі диаграммасындағы процеске немесе бағдарламаға айналады. Сыртқы бағдарламалар кейінірек желілік диаграммаларға қосылады. Бұл бағдарламалардың мақсаты кірісті өңдеу, нәтижені есептеу және ұйымның процестерін жаңартып отыру болып табылады. Бүкіл жүйе осы желілік диаграммалармен сипатталған және мәліметтер мен процестер мен бағдарламалар арасындағы байланыстар туралы сипаттамалармен толықтырылған.

Бастапқы модель қадамы нақты әлемнің имитациясын көрсетеді. Функция қадамы осы модельдеуге жүйенің нәтижесін шығаруға қажетті әрі қарайғы орындалатын операциялар мен процестерді қосады. Жүйені уақытқа бөлу процесі синхрондауды қамтамасыз етеді, шектеулер енгізеді. Бұл кезең бұрынғы ‘Бастапқы модель’ қадамының, ‘функция’ қадамының және ‘жүйенің уақыты’ қадамының тіркесімі.

Іске асыру кезеңі

Іске асыру кезеңінде шешімнің абстрактілі желілік моделі а түрінде ұсынылған физикалық жүйеге айналады жүйені енгізу сызбасы (SID). SID жүйені а ретінде көрсетеді жоспарлаушы процестерді іске асыратын модульдерді шақыратын процесс. Деректер ағындары инверттелген процестерге шақырулар ретінде ұсынылады. Деректер базасының белгілері объект-векторлардың жиынтықтарын білдіреді және файл буферлері үшін арнайы таңбалар бар (олар процестер әр түрлі уақыт аралықтарында жоспарланған кезде орындалуы керек).

Жүзеге асырудың негізгі мәселесі - жүйені оңтайландыру. Процестердің санын азайту қажет, себебі спецификациядағы әрбір процесті өзінің виртуалды процессорымен қамтамасыз ету мүмкін емес. Трансформациялау арқылы процестер олардың санын процессорлар санымен шектеу мақсатында біріктіріледі.

Диаграммаларды жобалау

Субъект құрылымының диаграммасы (ESD)

Диаграмма іс-әрекет субъектілерінің жүйемен қалай жұмыс істейтінін көрсетеді. Субъект құрылымының диаграммасы (ESD) туралы ескертулер:

  • Субъект: Нысан - бұл жүйеде және жүйеде қолданылатын объект.
  • Әрекет: Субъектілер жүзеге асыратын және басқа субъектілерге әсер ететін әрекеттер.
  • Құрылыс тізбегі: JSD конструкциясы SSADM Entity Life History құрылымымен бірдей. Солдан оңға қарай қолданылатын әрекеттерді бейнелеу үшін SequenceConstruct қолданыңыз.
  • Құрылыс-таңдау: Екі немесе одан да көп әрекеттер арасындағы таңдауды көрсету. Оң жақ бұрыштағы опцияларды «o» белгісімен белгілеңіз (опция).
  • Конструкция-қайталану: Әрекет қайталанған кезде, оң жақ бұрышқа кішкене жұлдызшаны (*) қойыңыз.

Әдетте RecurringConstruct астында бір ғана әрекет болады.

  • Нөлдік компонент: Null компоненті IF-ELSE мәлімдемесінде ештеңе болмайтындығына көз жеткізе алады.
Желілік диаграмма (ND)

Желілік диаграммалар процестердің өзара байланысын көрсетеді. Кейде оларды жүйенің спецификация диаграммасы (SSD) деп атайды. Желілік диаграмма (ND) ескертулері:

  • Процесс: Процестер жүйенің функцияларын білдіреді. Процесс моделі негізгі жүйелік функцияларды білдіреді. Әдетте, бұл мәліметтер ағыны арқылы сыртқы құрылыммен байланыста болады.
  • Деректер ағыны байланысы: Деректер ағыны қосылымында А процесі (мәліметтер ағымын жазатын ұйым) басқа В процесіне ақпаратты белсенді түрде жібереді.
  • Мемлекеттік векторлық инспекция: Күй векторлық байланысында В процесі (күй векторы туралы ақпаратты оқитын тұлға) басқа А нысанының векторлық ақпаратын оқиды.

Күйдің векторлық байланысы мен мәліметтер ағынының байланысының айырмашылығы қай процестің белсенділігінде. Деректер ағыны қосылымында, ақпаратпен бірге процесс, белсенді процесс болып табылады; ол (А, жөнелтуші) өзі таңдаған уақытта, В дерек ағыны оқырманына хабарлама жібереді. Мемлекеттік векторлық инспекцияда ақпаратпен процесс А, пассивті болады; ол ештеңе жасамайды, бірақ оқырман B процесіне өзінің (A) күй векторын тексеруге мүмкіндік береді. B, тексеруді жүргізетін процесс - бұл белсенді процесс; А-дан ақпаратты қашан оқитыны туралы шешім қабылдайды, егер ағынды қосылым - бұл хабарлама берудің абстракциясы, ал мемлекеттік векторлық инспекция - бұл сауалнама (және мәліметтер базасын іздеу үшін) үшін абстракция.

Әдебиеттер тізімі

  1. ^ а б "Жүйені әзірлеу әдісі Мұрағатталды 2012-02-06 сағ Wayback Machine »кітабында жарияланған М.А. Джексон Бағдарлама құралдары мен түсініктері: Жетілдірілген курс, Кембридж университетінің баспасы, 1982 ж
  2. ^ Жүйені дамыту, M. A. Jackson, Prentice Hall, 1983 ж
  3. ^ JSP және JSD: бағдарламалық қамтамасыздандыруды дамытуға арналған Джексон тәсілі, ред. Джон Р.Кэмерон (IEEE Computer Society Press, ISBN  0-8186-8858-0, 1989)
  4. ^ LBMS Джексон жүйесін құру, 2.0 нұсқасы бойынша әдістемелік нұсқаулық LBMS (Learmonth, Burchett Management Systems), Джон Вили және ұлдары, ISBN  0-471-93565-4; 1992
  5. ^ Decision systems Inc. (2002), Джексон жүйесін дамыту. 24 қараша 2008 қол жеткізілді.

Әрі қарай оқу

Сыртқы сілтемелер