Диссертация (1145120), страница 67
Текст из файла (страница 67)
43–50.[409] South-East Finland-Russia ENPI CBC [Electronic resource]. –– URL:http://www.southeastfinrusnpi.fi/ (online; accessed: 2015.12.01).[410] Sowa, J. F. Extending and Formalizing the Framework for InformationSystems Architecture / J. F. Sowa, J. A. Zachman // IBM Systems Journal. —1992. — 31 (3). — P. 590–616.[411] Spanoudakis, G. Inconsistency Management in Software Engineering:Survey and Open Research Issues/ G. Spanoudakis, A.
Zisman // Hand book ofSoftware Eng. and Knowledge Eng. — 2001. — Vol. 1. — P. 24–29.[412] Staab, S. Handbook on ontologies / S. Staab, R. Studer. — Springer, 2009.— 811 p.[413] Stevens, W. Structured Design / W. Stevens, G. Myers, L. Constantine // IBM Systems Journal. — 1974. — 13 (2). — P. 115–139.[414] Stidolph, D. C. Managerial Issues for the Consideration and Use of Formal Methods / D. C. Stidolph, J. Whitehead // Proceedings of International Symposium of Formal Methods Europe, Pisa, Italy, September 8–14, 2003.
LNCS. —Springer, 2003. — Vol. 2805. — P. 170–186.[415] Stojmenovic, I. Editor’s Note: How to Write Research Articles in Computing and Engineering Disciplines / I. Stojmenovic // IEEE Trans. Parallel Distrib.Syst. (TPDS). — 2010. — 21 (2). — P. 145–147.[416] Sun, Y. A WYSIWYG approach for configuring model layout using model transformations / Y. Sun, J. Gray, P. Langer, M. Wimmer, J. White // Proceedings of the 10th Workshop on Domain-Specific Modeling, October 17–18, 2010,Reno, Nevada.
ACM New York, NY, USA. — 2010. — Article No. 6.[417] Tambouris, E. Ontology-Enabled E-gov Service Configuration: An Overview of the OntoGov Project / E. Tambouris, S. Gorilas, et. al. // KMGov. —2004. — P. 122–127.[418] Terekhov, A. N. Implementation of the conformation of MSC and SDLDiagrams in the Real Technology / A. N.
Terekhov, V. V. Sokolov // Programmingand Computer Software. — 2007. — 33 (1). — P. 24–33.[419] Tiako, P. F. Designing Software-Intensive Systems / P. F. Tiako // Methods and Principles. IGI Global. — 2008. — 582 p.409[420] Thomas, D. MDA: Revenge of the modelers or UML utopia? / D. Thomas // IEEE Software. — May/June 2004. — P. 22–24.[421] TOGAF, Version 9.1. Enterprise Edition. — 2011. —692 p.[422] Torre, D.
UML consistency rules: a systematic mapping study / D. Torre,Y. Labiche, M. Genero // Proceeding EASE '14 Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering. —2014.— Article No. 6.[423] Torre, D. On collecting and validating UML consistency rules: a researchproposal / D. Torre // Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering (EASE '14). — 2014. — Article No.57.[424] 3DMJavaImplementation [Electronic resource]. –– UDL: http://www.cs.hut.fi/∼ctl/3dm/ (online; accessed: 2015.11.28).[425] Unhelkar, B. Verification and validation for quality of UML 2.0 models / B.
Unhelkar. — John Wiley & Sons, 2005. — 132 p.[426] Unified Modeling Language (OMG UML), Version 2.5. — 2013. —786 p.[427] UML Forum Discussion Group [Electronichttp://uml.tools/reviews/ (online; accessed: 2015.12.01).resource]. –– URL:[428] UML Profiles And Related Specifications [Electronic resource].
–– URL:http://www.uml.org/#UMLProfiles (online; accessed: 2015.12.01).[429] Ukkonen, E. Approximate string matching with qgram sand maximalmatches / E. Ukkonen // Theoretical Computer Science. — 1992. — 92 (1). —P. 191–211.[430] XML Diff and Merge [Electronic resource]. ––http://www.alphaworks.ibm.com/tech/ (online; accessed: 2015.12.01).URL:[431] XML Schema [Electronic resource].
–– URL: http://www.w3.org/XML/Schema (online; accessed: 2015.12.01).[432] XML Inclusions (XInclude) Version 1.0. W3C Recommendation. 2006.http://www.w3.org/TR/2006/REC-xinclude-20061115/(online;accessed:2015.12.01).[433] XML Metadata Interchange (XMI) Specification. OMG, Version 2.5.1. —2015. —122 p.410[434] Walsh, N.
DocBook: The Definitive Guide / N. Walsh, L. Muellner. —O’Reilly, 1999. — 644 p.[435] Weiss, E. H. How To Write Usable User Documentation / E. H. Weiss. —2nd edition, Phoenix: Oryx Press. — 1991.[436] Weil, F. Automated semantic analysis of design models / F. Weil, et.al. // Model Driven Engineering Languages and Systems. — Springer Berlin Heidelberg, 2007.
— P. 166–180.[437] Whittle, J. Transformations and Software Languages: Automating Transformations / J. Whittle // Proceedings of the 5th International Conference on TheUnified Modeling Language (UML’02). LNCS. — 2002. — Vol. 2460. —P. 227–242.[438] Wieringa, R. A Survey of Structured and Object-Oriented Software Specification Methods and Techniques / R. Wieringa // ACM Comput.
Surv. (CSUR).— 1998. — 30 (4) — P. 459–527.[439]Williams, J. Transformations in technical communication pedagogy: engineering, writing, and the ABET engineering criteria / J. Williams // SIGDOC. —2000. — P.75–79.[440] Wills, A.C. Agile Development with Domainguages / A. C. Wills, S. Kelly // XP. — 2005. — P.
311–314.SpecificLan-[441] Wirfs-Brock, R. Designing Object-Oriented Software / R. Wirfs-Brock,B. Wilkerson , L. Wiener. — Prentice Hall, 1990. — 341 p.[442] Wingkvist, A. Analysis and visualization of information quality of technical documentation // A. Wingkvist, W. Lowe, M. Ericsson, R. Lincke // Proceedings of the 4th European Conference on Information Management and Evaluation. —2001. — P. 388–396.[443] Wingkvist, A. A Visualization-based Approach to Present and AssessTechnical Documentation Quality // A.
Wingkvist, M. Ericsson, W. Lowe // Electronic Journal of Information Systems Evaluation. —2011. —14 (1).[444] Woodcock, J. Formal methods: Practice and experience / J. Woodcock,P. G. Larsen, J. Bicarregui, J. Fitzgerald // Journal ACM Computing Surveys(CSUR). — 2009.
— 41 (4). — Article No. 19.[445] Wright, H. Technical Writing Tools for Engineers and Scientists / H. Wright // Computing in Science and Engineering (CSE). — 2010. —12 (5). — P. 98–103.411[446] Yourdon, E. Structured Design: Fundamentals of a Discipline of Programand Systems Design / E. Yourdon, L. L. Constantine.
— Yourdon Press. —1975.[447] Yourdon, E. Modern Structured Analysis / E. Yourdon. — YourdonPress, 1989.[448] Zalila, F. Leveraging formal verification tools for DSML users: a processmodeling case study / F. Zalila, X. Crégut, M. Pantel // Leveraging Applications ofFormal Methods, Verification and Validation.
Applications and Case Studies. —2012. — P. 329–343.[449] Zalila, F. Formal verification integration approach for DSML / F. Zalila,X. Crégut, M. Pantel // Model-Driven Engineering Languages and Systems. —2013. — P. 336–351.[450] Zachman, J. A Framework for Information Systems Architecture /J. Zachman // IBM Systems Journal. — 1987. — 26 (3). — P. 276–292.[451] Ziadi, T. From a UML platform independent component model to platform specific component models / T.
Ziadi, B. Traverson, J. M. Jerzerquel // Workshop in Software Model Engineering Proceedings. — 2002.[452] Zmud, R.W. An Examination of ‘Push-Pull’ Theory Applied to ProcessInnovation in Knowledge Work // Management Science. — 1984. — 30 (6). —P. 727–738.412Приложение 1. Описание метамодели языка THCLМетамодель языка THCL представлена на рис. П1.1.Рис.
П1.1. Метамодель языка THCL413Класс PLSpecificationОписаниеКласс является корневым элементом, представляющим все семейство разрабатываемыхпродуктов.АтрибутыДанный класс имеет следующие атрибуты: plManager: string — имя менеджера, отвечающего за разработку всего семействаданных продуктов; doc: TDocumentationPackage — пакет многоязыковой документации.АссоциацииДанный класс имеет следующие ассоциации: с классом HTModel, множественность ассоциации со стороны классаPLSpecification равна 1, конец ассоциации со стороны PLSpecification помечен агрегированием, то есть PLSpecification является агрегатом, включающим в себяHTModel, и каждая модель HTModel связана ровно с одной спецификацией; c классом PLMModel, множественность ассоциации со стороны классаPLSpecification равна 1, конец ассоциации со стороны PLSpecification помечен агрегированием, то есть PLSpecification является агрегатом, включающим в себяPLMModel и каждая модель PLMModel связана ровно с одной спецификацией.Класс HTModelОписаниеКласс предназначен для описания модели типов оборудования, используемого в данномсемействе.
Все типы оборудования (объекты класса HTElement) должны входить в объектэтого класса.АтрибутыДанный класс имеет следующие атрибуты: htManager: string — имя менеджера, ответственного за модель описания оборудования семейства.АссоциацииДанный класс имеет следующие ассоциации: c классом PLSpecification, множественность ассоциации со стороны классаHTModel равна 1, то есть у него может существовать ровно один экземпляр классаHTModel, а именно только одна модель оборудования, общая на все семействопродуктов; с классом HTElement, множественность ассоциации со стороны класса HTModelравна 1, конец ассоциации со стороны HTModel помечен агрегированием, то естьHTModel является агрегатом, включающим в себя HTElement, и каждый элементHTElement принадлежит ровно одной модели; c классом HTCategory, множественность ассоциации со стороны класса HTModelравна 1, конец ассоциации со стороны HTModel помечен агрегированием, то естьHTModel является агрегатом, включающим в себя HTCategory, и каждая категорияотносится ровно к одной модели.414Класс HTCategoryОписаниеКласс служит для группирования типов блоков по функциональным группам (категориям), например, усилители, микшеры, коммутационные матрицы и т.д.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
