Thesis advisor: Richard McGowan / The author focuses on property formalization, microfinance and their effects on empowering the poor in Peru. For this purpose, the author will first analyze the economic and social conditions in which the microfinance initiative has taken place in Peru as well as its informal economy. Then, the author will explain the advantages and disadvantages that microfinance and property formalization have had as economic tools used to confront the problem of collateral. The author argues that both economic tools, if used together, may have a greater impact in the poor’s economic empowerment. The poor’s economic empowerment will be understood as the decrease in interest rates in the microfinance sector. Hence, Peruvian Microfinance Institutions – represented by Peru’s leading MFI “Microfinanzas Prisma – will be analyzed through regression analyses with intervention variables to simulate the correlations between collateral and interest rates in the microfinance sector. The results demonstrate that formal property, although correlated with interest rates up to a certain point, may not have a significant correlation with interest rates beyond that point. The author will finally interpret the results of the empirical analyses and will make some recommendations that could be implemented as development policies. A proposal would be based on the joint use of microfinance and formal property to further decrease interest rates and therefore empower the individuals borrowing below the point at which collateral has no significance correlation with interest rates. Concepts such as social capital and community organization will be addressed to further enhance the impact of collateral on interest rates. / Thesis (BA) — Boston College, 2011. / Submitted to: Boston College. College of Arts and Sciences. / Discipline: Economics Honors Program. / Discipline: Economics.

L'Ingénierie des Systèmes (IS) est une approche pluridisciplinaire et collaborative pour mener à bâtir et structurer la conception puis la réalisation et le développement de systèmes complexes. L’IS repose à la fois sur une approche processus et sur la mise en oeuvre de modèles de systèmes s'appuyant de fait dans un contexte basé ou dirigé par des modèles. On parle alors d’Ingénierie Système Basée sur des Modèles (ISBM ou Model based Systems Engineering MBSE). L’ISBM introduit des concepts, méthodes et techniques pour construire et gérer des modèles. Elle a pour objectif l’atteinte et l’amélioration de leur qualité afin de procurer aux parties prenantes un degré de confiance jugé suffisant pour aider la prise des décisions de conception, d'amélioration et de réalisation. Ces décisions conditionnent le fonctionnement, la sûreté, la sécurité, les coûts, et plus généralement tout un ensemble de propriétés attendues à la fois du modèle comme du système modélisé, tout au long de la phase aval de l’ingénierie et de développement, jusqu’à la réalisation et au déploiement du système. La qualité des modèles est obtenue au travers des processus de Vérification et Validation (V&V). Les objectifs sont alors d’assurer que les modèles soient cohérents, bien formés, bien construits et représentés correctement. En effet, aux yeux des parties prenantes, les modèles doivent être fiables, fidèles et pertinents au regard des besoins des concepteurs, représentant aussi précisément que possible le point de vue du système en cours de conception. Des langages de modélisation dit « métier » (Domain Specific Modelling Languages ou DSML) sont spécifiquement créés pour pouvoir fournir des représentations i.e. des modèles dans les différents points de vue sur le système. Un DSML est basé sur une syntaxe et sur une sémantique. La sémantique de ces langages est en général fournie par des approches externes (vérificateurs de modèles). Ces dernières sont, à notre sens, une limitation clé pour le déploiement des stratégies de V&V dans le contexte de l’ISBM. En réponse à cette limitation, la contribution conceptuelle de cette thèse est présentée sous la forme d’un nouveau langage de métamodélisation, nommé xviCore (noyau exécutable, vérifiable et interopérable). xviCore fournit les concepts et les principes pour définir puis vérifier et valdier la syntaxe et la sémantique en phase de construction de tels DSML en combinant trois métalangages : un métalangage orienté objet pour la conception de la partie syntaxique, un métalangage pour la conception du comportement et un métalangage pour la conception de propriétés formelles. La contribution méthodologique de ces travaux permet ensuite le déploiement d’une stratégie de V&V «directe» en lieu et place des traditionnelles approches externes. Elle est basée sur la simulation et la preuve formelle de propriétés. Le mécanisme de simulation permet d’observer le comportement des modèles de systèmes au travers de leur exécution, tandis que le mécanisme de preuve permet de spécifier et ensuite de vérifier des propriétés formelles. La contribution technique se compose d’un ensemble des plugins Eclipse qui implémentent le métalangage xviCore, le mécanisme de simulation et le mécanisme de la preuve formelle. / Systems Engineering (SE) is an interdisciplinary and collaborative approach for successful design and management of large scale complex systems. Among other principles, SE promotes and mandates a model-based (or model-driven) approach for all stages of system design processes, denoted Model-Based Systems Engineering (MBSE). This implies concepts, techniques and tools for creating and managing various systems models for the purpose of stakeholders, and for reaching and improving the quality of models helping then stakeholders during decision-making processes, to make decisions faster and efficiently with enough confidence. Indeed, these decisions impact all along the downstream phases of system engineering and development until the realization and deployment of the real system, its functioning, safety, security, induced costs and so on. In this work, a particular attention is given to model verification and validation (V&V). The goals are to assure prior to decision-making processes, first, that models are coherent, well-formed and correctly build and represented, and second, that they are trustworthy and relevant, representing as accurately as possible the viewpoints of a system under design as expected by stakeholders.Such models provide stakeholders with confidence and trust, aiding them in making, but also in arguing decisions. Models are created by using modeling languages that are specifically tailored for a given viewpoint of a system, denoted Domain Specific Modeling Languages (DSMLs).The basic principles on which a DSML is based are its syntax and its semantics, but current DSMLs have been more studied from the syntactical point than from the semantical one that is often neglected or, when needed, provided by means of translating the DSML into third party formalisms. This is the key limitation preventing the deployment of a successful V&V strategy in MBSE context. To overcome this shortcoming, this thesis proposes first a conceptual contribution consisting of a new metamodeling language, called eXecutable, Verifiable and Interoperable Core (xviCore), allowing stakeholders to build DSMLs (called xviDSMLs), that along with their syntax also integrates semantics. Our solution combines, three meta-languages, an object-oriented metamodeling language for the specification of the syntactical part with a formal behavioral modeling language and a property modeling language for the semantical part. The methodological contribution of this work allows the deployment of successful V&V strategies allowing for direct (without transformation) model verification by simulation and properties proof. We propose a mechanism to simulate the expected behavior of a SoI through model execution based on the blackboard-based communication model, and a mechanism for specification and verification of formal properties. The technical contribution consists of an Eclipse-EMF deployable plug-in that implements the metamodeling language xviCore and the mechanisms for simulation and formal property verification.

