How to design extended finite state machine test models in Java

This chapter is a tutorial that teaches you how to design extended finite state machine (EFSM) test models for a system that you want to test. EFSM models are more powerful and expressive than simple finite state machine (FSM) models, and are one of the most commonly used styles of models for model-based testing, especially for embedded systems. There are many languages and notations in use for writing EFSM models, but in this tutorial we write our EFSM models in the familiar Java programming language. To generate tests from these EFSM models we use ModelJUnit, which is an open-source tool that supports several stochastic test generation algorithms, and we also show how to write your own model-based testing tool. We show how EFSM models can be used for unit testing and system testing of embedded systems, and for offline testing as well as online testing.

The exemplification of governance principles within state asset management laws and policies : the case of Indonesia

Efficient state asset management is crucial for governments as they facilitate the fulfillment of their public functions, which include the provision of essential services and other public administration support. In recent times economies internationally and particularly in South east Asia, have displayed increased recognition of the importance of efficiencies across state asset management law, policies and practice. This has been exemplified by a surge in notable instances of reform in state asset management. A prominent theme in this phenomenon is the consideration of governance principles within the re-conceptualization of state asset management law and related policy, with many countries recognizing variability in the quality of asset governance and opportunities for profit as being critical factors. This issue is very current in Indonesia where a major reform process in this area has been confirmed by the establishment of a new Directorate of State Asset Management. The incumbent Director-General of State Asset Management has confirmed a re-emphasis on adherence to governance principles within applicable state asset management law and policy reform. This paper reviews aspects of the challenge of reviewing and reforming Indonesian practice within state asset management law and policy specifically related to public housing, public buildings, parklands, and vacant land. A critical issue in beginning this review is how Indonesia currently conceptualizes the notion of asset governance and how this meaning is embodied in recent changes in law and policy and importantly in options for future change. This paper discusses the potential complexities uniquely Indonesian characteristics such as decentralisation and regional autonomy regime, political history, and bureaucratic culture.

State asset management reform in Indonesia : a wicked problem

Efficient state asset management is crucial for government departments that rely on the operations of their state assets in order to fulfil their public functions, which include public service provision and others. These assets may be expensive, extensive and or, complex, and can have a major impact on the ability of governments to perform its function over extended periods. Various governments around the world have increasingly recognised the importance of an efficient state asset management laws, policies, and practices; exemplified by the surge in state asset management reform. This phenomenon is evident in Indonesia, in particular through the establishment of the Directorate General of State Assets in 2006, who was appointed as the ultimate state asset manager (of Republic of Indonesia) and the proprietor of state asset management reform. The Directorate General of State Assets too has pledged its adherence to good governance principles within its state asset management laws and policies reform. However the degree that good governance principles are conceptualised is unknown, resulting in questions of how and to what extent is good governance principles evident within Indonesia's reformed state asset management laws and policies. This study seeks to understand the level of which good governance principles are conceptualised and understood within reformed state asset management policies in Indonesia (as a case study), and identify the variables that play a role in the implementation of said reform. Although good governance improvements has been a central tenet in Indonesian government agenda, and state asset management reform has propelled in priority due to found neglect and unfavourable audit results; there is ambiguity in regards to the extent that good governance is conceptualised within the reform, how and whether this relationship is understood by state asset managers (i.e government officials), and what (and how) other variables play a supporting and/or impeding role in the reform. Using empirical data involving a sample of four Indonesian regional governments and 70 interviews; discrepancy in which good governance principles are conceptualised, the level it is conceptualised, at which stage of state asset management practice it is conceptualised, and the level it is understood by state asset managers (i.e government officials) was found. Human resource capacity and capability, the notion of 'needing more time', low legality, infancy of reform, and dysfunctional sense of stewardship are identified as specific impeding variables to state asset management reform; whilst decentralisation and regional autonomy regime, political history, and culture play a consistent undercurrent key role in good governance related reforms within Indonesia. This study offers insights to Indonesian policy makers interested in ensuring the conceptualisation and full implementation of good governance in all areas of governing, particularly within state asset management practices. Most importantly, this study identifies an asymmetry in good governance understanding, perspective, and assumptions between policy maker (i.e high level government officials) and policy implementers (i.e low level government officials); to be taken into account for future policy evolvements and/or writing. As such, this study suggests the need for a modified perspective and approach to good governance conceptualisation and implementation strategies, one that acknowledges and incorporates a nation's unique characteristics and no longer denies the double-edged sword of simplified assumptions of governance.

