Log in
This case is based on economic impact. It shows how research by Professor Michael Wooldridge at the University of Liverpool on the Gaia Methodology for agent-oriented software engineering improved the performance of the Swiss company Whitestein Technologies AG and of international users of its key product. Specifically, the research enabled Whitestein to develop its business process management system (BPM) Living Systems Process Suite which delivers several million pounds per year of revenues, corresponding to 50% of their total business revenues. Users of Whitestein's Living Systems Process Suite since 2008 include Daimler AG, Transcor Astra Group, Vienna Insurance Group, and the US Department of Veterans Affairs. In 2010 Gartner, the world's leading IT advisory company, recognized the impact and innovation of the Living Systems Process Suite by naming Whitestein a Cool Vendor in BPM.
Bath research on the design of multi-agent software systems governed by norms and institutions has directly influenced the development of the essential business systems of an internet-based trading company, and been instrumental in their success.
The Book Depository (BD) was founded in 2004. In 2005, their Chief Technical Officer, Emad Eldeen Elakehal, sought the expertise of Julian Padget in the Department of Computer Science at Bath, and began a part-time PhD, working on the application of normative frameworks to the design and implementation of business systems. Elakehal has applied these principles in the design and construction of two key subsystems of BD's software infrastructure: the catalogue maintenance system (live since 2006) and the price checker and setter system (since 2008). Their effectiveness has underpinned the growth and success of the company by providing robust software implementation of business processes that adapt to changing market conditions. The company's turnover grew from £24M to £120M from 2008 - 2011, and continues to grow. The software systems enabled this growth to take place with no increase in the operations team's manpower, and now handle a catalogue of over 8 million titles, from 120 suppliers, all available within 48 hours to customers on the Book Depository's own web site or via Amazon's marketplace: all Amazon book customers have seen offers of books generated by this software. The software underpins BD's award-winning business, a unique offering in the book retail sector which attracted takeover by Amazon in 2011. BD's Managing Director states that "without the agent/norm based technical systems not one of the business' USPs could have been effectively realised."
Graph-theoretic and mathematically rigorous algorithmic methods developed at the University of Hertfordshire have improved the applicability of compiler technology and parallel processing. A compiler developed in the course of a ten-year research programme at the university has been successfully applied to a number of commercial problems by re-purposing the research tool. NAG Ltd has adapted the tool into a commercial product [text removed for publication]. Numerous applications of the mathematical methods (such as type-flow graphs used conjointly for correctness and optimisation) have been deployed by industry (including SAP, SCCH, German Waterways Board) working closely with the university.
Newcastle University's fundamental research into the theory of concurrency and the automated construction and analysis of asynchronous systems has resulted in novel technologies that have been adopted and applied worldwide by industry. This case study describes impact over the last five years on the industrial development of asynchronous microprocessor chips, in particular, deployed by Intel for handling financial transactions on NYSE and NASDAQ (with combined daily volume of trade exceeding £80 billion), and the improvements in business process analysis through the world-leading open-source ProM tools (downloaded over 65,000 times since 2008, and used by a number of major organisations, e.g. ING Bank and Deloitte).
The volume and diversity of data that companies need to handle are increasing exponentially. In order to compete effectively and ensure companies' commercial sustainability, it is becoming crucial to achieve robust traceability in both their data and the evolving designs of their systems. The CRISTAL software addresses this. It was originally developed at CERN, with substantial contributions from UWE Bristol, for one of the Large Hadron Collider (LHC) experiments, and has been transferred into the commercial world. Companies have been able to demonstrate increased agility, generate additional revenue, and improve the efficiency and cost-effectiveness with which they develop and implement systems in various areas, including business process management (BPM), healthcare and accounting applications. CRISTAL's ability to manage data and their provenance at the terabyte scale, with full traceability over extended timescales, based on its description-driven approach, has provided the adaptability required to future proof dynamically evolving software for these businesses.
This case study embodies a non-linear relationship between underpinning research, software development and deployment. It involves computer science research at UWE in conjunction with its applied development for the world's largest particle physics laboratory and onward deployment commercially into private sector industry.
From 2005, a body of research undertaken at the University of Essex has developed a novel debug support architecture for systems on a chip (SoC). This platform successfully addresses the challenge of debugging applications executing on SoCs with multiple processor cores. A system-centric architecture is used, which achieves substantial improvement in compression and requires dramatically less silicon real estate than existing state of the art applications. The research underpins `UltraDebug', which is commercialised via the spin-out `UltraSoC'. UltraSoC has attracted investment worth £5million (the majority coming from venture capital sources) and is currently working with PMC-Sierra to incorporate its innovative technology into PMC's next generation of storage controllers.
Research at Newcastle University on formal methods for the design of computing systems has had a major impact on the delivery of new high-dependability products by industry. The methods (VDM and Event-B), to which we have made significant contributions, have been embodied in tools (VDMTools, Overture, Rodin) and applied in industry. The reach of the work extends to industries in Europe (e.g. in the rail sector by Siemens, 2011) and Japan (e.g. in firmware design by Sony, 2008). Significance is seen in reported improvements in defect detection rates of up to a factor of 5 over previous processes and the cost-effectiveness of design processes. The "Mobile FeliCa" chip developed using VDMTools is now incorporated into over 200 million mobile phones worldwide. Our approach to disseminating research has engendered lively international and online end-user communities further developing and using the tools today.
The spin-out company CSM Ltd. was set up in 1991 to commercially develop Durham research on program transformation. Up until 1999, this company (which in the mid-90's became Durham Software Engineering Ltd. and subsequently Software Migrations Ltd.) and researchers at Durham University developed the FermaT Workbench: an industrial-strength assembler re-engineering workbench for program comprehension, migration and re-engineering. In 1999, Software Migrations Ltd. relocated to St. Albans and now has an extensive list of national and international clients. All its products (software and services) are built on the FermaT Workbench and has generated considerable revenue with this revenue strongly expected to rise steeply in the near future.
The invention of a novel component-based model and approach for rapid distributed software development are the core research results for this case study. Using our methodology we have built a fully functional platform — the Grid Integrated Development Environment (GIDE) — which has been used for the development of user applications by several industrial partners. The main economic impact of our work is the new component-based development process resulting in much higher productivity and shorter development cycle. In addition, the four new international standards approved by ETSI provide impact on the wider professional community in the areas of grid and cloud computing.
BU's software engineering research has focused on the improvement of software development methods with a particular emphasis on the `upstream' or requirements phases. The benefits include improved development processes as well as considerable financial savings, as evidenced in this case study. The research has been used locally in projects with medium sized enterprises (SME's) and in collaboration with international partners including National ICT Australia (NICTA) to enhance business and IT alignment (Australia and Japan); the European Commission funded VIsualise all moDel drivEn programming (VIDE) project to impact commercial tools (France and Germany); and with Bosch Automotive (Germany) to enhance model driven development.