A Formalized Design Method for Building E-Government Architechtures

2011 ◽  
pp. 569-591 ◽  
Author(s):  
Alexandros Kaliontzoglou ◽  
Basilis Meneklis ◽  
Despina Polemi ◽  
Christos Douligeris
Keyword(s):  
Design Method ◽  
Cross Border ◽  
State Organizations ◽  
High Level

E-government has the main goal of simplifying governmental processes and the interaction between citizens and state organizations. It therefore has to solve the problem of efficient and secure electronic exchange and processing of governmental documents and data across administration domains and boundaries, even crossing country borders. This is a difficult task that imposes a strict set of requirements to the design and modelling of e-government systems and demands the application of standardized architectural frameworks. This paper demonstrates how the ISO/RM-ODP, in combination with the UML notation, supports the de-sign and development of an open distributed e-government system, by addressing these requirements. It further presents a high level case study of how RM-ODP has been applied in the case of the eMayor platform to build a system supporting cross-border transactions between small to medium sized European municipali-ties.

A Formalized Design Method for Building E-Government Architechtures

2007 ◽  
pp. 254-281 ◽  
Author(s):  
Alexandros Kaliontzoglou ◽  
Basilis Meneklis ◽  
Despina Polemi ◽  
Christos Douligeris
Keyword(s):  
Design Method ◽  
Cross Border ◽  
State Organizations ◽  
High Level

E-government has the main goal of simplifying governmental processes and the interaction between citizens and state organizations. It therefore has to solve the problem of efficient and secure electronic exchange and processing of governmental documents and data across administration domains and boundaries, even crossing country borders. This is a difficult task that imposes a strict set of requirements to the design and modelling of e-government systems and demands the application of standardized architectural frameworks. This paper demonstrates how the ISO/RM-ODP, in combination with the UML notation, supports the de-sign and development of an open distributed e-government system, by addressing these requirements. It further presents a high level case study of how RM-ODP has been applied in the case of the eMayor platform to build a system supporting cross-border transactions between small to medium sized European municipali-ties.

Decomposing Incentives for Early Resilient Design: Method and Validation

2019 ◽  
Author(s):  
Daniel Hulse ◽  
Christopher Hoyle ◽  
Irem Y. Tumer ◽  
Kai Goebel
Keyword(s):  
Architectural Design ◽  
Design Method ◽  
Electric Power System ◽  
Design Solution ◽  
Design Representation ◽  
A Value ◽  
Cost Metrics ◽  
High Level ◽  
Parameter Values

Abstract Due to the expansive, time-consuming nature of risk analyses, it is important to be able to assign the minimization of risk (and, in general, optimization of resilience) to responsible teams that can work in parallel. However, while methods exist for minimization of risk in conventional design processes, research has not yet shown how it should be performed in a model-based design context in early design phase, when the design representation is relatively high-level and there are uncertainties in parameter values. This paper presents a value-driven design approach to minimize risk by decomposing the design, operational, and expected failure costs to individual functions in a system failure model. This process is demonstrated in a case study considering the redundancy of components to fulfill overall functions in an electric power system, where it is shown to increase design value significantly. An uncertainty-based process is additionally provided to enable the designer to test the sensitivity of the chosen design solution to uncertain parameter values. In this limited case study it is shown that the sensitivity of the choice to parameter value uncertainty is low, provided the range of uncertainty for each parameter is within a reasonable range. In situations like this, presented expected cost metrics provide meaningful information to justify system-architectural design decisions made on the basis of resilience.

PERANCANGAN SISTEM PEMBELAJARAN MOBILE (M-LEARNING) BERBASIS ANDROID PADA MATERI BANGUN DATAR DAN BANGUN RUANG

2018 ◽  
Vol 1 (2) ◽  
pp. 1-17
Author(s):  
Tedi Budiman
Keyword(s):  
Mobile Learning ◽  
Design Method ◽  
Case Study Method ◽  
Application Development ◽  
Software Application ◽  
Rapid Application Development ◽  
User Design ◽  
Design Software ◽  
Application Programs