The nature of intra-familial conflict in large-scale privately-held family businesses in Indonesia

This thesis is a qualitative study aimed at better capturing the complexity of conflict in family businesses. An inductive content analysis revealed two important issues: the dynamics of intergenerational conflicts and the escalation process of conflicts. The results demonstrated that conflicts are more likely to be intergenerational than intra-generational due to the role of senior members in daily business operations, generational differences, and a perception gap that exist between generations concerning each other’s competencies in doing the business. Furthermore, the set of factors contributing to conflict escalation is related to how family members handle the conflict, how they manage their emotions, and how they are able to avoid non-family employee involvement. These findings provide a foundation for taking preventative actions, implementing strategies for managing conflicts or devising effective solutions for resolving conflicts before they become more destructive.

Framework for implementing design build project delivery system in road infrastructure in Indonesia

The thesis provides a framework for potential implementation of the design-build (DB) project delivery system in road infrastructure projects in Indonesia. This framework proposed a structure of the hierarchy of factors promoting the potential implementation of the DB project delivery system and introduced ways to implement the DB project delivery system through level of hierarchical factors. These findings not only give benefit to the academic knowledge but also to the public officials in guiding them with regard to the priority of promoting factors in the process to implement the DB system.

Sharia-compliant financing in Indonesia infrastructure projects

As the adoption of project financing is gaining momentum, there is a concurrent need of innovation in project financing scheme in order to accelerate infrastructure assets provision in Indonesia. As the largest Muslim population in the world, sharia-compliant financing offers tremendous potential as a source for infrastructure financing for Indonesia. To realize this potential, there is a need of a framework to guide its adoption. Hence this paper discusses the potential implementation of Islamic finance to fund infrastructure projects in Indonesia. Through comparative analysis, this paper illustrates how Islamic principles can be incorporated into Indonesian infrastructure project financing.

Re-framing infrastructure investment decision-making processes : a preliminary scoping study for urban flood risk management in Jakarta, Indonesia

Jakarta, Indonesia’s chronic housing shortage poses multiple challenges for contemporary policy-makers. While it may be in the city’s interest to increase the availability of housing, there is limited land to do so. Market pressures, in tandem with government’s desire for housing availability, demand consideration of even marginal lands, such as those within floodplains, for development. Increasingly, planning for a flood resilient Jakarta is complicated by a number of factors, including: the city is highly urbanized and land use data is limited; flood management is technically complex, creating potential barriers to engagement for both decision-makers and the public; inherent uncertainty exists throughout modelling efforts, central to management; and risk and liability for infrastructure investments is unclear. These obstacles require localized watershed-level participatory planning to address risks of flooding where possible and reduce the likelihood that informal settlements occur in areas of extreme risk. This paper presents a preliminary scoping study for determination of an effective participatory planning method to encourage more resilient development. First, the scoping study provides background relevant to the challenges faced in planning for contemporary Jakarta. Second, the study examines the current use of decision-support tools, such as Geographic Information Systems (GIS), in planning for Jakarta. Existing capacity in the use of GIS allows for consideration of the use of an emerging method of community consultation - Multi-Criteria Decision-Making (MCDM) support systems infused with geospatial information - to aid in engagement with the public and improve decision-making outcomes. While these methods have been used in Australia to promote stakeholder engagement in urban intensification, the planned research will be an early introduction of the method to Indonesia. As a consequence of this intervention, it is expected that planning activities will result in a more resilient city, capable of engaging with disaster risk management in a more effective manner.

The impact of organisational culture in project selection process : case of public infrastructure project in Indonesia

The thesis develops an Organisational Culture (OC) based framework for potentially improving the current practice of the infrastructure project selection process (PSP) in Indonesia, particularly for regional road projects. This framework is developed to address the suggestion emanating from the research that there is a need for strengthening the relevant organisational culture dimensions and making changes to current organisational culture profiles to support the effectiveness of the decision-making process of the current PSP. The findings not only benefit existing knowledge but also provide practical contributions for those decision-makers within the Indonesian regional government that are involved in PSP, i.e. by raising the awareness of the influence and the role of organisational culture.

