The complexity of the strategic decision making environments, in which busi- nesses and governments live in, makes such decisions more and more difficult to make. People and organizations with access to the best known decision support modelling and analysis tools and methods cannot seem to benefit from such re- sources. We argue that the reason behind the failure of most current decision and game theoretic methods is that these methods are made to deal with operational and tactical decisions, not strategic decisions. While operational and tactical decisions are clear and concise with limited scope and short-term implications, allowing them to be easily formalized and reasoned about, strategic decisions tend to be more gen- eral, ill-structured, complex, with broader scope and long-term implications. This research work starts with a review of the current dominant modelling and analysis approaches, their strengths and shortcomings, and a look at how pioneers in the field criticize these approaches as restrictive and unpractical. Then, the work goes on to propose a new paradigm shift in how strategic decisions and conflicts should be modelled and analyzed. Constrained Rationality is a formal qualitative framework, with a robust method- ological approach, to model and analyze ill-structured strategic single and multi- agent decision making situations and conflicts. The framework brings back the strategic decision making problem to its roots, from being an optimization/efficiency problem about evaluating predetermined alternatives to satisfy predetermined pref- erences or utility functions, as most current decision and game theoretic approaches treats it, to being an effectiveness problem of: 1) identifying and modelling explic- itly the strategic and conflicting goals of the involved agents (also called players and decision makers in our work), and the decision making context (the external and internal constraints including the agents priorities, emotions and attitudes); 2) finding, uncovering and/or creating the right set of alternatives to consider; and then 3) reasoning about the ability of each of these alternatives to satisfy the stated strategic goals the agents have, given their constraints. Instead of assuming that the agents’ alternatives and preferences are well-known, as most current decision and game theoretic approaches do, the Constrained Rationality framework start by capturing and modelling clearly the context of the strategic decision making situation, and then use this contextual knowledge to guide the process of finding the agents’ alternatives, analyzing them, and choosing the most effective one. The Constrained Rationality framework, at its heart, provides a novel set of modelling facilities to capture the contextual knowledge of the decision making sit- uations. These modelling facilities are based on the Viewpoint-based Value-Driven - Enterprise Knowledge Management (ViVD-EKM) conceptual modelling frame- work proposed by Al-Shawa (2006b), and include facilities: to capture and model the goals and constraints of the different involved agents, in the decision making situation, in complex graphs within viewpoint models; and to model the complex cause-effect interrelationships among theses goals and constraints. The framework provides a set of robust, extensible and formal Goal-to-Goal and Constraint-to Goal relationships, through which qualitative linguistic value labels about the goals’ op- erationalization, achievement and prevention propagate these relationships until they are finalized to reflect the state of the goals’ achievement at any single point of time during the situation. The framework provides also sufficient, but extensible, representation facilities to model the agents’ priorities, emotional valences and attitudes as value properties with qualitative linguistic value labels. All of these goals and constraints, and the value labels of their respective value properties (operationalization, achievement, prevention, importance, emotional valence, etc.) are used to evaluate the different alternatives (options, plans, products, product/design features, etc.) agents have, and generate cardinal and ordinal preferences for the agents over their respective alternatives. For analysts, and decision makers alike, these preferences can easily be verified, validates and traced back to how much each of these alternatives con- tribute to each agent’s strategic goals, given his constraints, priorities, emotions and attitudes. The Constrained Rationality framework offers a detailed process to model and analyze decision making situations, with special paths and steps to satisfy the spe- cific needs of: 1) single-agent decision making situations, or multi-agent situations in which agents act in an individualistic manner with no regard to others’ current or future options and decisions; 2) collaborative multi-agent decision making situ- ations, where agents disclose their goals and constraints, and choose from a set of shared alternatives one that best satisfy the collective goals of the group; and 3) adversarial competitive multi-agent decision making situations (called Games, in gamete theory literature, or Conflicts, in the broader management science litera- ture). The framework’s modelling and analysis process covers also three types of con- flicts/games: a) non-cooperative games, where agents can take unilateral moves among the game’s states; b) cooperative games, with no coalitions allowed, where agents still act individually (not as groups/coalitions) taking both unilateral moves and cooperative single-step moves when it benefit them; and c) cooperative games, with coalitions allowed, where the games include, in addition to individual agents, agents who are grouped in formal alliances/coalitions, giving themselves the ability to take multi-step group moves to advance their collective position in the game. ....

