The Emergence of Formal Control Specificity in Information Systems Outsourcing: A Process-View

Information systems (IS) outsourcing projects often fail to achieve initial goals. To avoid project failure, managers need to design formal controls that meet the specific contextual demands of the project. However, the dynamic and uncertain nature of IS outsourcing projects makes it difficult to design such specific formal controls at the outset of a project. It is hence crucial to translate high-level project goals into specific formal controls during the course of a project. This study seeks to understand the underlying patterns of such translation processes. Based on a comparative case study of four outsourced software development projects, we inductively develop a process model that consists of three unique patterns. The process model shows that the performance implications of emergent controls with higher specificity depend on differences in the translation process. Specific formal controls have positive implications for goal achievement if only the stakeholder context is adapted, while they are negative for goal achievement if in the translation process tasks are unintendedly adapted. In the latter case projects incrementally drift away from their initial direction. Our findings help to better understand control dynamics in IS outsourcing projects. We contribute to a process theoretic understanding of IS outsourcing governance and we derive implications for control theory and the IS project escalation literature.

Examining a key aspect of agency-to-business relationships:the effects of regulatory control on the satisfaction of regulated firms

This paper studies an overlooked, but highly important relationship, the relationship that exists between regulatory agencies (e.g., the EPA, OSHA, and the FDA) and the for-profit businesses they attempt to govern. Drawing on business-to-business control and satisfaction research, a framework is developed to understand how regulatory control influences the satisfaction levels of customer firms. Regulatory control is disaggregated into four distinct facets: the controlling agency, the rules and regulations of control, the processes used by the agency to apply the regulations, and sanctions. Each facet is hypothesized to have an effect on satisfaction. A regulator's administration of state food safety regulations provides the empirical context for testing the hypotheses. Results from a survey of 173 restaurants provide empirical support for the conceptual model. Most importantly, the study finds that the informal control process increases customer satisfaction, while the formal control process decreases customer satisfaction. We discuss how these and other findings may contribute to more effective agency-to-business relationships and ongoing research.

When do firms conform? The effect of regulatory control processes on compliance and opportunism

The authors use social control theory to develop a conceptual model that addresses the effectiveness of regulatory agencies’ (e.g., Food and Drug Administration, Occupational Safety and Health Administration) field-level efforts to obtain conformance with product safety laws. Central to the model are the control processes agencies use when monitoring organizations and enforcing the safety rules. These approaches can be labeled formal control (e.g., rigid enforcement) and informal control (e.g., social instruction). The theoretical framework identifies an important antecedent of control and the relative effectiveness of control’s alternative forms in gaining compliance and reducing opportunism. Furthermore, the model predicts that the regulated firms’ level of agreement with the safety rules moderates the relationships between control and firm responses. A local health department’s administration of state food safety regulations provides the empirical context for testing the hypotheses. The results from a survey of 173 restaurants largely support the proposed model. The study findings inform a discussion of effective methods of administering product safety laws. The authors use social control theory to develop a conceptual model that addresses the effectiveness of regulatory agencies’ (e.g., Food and Drug Administration, Occupational Safety and Health Administration) field-level efforts to obtain conformance with product safety laws. Central to the model are the control processes agencies use when monitoring organizations and enforcing the safety rules. These approaches can be labeled formal control (e.g., rigid enforcement) and informal control (e.g., social instruction). The theoretical framework identifies an important antecedent of control and the relative effectiveness of control’s alternative forms in gaining compliance and reducing opportunism. Furthermore, the model predicts that the regulated firms’ level of agreement with the safety rules moderates the relationships between control and firm responses. A local health department’s administration of state food safety regulations provides the empirical context for testing the hypotheses. The results from a survey of 173 restaurants largely support the proposed model. The study findings inform a discussion of effective methods of administering product safety laws.

Cost effectiveness of production control systems

This thesis deals with the problems associated with the planning and control of production, with particular reference to a small aluminium die casting company. The main problem areas were identified as: (a) A need to be able to forecast the customers demands upon the company's facilities. (b) A need to produce a manufacturing programme in which the output of the foundry (or die casting section) was balanced with the available capacity in the machine shop. (c) The need to ensure that the resultant system enabled the company's operating budget to have a reasonable chance of being achieved. At the commencement of the research work the major customers were members of the automobile industry and had their own system of forecasting, from which they issued manufacturing schedules to their component suppliers, The errors in the forecast were analysed and the distributions noted. Using these distributions the customer's forecast was capable of being modified to enable his final demand to be met with a known degree of confidence. Before a manufacturing programme could be developed the actual manufacturing system had to be reviewed and it was found that as with many small companies there was a remarkable lack of formal control and written data. Relevant data with regards to the component and the manufacturing process had therefore to be collected and analysed. The foundry process was fixed but the secondary machining operations were analysed by a technique similar to Component Flow Analysis and as a result the machines were arranged in a series of flow lines. A system of manual production control was proposed and for comparison, a local computer bureau was approached and a system proposed incorporating the production of additional management information. These systems are compared and the relative merits discussed and a proposal made for implementation.

