Describing Web Service Architectures through Design-by-Contract

Architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, specifying how a system is to be composed from coarse-grain components. ADLs usually come equipped with a formal dynamic semantics, facilitating specification and analysis of distributed and event-based systems. In this paper, we describe the TrustME, an ADL framework that provides both a process and a structural view of web service-based systems. We use Petri-net descriptions to give a dynamic view of business workflow for web service collaboration. We adapt the approach of Schmidt to define a form of Meyer's design-by-contract for configuring workflow architectures. This serves as a configuration-level means of constructing safer, more robust systems.

Trust-By-Contract: Modelling, Analysing and Predicting Behaviour in Software Architectures

Architecture description languages (ADLs) are used to specify high-level, compositional views of a software application. ADL research focuses on software composed of prefabricated parts, so-called software components. ADLs usually come equipped with rigorous state-transition style semantics, facilitating verification and analysis of specifications. Consequently, ADLs are well suited to configuring distributed and event-based systems. However, additional expressive power is required for the description of enterprise software architectures – in particular, those built upon newer middleware, such as implementations of Java’s EJB specification, or Microsoft’s COM+/.NET. The enterprise requires distributed software solutions that are scalable, business-oriented and mission-critical. We can make progress toward attaining these qualities at various stages of the software development process. In particular, progress at the architectural level can be leveraged through use of an ADL that incorporates trust and dependability analysis. Also, current industry approaches to enterprise development do not address several important architectural design issues. The TrustME ADL is designed to meet these requirements, through combining approaches to software architecture specification with rigorous design-by-contract ideas. In this paper, we focus on several aspects of TrustME that facilitate specification and analysis of middleware-based architectures for trusted enterprise computing systems.

Dynamically Adapting BDI Agent Architectures based on High-level User Specifications

Users are facing an increasing challenge of managing information and being available anytime anywhere, as the web exponentially grows. As a consequence, assisting them in their routine tasks has become a relevant issue to be addressed. In this paper, we introduce a software framework that supports the development of Personal Assistance Software (PAS). It relies on the idea of exposing a high level user model in order to increase user trust in the task delegation process as well as empowering them to manage it. The framework provides a synchronization mechanism that is responsible for dynamically adapting an underlying BDI agent-based running implementation in order to keep this high-level view of user customizations consistent with it.

Diaspora, return and migrant architectures

Nearly all discourses on migration (to my knowledge) emphasise that the migrant is not so much a traveller, but a figure oriented towards settlement and a particular destination. Discourses on migration have attended more to the process and site of ‘arrival’, and few studies have focused on the process and site of ‘departure’. However, central to the thesis of this paper would be the testimony of two migrant houses – one in the city of  immigration (Melbourne, Australia), and the other in the village of emigration (Zavoj in Macedonia). The focus will be on the Zavoj house as a significant house, a house that points to a thesis about how architecture makes explicit other processes of migration, namely that of ‘return’. Here there are several intertwined communities and nations, and also different notions of community and nation. It has been noted that ‘diaspora’ is constituted through longer distances, severe separation, and a taboo on return. And yet implicit in many more ‘autobiographical’ accounts is that one only leaves with a promise to return. The conflict and question of ‘return’ is at the centre of the migrant’s imaginary. A study of the two houses of migration implicates a set of networks, forces, relations, circumscribing a much larger global geopolitical and cultural field that questions our understandings of diaspora, the currency of transnationalism, the binary structure of dwelling/travelling, and the fabric and fabrication of community. But the study goes inwards and underneath as well through the figure of the migrant, the figure through which the two migrant houses are deeply associated. The paper will explore the subjective nature of the thesis, the idea of a ‘migrant house’ as an imaginary architecture, a psychic geography, an imaginary community and sense of nationhood.

Fostering deep and elaborative learning and generic(soft) skill development: the strategic use of case studies in accounting education

It is vital that accounting educators take responsibility for the development of students' generic (soft) skills in conjunction with, discipline-specific skills. Research indicates that the typical learning styles of accounting students are not suited to the acquisition of generic skills. In this paper learning theory is used to provide a framework to support the use of case studies as a tool to promote appropriate learning styles and thereby enhance generic skill development. The paper details a number of strategies that may be implemented with case studies to achieve these goals. The implications for accounting educators, which are significant, are discussed.

An ecologically mixed brachiopod fauna from Changhsingian deep-water basin of South China: consequence of end-Permian global warming

The Late Permian Shaiwa Group of the Ziyun area of Guizhou, South China is a deep-water facies succession characterized by deep-water assemblages of pelagic radiolarians, foraminifers, bivalves, ammonoids and brachiopods. Here we report 20 brachiopod species in 18 genera from the uppermost Shaiwa Group. This brachiopod fauna is latest Changhsingian in age and dominated by productides. The palaeoecologic and taphonomic analysis reveals that the brachiopod fauna is preserved in situ. The attachment modes and substratum preference demonstrate that the Shaiwa brachiopod fauna comprises admixed elements of deep-water and shallow-water assemblages. The presence of the shallow-water brachiopods in the Shaiwa faunas indicates the involuntary settlement of shallow-water brachiopods. The stressed ecologic pressure, triggered by warming surface waters, restricted ecospace and short food sources, may have forced some shallow-water elements to move to hospitable deep-water settings and others to modify their habiting behaviours and exploit new ecospace in deep-water environments. We infer that the end-Permian global warming and subsequent transgression event may have accounted for the stressed environmental pressure in the shallow-water communities prior to the end-Permian mass extinction.

Fat content of chips, quality of frying fat and deep-frying practices in New Zealand fast food outlets

Objectives: To collect baseline data on the fat content of hot chips, quality (degradation) of cooking fat, deep-frying practices and related attitudes in fast food outlets in New Zealand. To identify the key determinants of the fat content of chips and quality of cooking fat. Methods: A nationally representative sample of fast food outlets (n=150, response rate 80%) was surveyed between September 1998 and March 1999. Data collected included a questionnaire, observation of cooking practices and analysis of cooked chips and frying fat. Results: Only 8% of independent operators had formal training in deep frying practices compared with 93% of chain operators. There was a wide range of fat content of chips (5%-20%, mean 11.5%). The use of thinner chips, crinkle cut chips and lower fryer fat temperature were associated with higher chip fat content. Eighty-nine per cent of chain outlets used 6–10 mm chips compared with 83% of independent outlets that used chips ≥12 mm. A wide range of frying temperatures was recorded (136–233°C) with 58% of outlets frying outside the reference range (175–190°C). As indices of fat degradation, fat acid and polar compound values above the recommended levels occurred in 54% and 5% of outlets respectively. Operators seemed willing to learn more about best practice techniques, with lack of knowledge being the main barrier to change. Conclusions and implications: Deep frying practices could be improved through operator training and certification options. Even a small decrease in the mean fat content of chips would reduce the obesogenic impact of this popular food.