The complexity of the strategic decision making environments, in which busi- nesses and governments live in, makes such decisions more and more difficult to make. People and organizations with access to the best known decision support modelling and analysis tools and methods cannot seem to benefit from such re- sources. We argue that the reason behind the failure of most current decision and game theoretic methods is that these methods are made to deal with operational and tactical decisions, not strategic decisions. While operational and tactical decisions are clear and concise with limited scope and short-term implications, allowing them to be easily formalized and reasoned about, strategic decisions tend to be more gen- eral, ill-structured, complex, with broader scope and long-term implications. This research work starts with a review of the current dominant modelling and analysis approaches, their strengths and shortcomings, and a look at how pioneers in the field criticize these approaches as restrictive and unpractical. Then, the work goes on to propose a new paradigm shift in how strategic decisions and conflicts should be modelled and analyzed. Constrained Rationality is a formal qualitative framework, with a robust method- ological approach, to model and analyze ill-structured strategic single and multi- agent decision making situations and conflicts. The framework brings back the strategic decision making problem to its roots, from being an optimization/efficiency problem about evaluating predetermined alternatives to satisfy predetermined pref- erences or utility functions, as most current decision and game theoretic approaches treats it, to being an effectiveness problem of: 1) identifying and modelling explic- itly the strategic and conflicting goals of the involved agents (also called players and decision makers in our work), and the decision making context (the external and internal constraints including the agents priorities, emotions and attitudes); 2) finding, uncovering and/or creating the right set of alternatives to consider; and then 3) reasoning about the ability of each of these alternatives to satisfy the stated strategic goals the agents have, given their constraints. Instead of assuming that the agents’ alternatives and preferences are well-known, as most current decision and game theoretic approaches do, the Constrained Rationality framework start by capturing and modelling clearly the context of the strategic decision making situation, and then use this contextual knowledge to guide the process of finding the agents’ alternatives, analyzing them, and choosing the most effective one. The Constrained Rationality framework, at its heart, provides a novel set of modelling facilities to capture the contextual knowledge of the decision making sit- uations. These modelling facilities are based on the Viewpoint-based Value-Driven - Enterprise Knowledge Management (ViVD-EKM) conceptual modelling frame- work proposed by Al-Shawa (2006b), and include facilities: to capture and model the goals and constraints of the different involved agents, in the decision making situation, in complex graphs within viewpoint models; and to model the complex cause-effect interrelationships among theses goals and constraints. The framework provides a set of robust, extensible and formal Goal-to-Goal and Constraint-to Goal relationships, through which qualitative linguistic value labels about the goals’ op- erationalization, achievement and prevention propagate these relationships until they are finalized to reflect the state of the goals’ achievement at any single point of time during the situation. The framework provides also sufficient, but extensible, representation facilities to model the agents’ priorities, emotional valences and attitudes as value properties with qualitative linguistic value labels. All of these goals and constraints, and the value labels of their respective value properties (operationalization, achievement, prevention, importance, emotional valence, etc.) are used to evaluate the different alternatives (options, plans, products, product/design features, etc.) agents have, and generate cardinal and ordinal preferences for the agents over their respective alternatives. For analysts, and decision makers alike, these preferences can easily be verified, validates and traced back to how much each of these alternatives con- tribute to each agent’s strategic goals, given his constraints, priorities, emotions and attitudes. The Constrained Rationality framework offers a detailed process to model and analyze decision making situations, with special paths and steps to satisfy the spe- cific needs of: 1) single-agent decision making situations, or multi-agent situations in which agents act in an individualistic manner with no regard to others’ current or future options and decisions; 2) collaborative multi-agent decision making situ- ations, where agents disclose their goals and constraints, and choose from a set of shared alternatives one that best satisfy the collective goals of the group; and 3) adversarial competitive multi-agent decision making situations (called Games, in gamete theory literature, or Conflicts, in the broader management science litera- ture). The framework’s modelling and analysis process covers also three types of con- flicts/games: a) non-cooperative games, where agents can take unilateral moves among the game’s states; b) cooperative games, with no coalitions allowed, where agents still act individually (not as groups/coalitions) taking both unilateral moves and cooperative single-step moves when it benefit them; and c) cooperative games, with coalitions allowed, where the games include, in addition to individual agents, agents who are grouped in formal alliances/coalitions, giving themselves the ability to take multi-step group moves to advance their collective position in the game. ....

