An Institutional Framework for Heterogeneous Formal Development in UML

We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We show how different aspects of the formal development process can be coherently formalised, ranging from requirements over design and Hoare-style conditions on code to the implementation itself. The framework can be used to verify consistency of different UML diagrams both horizontally (e.g., consistency among various requirements) as well as vertically (e.g., correctness of design or implementation w.r.t. the requirements)

Current concepts in treatment of early knee osteoarthritis and osteochondral lesions; the role of biological augmentations

Early knee osteoarthritis and chondral lesions are a common cause of disability in younger patients. Surgical options, such as microfractures, ACI and OAT, provide good, but not fully satisfying, outcomes. Recent advance in biological knowledge introduced two different methodological approaches of delivering growth factors and stem cells into the articular environment. Platelet-Rich Plasma and Mesenchimal Stem Cells are supposed to change the way to approach early knee osteoarthritis and chondral lesions, though their indications and limits are yet to be determined

OT Modeling: The Enterprise Beyond IT

Enterprises are composed of an enormous number of elements (e.g., organizational units, human resources, production processes, and IT systems) typically classified in the business or the IT domain. However, some crucial elements do not belong in either group: they are directly responsible for producing and delivering the company’s goods and services and include all the elements that support day to day operations. Collectively, these elements have been called operational technologies (OT) and have been conspicuously excluded from enterprise modeling (EM) approaches which traditionally have focused on the business and IT dimensions. Evidence of this is the absence of OT elements in languages and metamodels for EM. This is in line with the historical division between IT and OT in organizations that has led to information silos, independent teams, and disparate tech- nologies that only recently have started to be reconciled. Considering that OT is critical to most productive organi- zations, and the benefits that EM brings to its understand- ing and improvement, it makes sense to expand EM to include OT. For that purpose, this paper proposes an extension to ArchiMate 3.0 which includes crucial OT elements. On top of that, this paper also proposes an approach to further expand ArchiMate to address specific industries where more specific OT elements are required. This is illustrated in the paper with an extension for the Oil and Gas case that was validated with experts belonging to five companies in the sector

Edizione della Cronaca Estravagante

Edizione critica del testo corretto e integrale della fondamentale Cronaca extravagans di Galvano Fiamma

La Cronaca estravagante di Galvano Fiamma

Edizione critica della "Cronica extravagans de antiquitatibus civitatis Mediolani" di Galvano Fiamma con introduzione e studio critico sulla figura e sulle opere dell'autore

Tavole

Didascalie e commenti alle miniature illustranti le opere di Galvano Fiamma

The importance of business culture, social responsibility in improving business performance

В статье рассмотрены основные особенности организации предпринимательской деятельности в сфере обслуживания; требования, предъявляемые к профессиональной подготовке менеджмента и сотрудников, указанных предприятий; отмечена важная роль в организации предпринимательской деятельности социальной ответственности, культуры и философии. Особо подчеркивается, что специалист в области организации, управления производством должен владеть навыками и приемами делового общения; анализа конфликтных ситуаций; уметь с помощью слова убеждать, аргументировать, достигать согласия; осуществлять "психологическую терапию". Умение говорить, быть правильно понятым, слушать и понимать, ненавязчиво убеждать, создавать доверительные отношения, искренне сочувствовать – все это важнейшие характеристики делового общения. Удовлетворять таким требованиям может только тот руководитель, который постоянно совершенствует свои знания, умения, никогда не останавливается на достигнутом.In the article the basic features of organization of entrepreneurial activity are considered in the field of service; requirements, produced to professional preparation of management and employees, indicated enterprises; an important role is marked in organization of entrepreneurial activity of social responsibility, culture and philosophy. It is especially underlined that a specialist is in area of organization, managements must own a production by skills and receptions of business commonunication; analysis of conflict situations; able by means of word to convince, argue, arrive at a consent; to carry out "psychological therapy". Ability to talk, being is correct to understood, to listen and understand, unobtrusively to convince, create confidence relations, sincerely to sympathize are all major descriptions of business commonunication. A that leader, that perfects the knowledge, abilities constantly, never decides on attained, can satisfy to such requirements only. In this regard, in modern conditions, a specialist in the field of organization and management of the restaurant business must have the skills and techniques of business communication; analysis of conflict situations; to be able to convince, argue, reach agreement with the help of the word; to carry out "psychological therapy". Ability to speak, be correctly understood, listen and understand, gently convince, create trusting relationships, sincerely sympathize – all these are the most important characteristics of business communication