One example of the growing information technology today is mobile learning, mobile learning which refers to mobile technology as a learning medium. Mobile learning is learning that is unique for each student to access learning materials anywhere, anytime. Mobile learning is suitable as a model of learning for the students to make it easier to get an understanding of a given subject, such as math is pretty complicated and always using formulas.The design method that I use is the case study method, namely, learning, searching and collecting data related to the study. While the development of engineering design software application programs that will be used by the author is the method of Rapid Application Development (RAD), which consists of 4 stages: Requirements Planning Phase, User Design Phase, Construction Phase and Phase Cotuver.

Editorial

2018 ◽  
Vol 6 (1) ◽  
pp. 1-2
Author(s):  
Ibrahim Sirkeci
Keyword(s):  
Qualitative Study ◽  
Cultural Dimensions ◽  
Mobile Marketing ◽  
Negative Attitudes ◽  
The Third ◽  
Cross Border ◽  
Local Characteristics ◽  
Critical Account

Transnational Marketing Journal is dedicated to disseminate scholarship on cross-border phenomena in marketing by acknowledging the importance of local and global or in other words, underlining the transnational practices marked by national and local characteristics in a fluid fashion spreading over more than one national territory. The first article by Paulette Schuster looks into “falafel” and “shwarma” in Mexico and discusses the perception of Israeli food in Mexico. The second article is a case study illustrating a critical account of cultural dimensions formulated by Schwarz using the value surveys data. The third article in the issue is a qualitative study of the negative attitudes of millennials torwards mobile marketing. 

Exploring Subbordia – the impact of suburbanisation in cross-border metropolitan regions. The case study of Szczecin and its German hinterland

2018 ◽  
Vol 60 (1) ◽  
pp. 5-13 ◽  
Author(s):  
Martin Barthel ◽  
Ewelina Barthel
Keyword(s):  
Border Region ◽  
Metropolitan Region ◽  
Metropolitan Regions ◽  
Grass Roots ◽  
Planning Support ◽  
Cross Border ◽  
Connected Area ◽  
The Impact ◽  
Local Narratives

Abstract This paper focuses on the largely unexamined phenomenon of the developing trans-national suburban area west of Szczecin. Sadly the local communities in this functionally connected area struggle with national planning policies that are unsuitable for the region. The paper examines the impact of those processes on the border region in general and on the localities in particular. The paper investigates the consequences for local narratives and the cohesive development of the Euroregion and what position Polish and German communities took to develop the region, even without the necessary planning support. The region has succeeded in establishing grass-roots planning mechanisms which have helped to create a metropolitan-region working from the bottom up.

Work Life Balance Of Female Crew In The Aviation Industry: A Case Study

GIS Business ◽  
2019 ◽  
Vol 14 (6) ◽  
pp. 206-212
Author(s):  
Dr. D. Shoba ◽  
Dr. G. Suganthi
Keyword(s):  
Family Life ◽  
Work Life ◽  
Work Life Balance ◽  
Aviation Industry ◽  
Life Balance ◽  
International Airport ◽  
Work Pressure ◽  
Women Employees ◽  
High Level

Employees and employers are facing issues in work life balance. It has become a difficult domain now, because the work needs have increased due to an increase in work pressure and complexities in handling the technology. As there are drastic changes in the rules and regulations in the work scenario of the aviation industry, it makes work life balance of employees difficult and set more hurdles. Hence there are many distractions and imbalances in the life of women employees in the aviation industry working across all levels. This work pressure is creating high level of hurdles in maintaining a harmonious job and family life, especially for female aviation employees. Data is collected from 50 female crew members working at Cochin International Airport. The objective of this study is to analyze the work life balance of working females of Cochin International Airport and its influence on their personal and specialized lives. The result of the study shows that the management should frame certain policies which will help employees to have the balance among their personal and expert lives.

scholarly journals Spatial Analysis of the Drivers, Characteristics, and Effects of Forest Fragmentation

2021 ◽  
Vol 13 (6) ◽  
pp. 3246
Author(s):  
Zoe Slattery ◽  
Richard Fenner
Keyword(s):  
Forest Fragmentation ◽  
Forest Fires ◽  
Geographical Information ◽  
Agricultural Expansion ◽  
Forest Patches ◽  
Mato Grosso ◽  
Remote Imaging ◽  
Landscape Characteristics ◽  
High Level