Um dos grandes problemas relacionados a modelagem de workflow consiste na utilização de técnicas de modelagem conceitual especificas a cada sistema de workflow, não havendo, dessa forma, urn modelo aceito consensualmente. Esta situação, decorrência do ambiente competitivo neste mercado, leva a não inclusão de muitas características conceitualmente importantes relacionadas a modelagem nos técnicas geralmente utilizadas. Um importante aspecto a ser tratado nos modelos conceituais e a questão da modelagem formal do workflow e que constitui o terra central deste trabalho. Esta dissertação apresenta uma técnica de modelagem de workflow utilizando como modelo de dados referencial o TF-ORM (Temporal Functionality in Objects with Roles Model). Esta técnica desenvolve uma especificação rigorosa de workflow em um nível conceitual, formalizando com a utilização de um modelo técnico seu comportamento interno (cooperação e interação entre tarefas) e seu relacionamento para o ambiente (designação de tarefas de trabalho para executores). Neste modelo, construções são apresentadas para representar, de forma eficiente, a modularização e o paralelismo. Uma linguagem textual de definição de workflow e apresentada. Adicionalmente é apresentada a utilização de descrições formais do workflow para gerar o esquema de dados do workflow e o conjunto de regras para seu gerenciamento. Em adição, o paradigma de regras oferece um formalismo conveniente para expressar computações reativas influenciadas por eventos externos, gerados fora do WFMS (Workflow Manager System). Finalmente é realizada uma analise sobre algumas ferramentas comerciais, procurando validar a praticidade dos modelos conceituais desenvolvidos. Os principais conceitos envolvidos em workflow são descritos e classificados de forma a possibilitar, a validação tanto dos conceitos quanto da modelagem através de um estudo de caso e a utilização de um sistema comercial. / One of the greatest problems in workflow modelling is the use of specific conceptual modelling techniques associated to each workflow system; there is not a consensual accepted model. This situation, a consequence of the strong competitive environment in this market, leads to the non-inclusion of many important conceptual characteristics. This restriction is a consequence of the restricted modelling techniques closely related with implementation models. An important aspect to be considered, and the central subject of this work, is the formal workflow modelling. A modelling technique using the TF-ORM (Temporary Functionality in Objects with Rolls Model) data model is here presented. The modelling technique develops a rigorous specification of workflow at the conceptual level, formalising in one model its internal behaviour (the co-operation and interaction among tasks) and its relationship with the environment (the designation of tasks). In this model, constructions where developed to represent, in an efficient form, the modularity and the parallelism of the activities. A formal language for the workflow definition is presented. Additionally, the use of formal workflow description is used to generate the data flow and rules set for its management. In addition, the rules paradigm offers a convenient formalism to express reactive computations influenced by external events generated outside the Workflow Manager System. Finally a case study is accomplished using some commercial modelling tools, to validate the developed conceptual models practicality.

