5 resultados para Formal specification
em WestminsterResearch - UK
Resumo:
Managerial discretion is the focal theme bridging the clash between two schools of thoughts; whether executives have greater influence on their firms’ outcomes or other factors restrain their actions (Hambrick & Finkelstein, 1987). It is argued that constraints come from inertial, normative and environmental forces (e.g. DiMaggio & Powell, 1983). Of these restraints is the institutional environment in which a firm is headquartered. Our paper falls within this research stream and provides an extension for Crossland and Hambrick (2007, 2011) work. We investigate the national level of discretion in new cross-cultural contexts, provide deeper understanding of its concept, and shed the light on undiscovered discretion’s antecedents and consequences. We adopt a quantitative approach in which questionnaires represent our data collection instrument. We anticipate that in high discretion countries firms tend to follow what Miles & Snow (1978) labeled ‘Prospector’ strategy as opposed to low discretion countries in which firms incline to implement a ‘Defender’ strategy.
Resumo:
Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.
Resumo:
Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.
Resumo:
Meeting European emissions targets is reliant on innovative renewable technologies, particularly ‘renewable heat’ from heat pumps. Heat pump performance is driven by Carnot efficiency and optimum performance requires the lowest possible space heating flow temperatures leading to greater sensitivity to poor design, installation and operation. Does sufficient training and installer capacity exist for this technology? This paper situates the results of heat pump field trial performance in a socio-technical context, identifying how far installer competence requirements are met within the current vocational education and training (VET) system and considers possible futures. Few UK installers have formal heat pump qualifications at National Vocational Qualification (NVQ) level 3 and heat pump VET is generally through short-course provision where the structure of training is largely unregulated with no strict adherence to a common syllabus or a detailed training centre specification. Prerequisites for short-course trainees, specifically the demand for heating system knowledge based on metric design criteria, is limited and proof of ‘experience’ is an accepted alternative to formal educational qualifications. The lack of broader educational content and deficiencies in engineering knowledge will have profound negative impacts on both the performance and market acceptance of heat pumps. Possible futures to address this problem are identified.