Results on formal stepwise design in Z

Stepwise design involves the process of deriving a concrete model of a software system from a given abstract one. This process is sometimes known as refinement. There are numerous refinement theories proposed in the literature, each of which stipulates the nature of the relationship between an abstract specification and its concrete counterpart. This paper considers six refinement theories in Z that have been proposed by various people over the years. However, no systematic investigation of these theories, or results on the relationships between them, have been presented or published before. This paper shows that these theories fall into two important categories and proves that the theories in each category are equivalent

A Facility Location-Allocation Model for Determining Number of Depot to Distribute Material in the Rattan Furniture Industry by Considering Dynamic Demand

This paper is a study of a facility location-allocation problem in the rattan furniture industry. There are six production centers (PCs) of rattan furniture in Surakarta and its surroundings. However, their export sales are decline due to some possible problems in raw rattan distribution network from the sources centers (SCs), e.g. Borneo and Celebes Island to production centers. In the previous research, the model was expanded to support local government decide to determine optimal number of depot by consider static demand. This policy is aimed to cut the distribution channel and reduce total supply chain costs. Due to changing of global market, the demand is fluctuate. The previous model cannot anticipate this situation; consequently the local government needs a facility location-allocation model by considering dynamic demand. The objective of this research is to develop a model for supporting the local government to decide optimal number of depot by considers dynamic demand. A mixed integer non-linear programming (MINLP) was proposed to minimize total supply chain costs. The proposed model assumed that the demand for multiple products is known in advance. The potential raw rattan depot and source locations as well as their maximum capacities are also known. Finally, the proposed model can be used as instrument decision making to determine facility location-allocation. Keywords: dynamic demand, a facility location-allocation model, rattan industry competitiveness, total supply chain costs

An Analysis of Service Ontologies

Services are increasingly shaping the world’s economic activity. Service provision and consumption have been profiting from advances in ICT, but the decentralization and heterogeneity of the involved service entities still pose engineering challenges. One of these challenges is to achieve semantic interoperability among these autonomous entities. Semantic web technology aims at addressing this challenge on a large scale, and has matured over the last years. This is evident from the various efforts reported in the literature in which service knowledge is represented in terms of ontologies developed either in individual research projects or in standardization bodies. This paper aims at analyzing the most relevant service ontologies available today for their suitability to cope with the service semantic interoperability challenge. We take the vision of the Internet of Services (IoS) as our motivation to identify the requirements for service ontologies. We adopt a formal approach to ontology design and evaluation in our analysis. We start by defining informal competency questions derived from a motivating scenario, and we identify relevant concepts and properties in service ontologies that match the formal ontological representation of these questions. We analyze the service ontologies with our concepts and questions, so that each ontology is positioned and evaluated according to its utility. The gaps we identify as the result of our analysis provide an indication of open challenges and future work

Criminal intent or cognitive dissonance: how does student self plagiarism fit into academic integrity?

The discourse of plagiarism is speckled with punitive terms not out of place in a police officer's notes: detection, prevention, misconduct, rules, regulations, conventions, transgression, consequences, deter, trap, etc. This crime and punishment paradigm tends to be the norm in academic settings. The learning and teaching paradigm assumes that students are not filled with criminal intent, but rather are confused by the novel academic culture and its values. The discourse of learning and teaching includes: development, guidance, acknowledge, scholarly practice, communicate, familiarity, culture. Depending on the paradigm adopted, universities, teachers, and students will either focus on policies, punishments, and ways to cheat the system or on program design, assessments, and assimilating the values of academia. Self plagiarism is a pivotal issue that polarises these two paradigms. Viewed from a crime and punishment paradigm, self plagiarism is an intentional act of evading the required workload for a course by re-using previous work. Within a learning and teaching paradigm, self plagiarism is an oxymoron. We would like to explore the differences between these two paradigms by using self plagiarism as a focal point

Models of internationalisation: The New Zealand experience

This paper examines the models of internationalisation adopted by thirty firms from New Zealand. Analysis of the international model is based on five key dimensions: firm sector and size; international market scope; market entry and servicing strategies; and speed of internationalisation. Drivers and constraints to internationalisation are also considered in the analysis. Evaluation of these dimensions over time finds evidence of both traditional ‘stages’ and emergent ‘born (again) global’ models of internationalisation, and reveals that over one third of these firms experience dramatic change to their international activities and resources initiated by divestment or change of ownership. We refer to the alternative internationalisation trajectory adopted by these firms as the ‘transformational’ model of internationalisation. The paper makes a contribution to the extant literature by providing synthesis of the New Zealand internationalisation and by building on our understanding of how patterns of internationalisation from a small open economy are changing in response to global environmental pressures

Multi-Stakeholder Assessment of Critical Success Factors: Insights from the World's Fastest SAP R/3 Implementation

Organizations invest substantial resources in Enterprise Systems (ES) expecting positive outcomes for the organization and its functions. Implementing an ES is a lengthy and costly undertaking, with general upheaval for many of the organizations. Many organizations therefore are seriously considering rapid ES-implementations to reduce cost and other related resources. This paper presents findings of a study conducted to understand critical success factors of rapid ES-implementations gathering data from the world’s fastest SAP implementation, completed in a record time of three weeks. Using a two-phased case study design, gathering data from four distinct stakeholders, this study recognized the relevance of critical success factors identified through the literature to the context of rapid ES-implementations. Moreover, the study identified three new critical success factors that are specific to rapid ES-implementations. The study also demonstrated differentiating views of multiple stakeholders on each of the critical success factors

Exploring Maintainability Assurance Research for Service- and Microservice-Based Systems: Directions and Differences

To ensure sustainable software maintenance and evolution, a diverse set of activities and concepts like metrics, change impact analysis, or antipattern detection can be used. Special maintainability assurance techniques have been proposed for service- and microservice-based systems, but it is difficult to get a comprehensive overview of this publication landscape. We therefore conducted a systematic literature review (SLR) to collect and categorize maintainability assurance approaches for service-oriented architecture (SOA) and microservices. Our search strategy led to the selection of 223 primary studies from 2007 to 2018 which we categorized with a threefold taxonomy: a) architectural (SOA, microservices, both), b) methodical (method or contribution of the study), and c) thematic (maintainability assurance subfield). We discuss the distribution among these categories and present different research directions as well as exemplary studies per thematic category. The primary finding of our SLR is that, while very few approaches have been suggested for microservices so far (24 of 223, ?11%), we identified several thematic categories where existing SOA techniques could be adapted for the maintainability assurance of microservices

A single journal study : Malaysian Journal of Computer Science

Single journal studies are reviewed and measures used in the studies are highlighted. The following quantitative measures are used to study 272 articles published in Malaysian Journal of Computer Science, (1) the article productivity of the journal from 1985 to 2007, (2) the observed and expected authorship productivity tested using Lotka's Law of author productivity, identification and listing of core authors; (3) the authorship, co-authorship pattern by authors' country of origin and institutional affiliations; (4) the subject areas of research; (5) the citation analysis of resources referenced as well as the age and half-life of citations; the journals referenced and tested for zonal distribution using Bradford's law of journal scattering; the extent of web citations; and (6) the citations received by articles published in MJCS and impact factor of the journal based on information obtained from Google Scholar, the level of author and journal self-citation