Um dos grandes problemas relacionados a modelagem de workflow consiste na utilização de técnicas de modelagem conceitual especificas a cada sistema de workflow, não havendo, dessa forma, urn modelo aceito consensualmente. Esta situação, decorrência do ambiente competitivo neste mercado, leva a não inclusão de muitas características conceitualmente importantes relacionadas a modelagem nos técnicas geralmente utilizadas. Um importante aspecto a ser tratado nos modelos conceituais e a questão da modelagem formal do workflow e que constitui o terra central deste trabalho. Esta dissertação apresenta uma técnica de modelagem de workflow utilizando como modelo de dados referencial o TF-ORM (Temporal Functionality in Objects with Roles Model). Esta técnica desenvolve uma especificação rigorosa de workflow em um nível conceitual, formalizando com a utilização de um modelo técnico seu comportamento interno (cooperação e interação entre tarefas) e seu relacionamento para o ambiente (designação de tarefas de trabalho para executores). Neste modelo, construções são apresentadas para representar, de forma eficiente, a modularização e o paralelismo. Uma linguagem textual de definição de workflow e apresentada. Adicionalmente é apresentada a utilização de descrições formais do workflow para gerar o esquema de dados do workflow e o conjunto de regras para seu gerenciamento. Em adição, o paradigma de regras oferece um formalismo conveniente para expressar computações reativas influenciadas por eventos externos, gerados fora do WFMS (Workflow Manager System). Finalmente é realizada uma analise sobre algumas ferramentas comerciais, procurando validar a praticidade dos modelos conceituais desenvolvidos. Os principais conceitos envolvidos em workflow são descritos e classificados de forma a possibilitar, a validação tanto dos conceitos quanto da modelagem através de um estudo de caso e a utilização de um sistema comercial. / One of the greatest problems in workflow modelling is the use of specific conceptual modelling techniques associated to each workflow system; there is not a consensual accepted model. This situation, a consequence of the strong competitive environment in this market, leads to the non-inclusion of many important conceptual characteristics. This restriction is a consequence of the restricted modelling techniques closely related with implementation models. An important aspect to be considered, and the central subject of this work, is the formal workflow modelling. A modelling technique using the TF-ORM (Temporary Functionality in Objects with Rolls Model) data model is here presented. The modelling technique develops a rigorous specification of workflow at the conceptual level, formalising in one model its internal behaviour (the co-operation and interaction among tasks) and its relationship with the environment (the designation of tasks). In this model, constructions where developed to represent, in an efficient form, the modularity and the parallelism of the activities. A formal language for the workflow definition is presented. Additionally, the use of formal workflow description is used to generate the data flow and rules set for its management. In addition, the rules paradigm offers a convenient formalism to express reactive computations influenced by external events generated outside the Workflow Manager System. Finally a case study is accomplished using some commercial modelling tools, to validate the developed conceptual models practicality.

Two of the main needs when developing an information system for an organization are that system analysts know and understand the application domain and that the system properly supports the business processes of the organization. Consequently, elicitation of system requirements from business process models has been acknowledged as a suitable activity to deal with that needs. In addition, system requirements must be linked to subsequent development stages. However, system analysts can face many challenges when performing these activities. They may have problems communicating with customer stakeholders and may need to analyse and operationalize the purpose of the information system. Furthermore, system analysts must bridge the gap between business and system domains for specification of system requirements, specify different types of system requirements and guarantee that their specification is precise, consistent and homogeneous. In relation to object-oriented conceptual modelling-based information system development, system analysts must also avoid potential problems that may arise when a conceptual schema is created from system requirements as part of their link with subsequent development stages. For example, a conceptual schema can be incomplete and/or inconsistent if it is not properly managed. As a solution, this thesis presents a methodological approach for business process-based requirements specification and object-oriented conceptual modelling of information systems. The approach consists of four stages: organizational modelling, purpose analysis, specification of system requirements and derivation of object-oriented diagrams. By following the design research methodology for performing research in information systems, the methodological approach has been designed on the basis of many existing ideas and principles in academia and industry and provides new principles, mechanisms and guidance to address the challenges presented above. / De La Vara González, JL. (2011). Business process-based requirements specification and object-oriented conceptual modelling of information systems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11445 / Palancia

