Modeling a Chilean Hospital Using Specification and Description Language

2013 ◽  
pp. 179-204
Author(s):  
Jorge Leiva Olmos ◽  
Pau Fonseca i Casas ◽  
Jordi Ocaña Rebull
Keyword(s):  
Formal Model ◽  
Hospital Management ◽  
Clinical Services ◽  
Description Language ◽  
Emergency Units

In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and to facilitate its simulation. The model was built with Specification and Description Language (SDL). This methodology was used because it allows the design of a model that represents the system in a graphical, modular, and standard way. Our design contains the following agents: the system, 11 blocks, and 52 processes. The blocks and the processes describe the clinical and administrative activities. The environment of the UAPQ model contains 3 components: clinical services, emergency units, and support units.

Modeling a Chilean Hospital Using Specification and Description Language

2015 ◽  
pp. 445-465
Author(s):  
Jorge Leiva Olmos ◽  
Pau Fonseca i Casas ◽  
Jordi Ocaña Rebull
Keyword(s):  
Formal Model ◽  
Hospital Management ◽  
Clinical Services ◽  
Description Language ◽  
Emergency Units

In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and to facilitate its simulation. The model was built with Specification and Description Language (SDL). This methodology was used because it allows the design of a model that represents the system in a graphical, modular, and standard way. Our design contains the following agents: the system, 11 blocks, and 52 processes. The blocks and the processes describe the clinical and administrative activities. The environment of the UAPQ model contains 3 components: clinical services, emergency units, and support units.

scholarly journals Mapping SDL Specification Fundamentals to Core SDL Ontology

2010 ◽  
Vol 6 (1) ◽  
pp. 18
Author(s):  
Marina Bagić Babac ◽  
Marijan Kunštić
Keyword(s):  
Formal Language ◽  
Formal Model ◽  
Ontology Development ◽  
System Specification ◽  
Description Language ◽  
Interactive Applications ◽  
Discrete Signals ◽  
Formal Framework ◽  
Core Ontology ◽  
Process Elements

This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications Union Telecommunications Standardization Sector (ITU-T) as recommendation Z.100. The language is intended for the specification of complex, event-driven, real-time, and interactive applications involving many concurrent activitiesthat communicate using discrete signals. Using SDL formal model for system specification we bridge the gap between ideas in our minds and the actual implementation of the system. Being visually appealing SDL provides us with a simple tool for communication either between the softwaredevelopers or between non-experts without advanced engineering skills. In this paper we propose the ontology for the basic SDL system and process elements. We also propose a formal framework of SDL Markup Language as a medium for translating SDL model to SDL ontology.

scholarly journals A Petri Net Definition of a System Description Language

1981 ◽  
Vol 8 (96) ◽  
Author(s):  
Kurt Jensen ◽  
Morten Kyng ◽  
Ole Lehrmann Madsen
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Formal Model ◽  
Concurrent Systems ◽  
Formal Definition ◽  
Concurrent System ◽  
Description Language ◽  
System Description ◽  
Definition Of ◽  
Further Development

<p>This paper introduces a language, Epsilon, for the description of systems with concurrency, and presents a formal definition of Epsilon's semantics. The language is based on Delta ‹ the first major attempt to create a language solely aimed at system description without the restrictions placed on languages executable on digital computers. The design of Delta was itself heavily influenced by the experience from the development and use of Simula.</p><p>It is not obvious what kind of semantics a system description language should have. The situation is more complex than with normal algorithmic languages and none of the existing semantic approaches appear to be satisfactory.</p><p>To clarify the situation, we first describe the language Epsilon, which contains only a few basic primitives. Then we define the semantics of Epsilon by means of a formal model based on Petri nets. The model called ''Concurrent systems'' is an extension of Petri nets with a data part and with expressions attached to transitions and to places. The model is a further development of formalisms proposed by R.M. Keller and A. Mazurkiewicz. The expressions attached to places is a novel feature and is used to define continuous transformations on the data part. The semantics of a given system description is defined in terms of firing sequences of the corresponding concurrent system.</p><p>To be presented at the Evian Conference on Semantics of Concurrent Computations, July 1979.</p>