Building on the existing literature, this study examines whether specific drivers of forest fragmentation cause particular fragmentation characteristics, and how these characteristics can be linked to their effects on forest-dwelling species. This research uses Landsat remote imaging to examine the changing patterns of forests. It focuses on areas which have undergone a high level of a specific fragmentation driver, in particular either agricultural expansion or commodity-driven deforestation. Seven municipalities in the states of Rondônia and Mato Grosso in Brazil are selected as case study areas, as these states experienced a high level of commodity-driven deforestation and agricultural expansion respectively. Land cover maps of each municipality are created using the Geographical Information System software ArcGIS Spatial Analyst extension. The resulting categorical maps are input into Fragstats fragmentation software to calculate quantifiable fragmentation metrics for each municipality. To determine the effects that these characteristics are likely to cause, this study uses a literature review to determine how species traits affect their responses to forest fragmentation. Results indicate that, in areas that underwent agricultural expansion, the remaining forest patches became more complex in shape with longer edges and lost a large amount of core area. This negatively affects species which are either highly dispersive or specialist to core forest habitat. In areas that underwent commodity-driven deforestation, it was more likely that forest patches would become less aggregated and create disjunct core areas. This negatively affects smaller, sedentary animals which do not naturally travel long distances. This study is significant in that it links individual fragmentation drivers to their landscape characteristics, and in turn uses these to predict effects on species with particular traits. This information will prove useful for forest managers, particularly in the case study municipalities examined in this study, in deciding which species require further protection measures. The methodology could be applied to other drivers of forest fragmentation such as forest fires.

Medina Gounass: Constructing Extra-National Space in a West African Borderland

2021 ◽  
pp. 1-26
Author(s):  
David Newman Glovsky
Keyword(s):  
Islamic Law ◽  
West African ◽  
Religious Community ◽  
National Space ◽  
Cross Border ◽  
History Of ◽  
Postcolonial Africa ◽  
Postcolonial States ◽  
The Town

Abstract The historical autonomy of the religious community of Medina Gounass in Senegal represents an alternative geographic territory to that of colonial and postcolonial states. The borderland location of Medina Gounass allowed the town to detach itself from colonial and independent Senegal, creating parallel governmental structures and imposing a particular interpretation of Islamic law. While in certain facets this autonomy was limited, the community was able to distance itself through immigration, cross-border religious ties, and smuggling. Glovsky’s analysis of the history of Medina Gounass offers a case study for the multiplicity of geographical and territorial entities in colonial and postcolonial Africa.

CSim 2

2021 ◽  
Vol 43 (1) ◽  
pp. 1-46
Author(s):  
David Sanan ◽  
Yongwang Zhao ◽  
Shang-Wei Lin ◽  
Liu Yang
Keyword(s):  
Programming Languages ◽  
Concurrent Systems ◽  
Theorem Prover ◽  
Compositional Techniques ◽  
Machine Code ◽  
Top Down ◽  
Hol Theorem Prover ◽  
High Level ◽  
High Degree

To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properties verified on top layers (representing abstract specifications of a system) are propagated down to the lowest layers (that are an implementation of the top layers). There is no need to say that simulation of concurrent systems implies a greater level of complexity, and having compositional techniques to check simulation between layers is also desirable when seeking for both feasibility and scalability of the refinement verification. In this article, we present CSim 2 a (compositional) rely-guarantee-based framework for the top-down verification of complex concurrent systems in the Isabelle/HOL theorem prover. CSim 2 uses CSimpl, a language with a high degree of expressiveness designed for the specification of concurrent programs. Thanks to its expressibility, CSimpl is able to model many of the features found in real world programming languages like exceptions, assertions, and procedures. CSim 2 provides a framework for the verification of rely-guarantee properties to compositionally reason on CSimpl specifications. Focusing on top-down verification, CSim 2 provides a simulation-based framework for the preservation of CSimpl rely-guarantee properties from specifications to implementations. By using the simulation framework, properties proven on the top layers (abstract specifications) are compositionally propagated down to the lowest layers (source or machine code) in each concurrent component of the system. Finally, we show the usability of CSim 2 by running a case study over two CSimpl specifications of an Arinc-653 communication service. In this case study, we prove a complex property on a specification, and we use CSim 2 to preserve the property on lower abstraction layers.

Sign in / Sign up

Export Citation Format

Share Document