https://www.mdu.se/

Abstract Cloud computing presents a unique opportunity for science and engineering with benefits compared to traditional high-performance computing, especially for smaller compute jobs and entry-level users to parallel computing. However, doubts remain for production high-performance computing in the cloud, the so-called science cloud, as predictable performance, reliability and therefore costs remain elusive for many applications.

We present a semi-automated approach and framework for cost-aware recovery from service inconsistency arising due to unreliable service actions. A range of costs such as time are parameterised and modelled generically using cost algebras. With respect to a user-provided business specification, we distinguish end-state consistency, which must be achieved at service completion, from strong consistency, which may be momentarily violated. Our approach ensures optimal end-state consistency for services where action failure may lead to temporary violations of strong consistency or end-state consistency. Enterprises could not otherwise optimally and dynamically handle strong consistency violation, especially with respect to a variety of costs. Our approach provides quantitative analysis by defining a service model as an high-level message sequence chart (hMSC), annotating service actions with costs, then interpreting the model as a weighted (Mazurkiewicz) trace language, catering for costs in the presence of true concurrency. We devise a framework and method which checks such a model and ensures service end-state consistency optimally by concatenating the traces of recovery strategies (expressed by MSCs) from an enterprise service repository. We evaluate our approach using a popular online shop case study.

A Galois connection is stated between a knowledge base and queries over this knowledge. Queries are stated as conjunctions. Both the knowledge and queries are represented by certain graphs. This Galois connection gives rise to lattices of pattern concepts implicitly contained in the theory (all derivable facts) over the knowledge base. The formal foundation for browsing such lattices and a realisation in terms of a prototype tool is outlined. Data types may be assigned to individual columns of tables in the database

Service selection is the first step in customer life cycle management where services are selected to meet a customer's goals or objectives, personalised to the circumstances of the customer. The aim of this paper is twofold: (1) to develop concepts and algorithms for goal-directed service selection; and (2) to compare and reconcile our goal-directed approach with a service-oriented approach. The proposed goal-directed service selection algorithm is based on a goal-directed domain description that represents the customer objectives and the business processes. We use service component architectures with formalised contractual service process definitions as a software engineering approach to architectural design and realisation of service-oriented architectures (SOA). The comparison aims to understand the relationship between and benefits of a goal-directed approach and a service oriented approach . We use case studies from two complex customer care management domains to demonstrate the concepts. The implemented algorithms are tested in a health care case study.

Systems according to Claim 1, characterized in that the compounds of vanadium are compounds selected from the group consisting of ammonium, lithium, sodium and potassium vanadate, lithium, sodium and potassium orthovanadate, magnesium vanadate, calcium vanadate, vanadyl (IV) acetylacetonate (VO(C 5 H 7 O 5 ) 2 ), vanadyl bistetramethylheptadionate VO(TMHD) 2 and vanadic acid. ... 3. Systems according to Claim 1, characterized in that the compounds of vanadium are compounds selected from the group consisting of lithium vanadate Li 3 VO ...

Embedded systems design, configuration, deployment and runtime management are extremely challenging. The pervasiveness of embedded systems, and their increasing parallelism and scale in number of networked and interacting hardwaresoftware components, has been coupled with increases in the number of functions and the variation in behaviour and characteristics of these functions. Adoption of new international safety standards and higher best practice levels in large manufacturer subcontracting policies however mandates strict quality and at times even stricter dependability and sustainability (in particular energy efficiency) requirements. In recent work we have extended our rich architecture definition language (RADL) and underlying theory to meet such industrial requirements. In this paper we describe a new approach and design model targeting hybrid designer- and operator-defined performance budgets for timing and energy consumption. We give a running example designing a sample embedded multi-media system, a modern digital camera. The model caters for true parallelism, probabilistic performance characterisation, parameterised architectural variation, compositionality, and runtime reconfiguration. The theory is based on hybrid, hierarchical, performance-annotated parallel automata and Petri nets. We also briefly summarise our tool set used to derive the example.

Failure in long running grid applications is arguably inevitable and costly. Therefore, fault tolerance (FT) support for grid applications is needed. This paper evaluates an extension of our prior work on Recovery Aware Components (RAC), a component based FT approach. Our extension utilizes the grid application architecture according to a small number of architectural classes. In this paper, we evaluate the MapReduce architecture only and analyze the reliability improvement MapReduce applications would gain by adopting ...

Academic institutions and campuses in Australia have witnessed an increase in academic and research activities. This has increased the resource consumption and contributes to impact on environment. The growth in consumption of information technology through various initiatives such as research data repositories (ARROW, ANDS), eResearch and eLearning has contributed to the environmental impact. There is a need for universities and academic institutions to think strategically and holistically about Green Enterprise Architecture of their educational and research enterprises. We introduce a strategic approach for implementing Green Enterprise Architecture (EA) based on Total Sustainability Framework (TSF) and Total sustainability Indicator (TSI) using a case study. Application of TSI and TSF in achieving Green EA would assist universities in meeting their goals and objectives of sustainability in a holistic and balanced manner.

Contract models underlying architecture-level verification methods must suit a range of different accuracy vs analytical complexity tradeoffs depending on domain. For example, trustworthiness in safety-critical systems is enabled by representational simplicity leading to comprehensible proofs while real-time systems require precise characterisation of execution time. A family of mutually-compatible parameterised contract models enabling such tradeoffs is needed, supporting reasoning about consistency and conformance ( ...

Enterprise Architecture deals with the structure of an enterprise, relationships and interactions of its units. It provides a holistic approach to reconcile IT and Business concerns in an enterprise. Virtual Enterprises are collaborative ad-hoc alliances of multiple enterprises for a specific business opportunity. First we discuss both paradigms and then the Enterprise Architecture viewpoint of Virtual Enterprise and provide a definition of Virtual Enterprise, Enterprise Architecture and Virtual Enterprise Architecture. This paper surveys research into formal models of Virtual Enterprise Architecture (modelling languages, reference models, architecture frameworks) and identifies current gaps in this research.