The work of Peruvian economist Hernando de Soto is both influential and controversial. His 2000 bestseller The Mystery of Capital posits that to solve poverty in the developing world, the poor need to transition from the extralegal sector to the official economy through formal property rights and incorporated businesses. In 2009, following the 2009 bloody clashes of indigenous peoples and law enforcement agents in the Peruvian Amazon, DeSoto suggested the extrapolation of The Mystery of Capital to the Amazon as a solution for their underdevelopment. He contended that the Amazon natives could only progress if granted formal title to land and allowed to create limited liability corporations. This paper argues, however, that the purported extrapolation of The Mystery of Capital’s propositions is problematic. It aims to show that economic integration of the Amazon natives may further expose their land resources to appropriation and, in actuality, trigger their cultural, social and environmental disintegration. / El trabajo del economista peruano Hernando de Soto ha sido tan influyente como controversial. Su obra maestra, El misterio del capital, propone como solución a la pobreza en los países en desarrollo transformar la informalidad a través de derechos de propiedad y empresa. En 2009, luego de los violentos enfrentamientos en Bagua, De Soto sugirió extrapolar la tesis de El misterio del capital a la Amazonía peruana como solución a los conflictos sociales. De Soto plantea que la única salida para el progreso de los pueblos amazónicos es a través del reconocimiento de derechos de propiedad y la creación de empresas de responsabilidad limitada. Este artículo sostiene, sin embargo, que la pretendida extrapolación sería inconveniente. A la luz de la experiencia de los Estados Unidos con la parcelación de tierras nativas y corporaciones nativas de Alaska, se sugerirá que la supuesta integración económica de la Amazonía podría en realidad exponer a sus habitantes a apropiación de sus recursos y favorecer su desintegración social, cultural y ambiental.