An Overview of Facilities Providing Clinical Services for Persons Who Stutter in Kuwait

2016 ◽  
Vol 1 (4) ◽  
pp. 79-95
Author(s):  
Latifa Alsalmi ◽  
Robert Mayo
Keyword(s):  
Special Education ◽  
Department Heads ◽  
Clinical Services ◽  
Medical Settings ◽  
Non Profit ◽  
Future Studies ◽  
Language Services ◽  
Medical Centers ◽  
Clinical Directors

Presently, no clear picture is available about the facilities providing clinical services for persons who stutter (PWS) in Kuwait. This information is crucial for any awareness program to be established in the future. The purpose of this study was to identify clinical facilities and speech-language personnel that provide services for PWS in Kuwait. Participants consisted of 21 clinical directors of governmental medical centers, non-profit clinics, and private clinics as well as department heads of governmental school clinics where speech-language services were provided. Participants were interviewed regarding the availability of speech-language services within their centers and whether or not PWS receive services. The results revealed that four out of five governmental medical centers with a total of 32 speech-language pathologists (SLPs) provided services for PWS. Additionally, 12 schools of special education were found to have 62 SLPs on their staff providing fluency services for students. Finally, two stand-alone private clinics and one non-profit clinic provided services for PWS. Results indicated an overall shortage of SLPs in the country, especially in medical settings. This study sets the foundation for a series of future studies investigating the type and quality of stuttering services provided by the identified facilities in Kuwait.

Im Krankenhaus: Effizienz im Spital – Selbstverständlichkeit, Realität und Herausforderung

2017 ◽  
Vol 74 (1) ◽  
pp. 796-804
Author(s):  
Werner F. Kübler
Keyword(s):  
Hospital Management ◽  
Medizinische Qualität

Zusammenfassung. Die neue Spitalfinanzierung mit SwissDRG-Fallpauschalen hat seit 2012 zu Preistransparenz und stabilen oder sinkenden Spitalpreisen bei steigendem Marktvolumen geführt. Die meisten Spitäler sind in dieser Zeit kosteneffizienter geworden. Verschlechterungen der Qualität und Sparen auf Kosten des Personals sind bislang in der Schweiz nicht nachgewiesen. Die Anstrengungen zur weiteren Effizienzsteigerung beinhalten Verbesserungsprogramme, die medizinische Qualitätsverbesserung, optimierte Patientenprozesse und Kosteneffizienz gleichzeitig adressieren. Eine bekannte Methodik dafür liefert Lean Hospital Management. Die Optimierung der hochkomplexen Spitalabläufe braucht harte Arbeit, Ausdauer und das Engagement der Führung und aller Berufsgruppen. Die Spitäler arbeiten sorgfältig und kontinuierlich. Erfolge stellen sich langsam aber nachhaltig ein. Zukünftige Fortschritte werden entscheidend durch die Digitalisierung der Medizin und der Gesundheitsversorgung ermöglicht. Prozesse und bessere Messsysteme für die medizinische Qualität und die Ergebnisse werden durch Digitalisierung und Vernetzung gestaltet. Um die Potenziale freizusetzen, müssen bestehende finanzielle und tarifliche Fehlanreize und Grenzen zwischen den Versorgungsstrukturen abgebaut werden. Innovative Entgeltsysteme müssen entwickelt werden, um vermehrt den Nutzen der Behandlungen abzugelten und die Akteure darauf auszurichten. Effizienz im Spital wird sich in den nächsten Jahren von einem ressourcenbezogenen Produktivitätsansatz beim einzelnen Leistungserbringer zu einem balancierten Ansatz im Sinne von Qualität und optimalen Behandlungsabläufen und weiter zu einer umfassenden Betrachtung von Patientennutzen und medizinischem Outcome über die ganze Behandlungskette wandeln.

Sign in / Sign up

Export Citation Format

Share Document