Strategisk utveckling och ekonomistyrning : Ett livscykelperspektiv

This dissertation synthesizes previous research and develops a model for the study of strategic development, strategic congruence and management control. The model is used to analyze a longitudinal case study of the Swedish engineering company Atlas Copco. Employing contingency theory, the study confirms that long-term survival of a company requires adaption to contingencies. Three levels of strategy are examined: corporate, business and functional. Previous research suggests that consistency between these levels (strategic congruence) is necessary for a company to be competitive. The dissertation challenges this proposition by using a life-cycle perspective and analyzes strategic congruence in the different phases of a life cycle. It also studies management control from a life-cycle perspective. In this context, two types of management control are examined: formal and informal. From a longitudinal perspective, the study further discusses how these types interact during organizational life cycles. The dissertation shows that strategic development is more complex than previous studies have indicated. It is a long, complex and non-linear process, the results of which cannot always be predicted. Previous models for strategy and management control are based on simple relationships and rarely take into account the fact that companies often go through different phases of strategic development. The case study shows that strategic incongruence may occur at times during organizational life cycles. Furthermore, the use of management control varies over time. In the maturity phase, formal control is in focus, while the use of informal control has a bigger role in both the introduction and decline phases. Research on strategy and management control has intensified in recent years. Still there is a gap regarding the coordination of complex corporate structures. The present study contributes with further knowledge on how companies manage long-term strategic development. Few studies deal with more than two levels of strategy. Moreover, the present study addresses the need to understand strategic congruence from a life-cycle perspective. This is particularly relevant in practice, when management in large companies face difficult issues for which they expect business research to assist them in the decision-making process.

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation

Modern robots are increasingly expected to function in uncertain and dynamically challenging environments, often in proximity with humans. In addition, wide scale adoption of robots requires on-the-fly adaptability of software for diverse application. These requirements strongly suggest the need to adopt formal representations of high level goals and safety specifications, especially as temporal logic formulas. This approach allows for the use of formal verification techniques for controller synthesis that can give guarantees for safety and performance. Robots operating in unstructured environments also face limited sensing capability. Correctly inferring a robot's progress toward high level goal can be challenging.

This thesis develops new algorithms for synthesizing discrete controllers in partially known environments under specifications represented as linear temporal logic (LTL) formulas. It is inspired by recent developments in finite abstraction techniques for hybrid systems and motion planning problems. The robot and its environment is assumed to have a finite abstraction as a Partially Observable Markov Decision Process (POMDP), which is a powerful model class capable of representing a wide variety of problems. However, synthesizing controllers that satisfy LTL goals over POMDPs is a challenging problem which has received only limited attention.

This thesis proposes tractable, approximate algorithms for the control synthesis problem using Finite State Controllers (FSCs). The use of FSCs to control finite POMDPs allows for the closed system to be analyzed as finite global Markov chain. The thesis explicitly shows how transient and steady state behavior of the global Markov chains can be related to two different criteria with respect to satisfaction of LTL formulas. First, the maximization of the probability of LTL satisfaction is related to an optimization problem over a parametrization of the FSC. Analytic computation of gradients are derived which allows the use of first order optimization techniques.

The second criterion encourages rapid and frequent visits to a restricted set of states over infinite executions. It is formulated as a constrained optimization problem with a discounted long term reward objective by the novel utilization of a fundamental equation for Markov chains - the Poisson equation. A new constrained policy iteration technique is proposed to solve the resulting dynamic program, which also provides a way to escape local maxima.

The algorithms proposed in the thesis are applied to the task planning and execution challenges faced during the DARPA Autonomous Robotic Manipulation - Software challenge.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

Resolución N° 06 ¿Cuál es el alcance del control de legalidad formal por parte de las cámara de comercio a las actas o documentos presentados para registro? Que vicios del documentos son considerados por la entidad para abstenerse de la función registral?

Servicios registrales

Resolución No. 132. ¿Cuál es el lineamiento que tiene la CCBen desarrollo de su función registral cuando examina un contrato de prenda? La CCB ejerce un control formal y reglado sobre los documentos, actos y contratos sujetos a registro

Servicios registrales

Resolución N° 113 ¿Cuál es el alcance del control de legalidad de las cámaras de comercio respecto de los nombramientos? ¿Qué naturaleza tiene dicho control- es formal o material? ¿Es competente la Cámara respecto del control sobre presuntas falsedades del documento presentado para registro?

Servicios registrales