Many different kinds of process are used to develop software intensive products, but there is little agreement as to which processes give the best results under which circumstances. Practitioners and researchers believe that project outcomes would be improved if the development process was constructed according to project-specific factors. In order to achieve this goal, greater understanding of the factors that most affect outcomes is needed. To improve understanding, researchers build models of the process and carry out studies based on these models. However, current models contain many ambiguities and assumptions, and so it is not clear what the results of the studies mean. The statement of this thesis is that it is possible to create an abstraction of the software development process that will provide a mechanism for comparing software processes and software process models. The long term goal of the research is to provide planners with a means of tailoring the development process on a project by project basis, with the aim of reducing risk and improving outcomes.

Many different kinds of process are used to develop software intensive products, but there is little agreement as to which processes give the best results under which circumstances. Practitioners and researchers believe that project outcomes would be improved if the development process was constructed according to project-specific factors. In order to achieve this goal, greater understanding of the factors that most affect outcomes is needed. To improve understanding, researchers build models of the process and carry out studies based on these models. However, current models contain many ambiguities and assumptions, and so it is not clear what the results of the studies mean. The statement of this thesis is that it is possible to create an abstraction of the software development process that will provide a mechanism for comparing software processes and software process models. The long term goal of the research is to provide planners with a means of tailoring the development process on a project by project basis, with the aim of reducing risk and improving outcomes.

Many different kinds of process are used to develop software intensive products, but there is little agreement as to which processes give the best results under which circumstances. Practitioners and researchers believe that project outcomes would be improved if the development process was constructed according to project-specific factors. In order to achieve this goal, greater understanding of the factors that most affect outcomes is needed. To improve understanding, researchers build models of the process and carry out studies based on these models. However, current models contain many ambiguities and assumptions, and so it is not clear what the results of the studies mean. The statement of this thesis is that it is possible to create an abstraction of the software development process that will provide a mechanism for comparing software processes and software process models. The long term goal of the research is to provide planners with a means of tailoring the development process on a project by project basis, with the aim of reducing risk and improving outcomes.

Many different kinds of process are used to develop software intensive products, but there is little agreement as to which processes give the best results under which circumstances. Practitioners and researchers believe that project outcomes would be improved if the development process was constructed according to project-specific factors. In order to achieve this goal, greater understanding of the factors that most affect outcomes is needed. To improve understanding, researchers build models of the process and carry out studies based on these models. However, current models contain many ambiguities and assumptions, and so it is not clear what the results of the studies mean. The statement of this thesis is that it is possible to create an abstraction of the software development process that will provide a mechanism for comparing software processes and software process models. The long term goal of the research is to provide planners with a means of tailoring the development process on a project by project basis, with the aim of reducing risk and improving outcomes.

Currently, the bulk of applications of Formal Concept Analysis (FCA) in software engineering have focussed on software maintenance and re-engineering. In this thesis we broaden the approach by applying FCA to a number of early-phase activities within the software engineering life-cycle. With respect to the requirements engineering phase, a case study is presented comparing two class hierarchies that model aspects of a mass-transit railway ticketing system. The first hierarchy was produced for an existing Object-Z specification of the system while the second was derived using FCA. Contrasting the two hierarchies revealed that they were essentially the same, however, the differences highlighted specification artefacts in the existing hierarchy. With respect to the design phase, the thesis discusses the use of FCA for the navigation and visualisation of Formal Specifications written in Z. In response to the continued call for formal methods tool support, we implement and explore a prototype specification browser that exploits the abstractions afforded by FCA. The research hypothesis is an integrated architecture for navigating formal specifications using FCA. This architecture is realised using ZML and ToscanaJ to produce a practical research tool. The thesis also includes the first broad survey of FCA in the domain of software engineering and an FCA-based methodology for surveying academic literature in general.