nonrecoverable abnormal termination

Предложен подход к моделированию обработки исключительных ситуаций в императивных программах. Рассмотрены проблематика использования исключительных ситуаций в программах, общий подход к автоматическому построению моделей программ, описан минимальный набор шаблонов семантических конструкций, необходимый для построения моделей императивных программ. В качестве примера описан процесс моделирования небольшой программы и приведена ее результирующая модель в композициональном виде. The purpose of the article is to propose an approach to the automatic generation of models of imperative programs with exceptions from the source code. Methodology. The approach defines consecutive transformations of the program beginning from the source code to the parsing tree of the program, then to an abstract semantic graph and finally to a compositional model in terms of Petri nets. Transformations are based on a set of formal principles and relations and can be performed without human intervention purely algorithmically. To build a model from the program abstract semantic graph, templates and composition rules are used. Templates describe in terms of Petri net the basic constructions of imperative programming languages: expressions, branching, loops, choice and function call. Findings. A set of templates for modelling the exception handling mechanism is described. This set includes templates for the try and catch blocks describing the processing of the exception in local places of the program, the throw operator to signal the exception, and the operator of the function call with exceptions. Оriginality/value. The article demonstrates that the proposed set of templates allows building a complete model of the program with exceptions, consisting of several functions. The resulting program model makes it possible to analyze the program behavior by standard for Petri nets formal methods. In particular, a possibility of an abnormal termination due to an exceptional situation can be validated and where each particular exception is handled as well as what exceptions are handled in a particular catch block.

Download Full-text

Bilateral Sciatic Nerve Compression Due to Abnormal Termination of the Small Saphenous Vein Into the Popliteal Vein: A Rare Mechanism of Pseudoclaudication of the Lower Extremities

Cureus ◽

10.7759/cureus.10543 ◽

2020 ◽

Author(s):

Byron Chalidis ◽

Dimitrios Kitridis ◽

Maria Tirta ◽

Panagiotis Givissis

Keyword(s):

Sciatic Nerve ◽

Saphenous Vein ◽

Lower Extremities ◽

Nerve Compression ◽

Popliteal Vein ◽

Abnormal Termination

Download Full-text

Schedule-Aware Transactions for Ambient Intelligence Environments

International Journal of Ambient Computing and Intelligence ◽

10.4018/jaci.2010100106 ◽

2010 ◽

Vol 2 (4) ◽

pp. 55-69

Author(s):

Vasileios Fotopoulos ◽

Apostolos Zarras ◽

Panos Vassiliadis

Keyword(s):

Ambient Intelligence ◽

Proof Of Concept ◽

User Centric ◽

Short Time ◽

Abnormal Termination

In this paper, the authors investigate the concept of designing user-centric transaction protocols toward achieving dependable coordination in AmI environments. As a proof-of-concept, this paper presents a protocol that takes into account the schedules of roaming users, which move from one AmI environment to another, avoiding abnormal termination of transactions when users leave an environment for a short time and return later. The authors compare the proposed schedule-aware protocol against a schedule-agnostic one. Findings show that the use of user-centric information in such situations is quite beneficial.

Download Full-text

Anomalous formation of the portal vein: a case report

Jornal Vascular Brasileiro ◽

10.1590/s1677-54492007000400016 ◽

2007 ◽

Vol 6 (4) ◽

pp. 399-401 ◽

Cited By ~ 3

Author(s):

Vasavi Rakesh Gorantla ◽

Bhagath Kumar Potu ◽

Thejodhar Pulakunta ◽

Venkata Ramana Vollala ◽

Pavan Kumar Addala ◽

...

Keyword(s):

Case Report ◽

Portal Vein ◽

Surgical Procedures ◽

Superior Mesenteric Vein ◽

Splenic Vein ◽

Traumatic Rupture ◽

Left Gastric Vein ◽

Mesenteric Vein ◽

Anomalous Formation ◽

Abnormal Termination

The knowledge about the formation and relations of the portal vein is important for surgeons and radiologists. The variations in the level of formation and the pattern of formation of portal vein might lead to confusions during radiological and surgical procedures. Here we present a rare variation in the formation of the portal vein as found during the cadaveric dissections. The portal vein was formed by the union of splenic vein, superior mesenteric vein and inferior mesenteric veins. The abnormal termination of left gastric vein into superior mesenteric vein before the formation of portal vein was also seen in the same cadaver. Identification of these variations is useful in managing traumatic rupture of the mesentery.

Download Full-text