mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (10 of 26) Show all publications
I Yusuf, I. & Schmidt, H. (2013). Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. In: CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering: . Paper presented at 16th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE 2013; Vancouver, BC; Canada; 17 June 2013 through 21 June 2013 (pp. 121-130).
Open this publication in new window or tab >>Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings
2013 (English)In: CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering, 2013, p. 121-130Conference paper, Published paper (Refereed)
Abstract [en]

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.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23641 (URN)10.1145/2465449.2465467 (DOI)2-s2.0-84880552561 (Scopus ID)9781450321228 (ISBN)
Conference
16th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE 2013; Vancouver, BC; Canada; 17 June 2013 through 21 June 2013
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved
Zhou, T. G., Peake, I. & Schmidt, H. (2013). Towards cost-aware service recovery. In: QoSA 2013 - Proceedings of the 9th International ACM Sigsoft Conference on the Quality of Software Architectures: . Paper presented at 9th International ACM Sigsoft Conference on the Quality of Software Architectures, QoSA 2013; Vancouver, BC; Canada; 17 June 2013 through 21 June 2013 (pp. 53-62).
Open this publication in new window or tab >>Towards cost-aware service recovery
2013 (English)In: QoSA 2013 - Proceedings of the 9th International ACM Sigsoft Conference on the Quality of Software Architectures, 2013, p. 53-62Conference paper, Published paper (Refereed)
Abstract [en]

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.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23642 (URN)10.1145/2465478.2465484 (DOI)2-s2.0-84880524151 (Scopus ID)9781450321266 (ISBN)
Conference
9th International ACM Sigsoft Conference on the Quality of Software Architectures, QoSA 2013; Vancouver, BC; Canada; 17 June 2013 through 21 June 2013
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved
Kötters, J. & Schmidt, H. (2012). A Database Browser based on Pattern Concepts. In: Formal Concept Analysis Meets Information Retrieval FCAIR 12: . Paper presented at Workshop "Formal Concept Analysis meets Information Retrieval" co-located with the 35th European Conference on Information Retrieval, March 24, 2013, Higher School of Economics, Moscow, Russia.
Open this publication in new window or tab >>A Database Browser based on Pattern Concepts
2012 (English)In: Formal Concept Analysis Meets Information Retrieval FCAIR 12, 2012Conference paper, Published paper (Refereed)
Abstract [en]

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

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23643 (URN)
Conference
Workshop "Formal Concept Analysis meets Information Retrieval" co-located with the 35th European Conference on Information Retrieval, March 24, 2013, Higher School of Economics, Moscow, Russia
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved
Wickramasinghe, L. K., Georgeff, M. P., Schmidt, H., Thomas, I. E. & Guttmann, C. (2012). Goal-Directed Approach for Process Specification and Service Selection in Customer Life Cycle Management. In: Lecture Notes in Business Information Processing, Volume 98: (pp. 151-169). Springer, 98(1)
Open this publication in new window or tab >>Goal-Directed Approach for Process Specification and Service Selection in Customer Life Cycle Management
Show others...
2012 (English)In: Lecture Notes in Business Information Processing, Volume 98, Springer, 2012, Vol. 98, no 1, p. 151-169Chapter in book (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2012
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23649 (URN)10.1007/978-3-642-28563-9_9 (DOI)9783642285622 (ISBN)
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved
Gurtler, C., Mazanek, J., Petzoldt, J., Schmidt, H. & Nowak, S. (2012). SINGLE-COMPONENT POLYURETHANE COATING SYSTEMS CONTAINING QUADRIVALENT VANADIUM. Sweden CA 2516835 A1.
Open this publication in new window or tab >>SINGLE-COMPONENT POLYURETHANE COATING SYSTEMS CONTAINING QUADRIVALENT VANADIUM
Show others...
2012 (English)Patent (Other (popular science, discussion, etc.))
Abstract [en]

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 ...

Place, publisher, year, edition, pages
Sweden: , 2012
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23644 (URN)
Patent
CA 2516835 A1
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved
Schmidt, H., Peak, I., Aysan, H., Punnekkat, S. & Dobrin, R. (2012). Towards Probabilistic Mode Automata for Adaptable Resource-Aware Component-Based Systems Design. In: Engineering for Success: The Future is Now!: Proceedings of the Improving Systems and Software Engineering Conference incorporating SEPGSMAsia-Pacific Conference 2012. Paper presented at Improving Systems and Software Engineering Conference incorporating SEPGSM Asia-Pacific Conference 2012, Melbourne, 15-16 August 2012.
Open this publication in new window or tab >>Towards Probabilistic Mode Automata for Adaptable Resource-Aware Component-Based Systems Design
Show others...
2012 (English)In: Engineering for Success: The Future is Now!: Proceedings of the Improving Systems and Software Engineering Conference incorporating SEPGSMAsia-Pacific Conference 2012, 2012Conference paper, Published paper (Refereed)
Abstract [en]

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.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-21344 (URN)978-0-9807680-5-3 (ISBN)
Conference
Improving Systems and Software Engineering Conference incorporating SEPGSM Asia-Pacific Conference 2012, Melbourne, 15-16 August 2012
Projects
PG-DEP-REMAP - Reliability Modeling and Analysis for Predictability Assurance
Available from: 2013-09-18 Created: 2013-09-11 Last updated: 2014-01-09Bibliographically approved
I Yusuf, I., Schmidt, H. & Peake, I. (2011). Architecture-based fault tolerance support for grid applications. In: CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - QoSA+ISARCS'11: . Paper presented at 7th Int. ACM SIGSOFT Conf. on the Quality of Software Archit., QoSA 2011 and the 2nd ACM SIGSOFT Int. Symp. on Archit. Critical Syst., ISARCS 2011, Part of the 2011 Federated Events on Component-Based Software Eng. and Software Archit., CompArch'11; Boulder, CO; United States; 20 June 2011 through 24 June 2011 (pp. 177-181).
Open this publication in new window or tab >>Architecture-based fault tolerance support for grid applications
2011 (English)In: CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - QoSA+ISARCS'11, 2011, p. 177-181Conference paper, Published paper (Refereed)
Abstract [en]

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 ...

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23646 (URN)10.1145/2000259.2000289 (DOI)2-s2.0-79960493236 (Scopus ID)9781450307246 (ISBN)
Conference
7th Int. ACM SIGSOFT Conf. on the Quality of Software Archit., QoSA 2011 and the 2nd ACM SIGSOFT Int. Symp. on Archit. Critical Syst., ISARCS 2011, Part of the 2011 Federated Events on Component-Based Software Eng. and Software Archit., CompArch'11; Boulder, CO; United States; 20 June 2011 through 24 June 2011
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved
Goel, A., Tiwary, A. & Schmidt, H. (2011). Strategic Approach towards Green Enterprise Architecture of Campuses and Academic Institutions. In: Proceedings of the 10th International Conference of Australasian Campuses Towards Sustainability: . Paper presented at International Conference of Australasian Campuses Towards Sustainability ACTS 10 (pp. 26-31). Sidney, Australia
Open this publication in new window or tab >>Strategic Approach towards Green Enterprise Architecture of Campuses and Academic Institutions
2011 (English)In: Proceedings of the 10th International Conference of Australasian Campuses Towards Sustainability, Sidney, Australia, 2011, p. 26-31Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Sidney, Australia: , 2011
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23647 (URN)9780646570280 (ISBN)
Conference
International Conference of Australasian Campuses Towards Sustainability ACTS 10
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved
Peake, I. & Schmidt, H. (2011). Systematic simplicity-accuracy tradeoffs in parameterised contract models. In: CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - QoSA+ISARCS'11: . Paper presented at 7th Int. ACM SIGSOFT Conf. on the Quality of Software Archit., QoSA 2011 and the 2nd ACM SIGSOFT Int. Symp. on Archit. Critical Syst., ISARCS 2011, Part of the 2011 Federated Events on Component-Based Software Eng. and Software Archit., CompArch'11; Boulder, CO; United States; 20 June 2011 through 24 June 2011 (pp. 95-104).
Open this publication in new window or tab >>Systematic simplicity-accuracy tradeoffs in parameterised contract models
2011 (English)In: CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - QoSA+ISARCS'11, 2011, p. 95-104Conference paper, Published paper (Refereed)
Abstract [en]

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 ( ...

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23645 (URN)10.1145/2000259.2000276 (DOI)2-s2.0-79960551839 (Scopus ID)781450307246 (ISBN)
Conference
7th Int. ACM SIGSOFT Conf. on the Quality of Software Archit., QoSA 2011 and the 2nd ACM SIGSOFT Int. Symp. on Archit. Critical Syst., ISARCS 2011, Part of the 2011 Federated Events on Component-Based Software Eng. and Software Archit., CompArch'11; Boulder, CO; United States; 20 June 2011 through 24 June 2011
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved
Goel, A., Schmidt, H. & Gilbert, D. (2010). Formal Models of Virtual Enterprise Architecture: Motivations and Approaches. In: Pacific Asia Conference on Information Systems PACIS 10: . Paper presented at 14th Pacific Asia Conference on Information Systems, PACIS 2010; Taipei; Taiwan; 9 July 2010 through 12 July 2010 (pp. 1207-1217).
Open this publication in new window or tab >>Formal Models of Virtual Enterprise Architecture: Motivations and Approaches
2010 (English)In: Pacific Asia Conference on Information Systems PACIS 10, 2010, p. 1207-1217Conference paper, Published paper (Refereed)
Abstract [en]

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.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23651 (URN)2-s2.0-84856024091 (Scopus ID)
Conference
14th Pacific Asia Conference on Information Systems, PACIS 2010; Taipei; Taiwan; 9 July 2010 through 12 July 2010
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0001-6278-4793

Search in DiVA

Show all publications