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

Fatty acid profile of lamb <i>semitendinous</i> muscle and perirenal adipose tissue from two different genotypes

n/

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