Local development planning and community empowerment in decentralised Indonesia : the role of local planning in improving self organising capabilities of local communities in Takalar, Indonesia

This study investigates the role of development planning in empowering rural communities in Indonesia’s decentralised era. Evidence is produced that the combination of procedural justice in planning development and social learning in its implementation can assist self-organisation and help empower local communities. Significant benefits are shown to result in: the acquisition and use of collective resources; the development of shared knowledge, skills, values and trust; community leadership; and the development of social networks. Two features of this empowerment model are community-based planning, utilising participatory rural appraisal at the level of the natural village, and the organisation of collective action. These are shown to be effective ways of incorporating procedural justice and social learning in self organisation and community empowerment.

It's just an old apron : aprons, artefacts and art - representations of personal and private 'her-stories', as public histories

This paper examines art and artefact in the representation and recollection of deeply personal WWII women’s experiences as POW’s under the Japanese. This kind of treatment of internees in the Tjideng Women and Children’s internment camp (and others) in Batavia under the Japanese in WWII, stands in stark and brutal contrast to the idyllic life lived by many families up to that time in what was then known as the Dutch East Indies (Indonesia). The deprivation and brutality of the Japanese incarceration of these women and children evoked responses - not military, but certainly militant, if muted. Representations of those responses – as both art and artefact - may be found in the most unlikely places and unexpected forms - and are still being unearthed to this day. However close we might personally be to these artists and artisans, can we, as observers from a distance, ever truly comprehend through spoken or written words alone, the day-today realities of those extraordinary times?

A randomized controlled trial of a correspondence-based intervention for carers of relatives with psychosis

Background Family members play a crucial role in supporting the recovery of loved ones with psychosis. The journey of recovery is not only traversed by the person experiencing the mental illness but also by their family. Interventions to support these families have traditionally either focused on psychoeducation or addressed problematic interactions or expressed emotion. Family programmes have far less frequently emphasized supporting family members' adjustment to the challenges posed by their relative's disorder or their recovery from associated distress. The study compared a control condition that received only a psychoeducational booklet (Information) and a condition also receiving a correspondence-based interactive recovery-oriented intervention (Connections). The Connections group was expected to show greater improvements in recovery knowledge, well-being, experiences of caregiving, hopefulness and distress. Method A randomized controlled trial was conducted to evaluate the effectiveness of two correspondence-based family interventions delivered to 81 carers of relatives with psychosis. Results Intent-to-treat analyses showed no differential outcomes between conditions, but an analysis of participants who substantially completed their allocated treatment showed that carers receiving Connections had significantly more improvements in well-being, positive experiences of caregiving and distress. Conclusions Correspondence interventions that support carer's recovery may result in more positive mental health for those who complete key elements of the programme compared with information alone. However, many carers do not complete a correspondence programme and this may limit its impact.

Security metrics for Java bytecode programs

Although there are many approaches for developing secure programs, they are not necessarily helpful for evaluating the security of a pre-existing program. Software metrics promise an easy way of comparing the relative security of two programs or assessing the security impact of modifications to an existing one. Most studies in this area focus on high level source code but this approach fails to take compiler-specific code generation into account. In this work we describe a set of object-oriented Java bytecode security metrics which are capable of assessing the security of a compiled program from the point of view of potential information flow. These metrics can be used to compare the security of programs or assess the effect of program modifications on security using a tool which we have developed to automatically measure the security of a given Java bytecode program in terms of the accessibility of distinguished ‘classified’ attributes.

Determinants of plant performance dynamics : empirical analysis of the manufacturing sector in Indonesia, 1990-2000

We identify determinants of plant dynamics and find their differences before, during, and after the Asian financial crisis. The results show that the distinction of the crisis is important and the effects of the crisis do not seem to persist after 1998. Furthermore, we reject Gibrat's law as the right functional form to describe plant growth. We are not able to support empirically the theoretical results that smaller and efficient plants tend to grow faster than larger and inefficient plants with the exception of the crisis period. The results reflect that there was a trickle down effect of economic development.