96 research outputs found
Requirements modelling and formal analysis using graph operations
The increasing complexity of enterprise systems requires a more advanced
analysis of the representation of services expected than is currently possible.
Consequently, the specification stage, which could be facilitated by formal
verification, becomes very important to the system life-cycle. This paper presents
a formal modelling approach, which may be used in order to better represent
the reality of the system and to verify the awaited or existing system’s properties,
taking into account the environmental characteristics. For that, we firstly propose
a formalization process based upon properties specification, and secondly we
use Conceptual Graphs operations to develop reasoning mechanisms of verifying
requirements statements. The graphic visualization of these reasoning enables us
to correctly capture the system specifications by making it easier to determine if
desired properties hold. It is applied to the field of Enterprise modelling
Assessment of common red blood cell pretreatments to yield an accurate serologic antigen phenotype compared with genotype-predicted phenotype
Towards interoperability through inter-enterprise collaboration architectures
Most enterprise architectures published so far are capable of
generating reasonably good descriptive models for individual enterprises to
enable integration, organization and synchronization of enterprise elements:
organizational structure, business processes, information systems and
technology infrastructure, among others. However, research in this field applied
to the extended enterprise or inter-enterprise architectures that takes into
account the growing trend towards complex collaborative environments is very
scarce. In this sense, this article seeks to analyze, link and synthesize the
researches that has addressed the disciplines of enterprise architecture and
business collaboration, in order to identify possible future research needs from
the conceptualization made.Vargas, A.; Boza Garcia, A.; Cuenca, L. (2011). Towards interoperability through inter-enterprise collaboration architectures. En On the Move to Meaningful Internet Systems: OTM 2011 Workshops. Springer Verlag (Germany). 7046:102-111. doi:10.1007/978-3-642-25126-9_18S1021117046Adam, O., Hofer, A., Zang, S., Hammer, C., Jerrentrup, M., Leinenbach, S.: A Collaboration Framework for Cross-enterprise Business Process Management. In: First International Conference on Interoperability of Enterprise Software and Application, Geneva (2005)Chalmeta, R., Grangel, R.: ARDIN extension for virtual enterprise integration. The Journal of Systems and Software 67, 141–152 (2003)Choi, Y., Kang, D., Chae, H., Kim, K.: An enterprise architecture framework for collaboration of virtual enterprise chains. The International Journal of Advanced Manufacturing Technology 35, 1065–1078 (2008)Schekkerman, J.: Extended Enterprise Architecture Framework Essentials Guide. Institute For Enterprise Architecture Developments, IFEAD (2006), http://www.enterprise-architecture.info/index.htmISO 15704. Industrial automation systems - Requirements for enterprise-reference architectures and methodologies.: International Organization for Standardization (2000)Kosanke, K., Vernadat, F., Zelm, M.: CIMOSA: Enterprise engineering and integration. Computers in Industry 40, 83–97 (1999)Cuenca, L.: Marco arquitectónico para la propuesta IE-GIP. Extensión de la arquitectura CIMOSA. Aplicación a una empresa del sector cerámico. PhD thesis. Universidad Politécnica de ValenciaMolina, A., Panetto, H., Chen, D., Whitman, L.: Enterprise Integration and Networking: challenges and trends. Studies in Informatics and Control 16(4), 353–368 (2007)Ortiz, A., Lario, F., Ros, L.: Enterprise Integration—Business Processes Integrated Management: a proposal for a methodology to develop Enterprise Integration Programs. Computers in Industry 40, 155–171 (1999)Chalmeta, R., Campos, C., Grangel, R.: References architectures for enterprise integration. The Journal of Systems and Software 57, 175–191 (2001)Vernadat, F.: Enterprise modeling and integration (EMI): Current status and research perspectives. Annual Reviews in Control 26, 15–25 (2002)Williams, T., Li, H.: PERA and GERAM enterprise reference architectures in enterprise integration. Information Infrastructure Systems for Manufacturing, 1–27 (1998)Lankhorst, M.: Enterprise Architecture at Work: Modelling, Communication and Analysis. Springer, Heidelberg (2009)Arango, M., Londoño, J., Zapata, J.: Arquitectura empresarial- Una visión general. Revista Ingenierías Universidad de Medellín 9(16), 101–111 (2010)Bernard, S.: An introduction to enterprise architecture. AuthorHouse, Bloomington (2005)Cuenca, L., Ortiz, A., Boza, A.: Arquitectura de Empresa. Visión General. In: IX Congreso de Ingeniería de Organización, Gijón (2005)Maya, E.: Arquitectura empresarial: un nuevo reto para las empresas de hoy. Centro de Investigación de las Telecomunicaciones. INTERACTIC: Interacción con la información (2010), http://www.interactic.org.co/THE OPEN GROUP.: ARCHIMATE, The Power of Enterprise Architecture (2009), http://www.archimate.org/en/home/Stelzer, D.: Enterprise Architecture Principles: Literature Review and Research Directions. In: Dan, A., Gittler, F., Toumani, F. (eds.) ICSOC/ServiceWave 2009. LNCS, vol. 6275, pp. 12–21. Springer, Heidelberg (2010)Schekkerman, J.: Enterprise architecture validation. Achieving business-aligned and validated enterprise architectures. Institute For Enterprise Architecture Developments, IFEAD (2004), http://www.enterprise-architecture.info/index.htmKosanke, K.: CIMOSA Primer on key concepts, purpose and business value (1996), http://cimosa.cnt.pl/Chen, D., Vallespir, B., Doumeingts, G.: GRAI integrated methodology and its mapping onto generic enterprise reference architecture and methodology. Computers in Industry 33, 387–394 (1997)Rathwell, G.: PERA Enterprise Integration Web Site (2005), http://www.pera.net/Williams, T., Rathwell, G., Li, H.: A handbook on master planning and implementation for enterprise integration programs. PERA Enterprise Integration Web Site (2001), http://www.pera.net/IFIP.: GERAM: Generalised Enterprise Reference Architecture and Methodology. International Federation for Information Processing (1999), http://dl.ifip.org/index.php/index/indexOrtiz, A.: Propuesta para el Desarrollo de Programas de Integración Empresarial en Empresas Industriales. Aplicación a una Empresa del Sector Cerámico. Universidad Politécnica de Valencia (1998)Cuenca, L., Boza, A., Ortiz, A.: Architecting business and IS/IT strategic alignment for extend enterprises. Studies in Informatics and Control 20(1), 7–18 (2011)The Open Group (2011), https://www.opengroup.org/index.htmGrangel, R.: Propuesta para el Modelado del Conocimiento Empresarial. PhD thesis Universidad Jaume I de Castello (2007)Scheer, A., Schneider, K.: ARIS – Architecture of Integrated Information. Handbook on Architectures of Information Systems. International Handbooks on Information Systems 3, 605–623 (2006)ISO/CEN 19439. Enterprise integration - Framework for enterprise modelling.: International Organization for Standardization (2006)Stadtler, H., Kilger, C.: Supply Chain Management and advance planning. Concepts, Models, Sofware and Cases Studies. Springer, Heidelberg (2002)Alarcón, F., Ortiz, A., Alemany, M., Lario, F.: Planificación Colaborativa en un contexto de varias Cadenas de Suministro: ventajas y desventajas. In: VIII Congreso de Ingeniería de Organización, Leganés, pp. 857–866 (2004)Alarcón, F.: Desarrollo de una Arquitectura para la definición del proceso de Comprometer Pedidos en contextos de Redes de Suministro Colaborativas. Aplicación a una Red compuesta por Cadenas de Suministro en los Sectores Cerámico y del Mueble. PhD thesis Universidad Politécnica de Valencia (2005)Petersen, K., Ragatz, G., Monczka, R.: An Examination of Collaborative Planning Effectiveness and Supply Chain Performance. The Journal of Supply Chain Management 41(2), 14–25 (2005)Ribas, I., Companys, R.: Estado del arte de la planificación colaborativa en la cadena de suministro: Contexto determinista e incierto. Intangible Capital, 91–121 (2007)Ribas, I., Lario, F., Companys, R.: Modelos para la planificación colaborativa en la cadena de suministro: contexto determinista e incierto. In: Congreso de ingeniería de organización, Valencia, pp. 1–10 (2006)Dudek, G.: Collaborative Planning in Supply Chains. Supply Chain Management and Collaborative Planning. Springer, Heidelberg (2009)Stadtler, H.: A framework for collaborative planning and state-of-the-art. OR Spectrum 31, 5–30 (2009)Kilger, C., Reuter, B., Stadtler, H.: Collaborative Planning. In: Stadtler, H., Kilger, C. (eds.) Supply Chain Management and Advanced Planning-—Concepts, Models Software and Case Studies, pp. 263–284. Springer, Heidelberg (2008)Audy, J., Lehoux, N., D’Amours, S.: A framework for an efficient implementation of logistics collaborations. International Transactions in Operational Research, 1–25 (2010)Zachman, J.: A Framework for Information Systems Architecture. IBM Systems Journal 26(3), 454–470 (1987
Treatment Outcomes and Cost-Effectiveness of Shifting Management of Stable ART Patients to Nurses in South Africa: An Observational Cohort
Lawrence Long and colleagues report that “down-referring” stable HIV patients from a doctor-managed, hospital-based ART clinic to a nurse-managed primary health facility provides good health outcomes and cost-effective treatment for patients
The rexinoid, bexarotene, prevents the development of premalignant lesions in MMTV-erbB2 mice
Retinoids, vitamin A analogues that bind to retinoic acid receptor (RAR) or retinoid X receptor (RXR), play important roles in regulating cell proliferation, apoptosis, and differentiation. Recently, RXR-selective ligands, also referred to as rexinoids, have been investigated as potential chemopreventive agents for breast cancer. Our previous studies demonstrated that the rexinoid bexarotene significantly prevented ER-negative mammary tumourigenesis with less toxicity than naturally occurring retinoids in animal models. To determine whether bexarotene prevents cancer at the early stages during the multistage process of mammary carcinogenesis, we treated MMTV-erbB2 mice with bexarotene for 2 or 4 months. The development of preinvasive mammary lesions such as hyperplasias and carcinoma-in-situ was significantly inhibited. This inhibition was associated with reduced proliferation, but no induction of apoptosis. We also examined the regulation of a number of rexinoid-modulated genes including critical growth and cell cycle regulating genes using breast cell lines and mammary gland samples from mice treated with rexinoids. We showed that two of these genes (DHRS3 and DEC2) were modulated by bexarotene both in vitro and in vivo. Identification of these rexinoid-modulated genes will help us understand the mechanism by which rexinoid prevents cancer. Such rexinoid-regulated genes also represent potential biomarkers to assess the response of rexinoid treatment in clinical trials
Reference ontologies for interoperability across multiple assembly systems
This is an Accepted Manuscript of an article published by Taylor & Francis in International Journal of Production Research on 28 Sep 2015, available online: http://dx.doi.org/10.1080/00207543.2015.1087654The role of information and communication technologies (ICTs) is crucial for future manufacturing organisations in order
to support effective collaboration and information sharing. However, the contemporary ICT-based systems lack the
required ability to adequately support interoperability across multiple domain systems. The capability of such ICT-based
systems to interoperate is impeded by the semantic conflicts arising from loosely defined meanings and intents of the
participating system concepts. The aim of this paper is to investigate the interoperability of assembly systems at multiple
levels of concept specialisations using the concept of a formal reference ontology. Formal ontologies are providing a
promising way to computationally capture the domain meanings which can subsequently provide a base to support
interoperability across multiple systems and in our case multiple assembly systems. This paper takes the example of
manufacturing bill of materials concept and three different domain-specific interpretations to explore and demonstrate the
potential of formal reference ontologies to support interoperability
Methodological approaches to population based research of screening procedures in the presence of selection bias and exposure measurement error: colonoscopy and colorectal cancer outcomes in Ontario
Functional interaction between mouse erbB3 and wild-type rat c-neu in transgenic mouse mammary tumor cells
INTRODUCTION: Co-expression of several receptor tyrosine kinases (RTKs), including erbB2 and erbB3, is frequently identified in breast cancers. A member of the RTK family, the kinase-deficient erbB3 can activate downstream signaling via heterodimer formation with erbB2. We studied the expression of RTK receptors in mammary tumors from the wild-type (wt) rat c-neu transgenic model. We hypothesized that physical and functional interactions between the wt rat neu/ErbB2 transgene and mouse ErbB3-encoded proteins could occur, activating downstream signaling and promoting mammary oncogenesis. METHODS: Immunohistochemical and Western blot analyses were performed to study the expression of rat c-neu/ErbB2 and mouse erbB3 in mammary tumors and tumor-derived cell lines from the wt rat c-neu transgenic mice. Co-immunoprecipitation methods were employed to quantitate heterodimerization between the transgene-encoded protein erbB2 and the endogenous mouse erbB3. Tumor cell growth in response to growth factors, such as Heregulin (HRG), epidermal growth factor (EGF), or insulin-like growth factor-1 (IGF-1), was also studied. Post-HRG stimulation, activation of the RTK downstream signaling was determined by Western blot analyses using antibodies against phosphorylated Akt and mitogen-activated protein kinase (MAPK), respectively. Specific inhibitors were then used with cell proliferation assays to study the phosphoinositide-3 kinase (PI-3K)/Akt and MAPK kinase (MEK)/MAPK pathways as possible mechanisms of HRG-induced tumor cell proliferation. RESULTS: Mammary tumors and tumor-derived cell lines frequently exhibited elevated co-expression of erbB2 and erbB3. The transgene-encoded protein erbB2 formed a stable heterodimer complex with endogenous mouse erbB3. HRG stimulation promoted physical and functional erbB2/erbB3 interactions and tumor cell growth, whereas no response to EGF or IGF-1 was observed. HRG treatment activated both the Akt and MAPK pathways in a dose- and time-dependent manner. Both the PI-3K inhibitor LY 294002 and MEK inhibitor PD 98059 significantly decreased the stimulatory effect of HRG on tumor cell proliferation. CONCLUSION: The co-expression of wt rat neu/ErbB2 transgene and mouse ErbB3, with physical and functional interactions between these two species of RTK receptors, was demonstrated. These data strongly suggest a role for erbB3 in c-neu (ErbB2)-associated mammary tumorigenesis, as has been reported in human breast cancers
Influence of repeated anaesthesia on physiological parameters in male Wistar rats: a telemetric study about isoflurane, ketamine-xylazine and a combination of medetomidine, midazolam and fentanyl
Влияние фосфатных связующих на физико-механические свойства периклазохромитовых огнеупоров
У данній статті наведено та порівняно фізико-механічні властивості периклазо-хромітових матеріалів в залежності від різних типів фосфатних зв’язуючих та введення різних домішок. Визначено, що найбільш раціональним є введення триполіфосфату натрію.In given clause are resulted and the physycal-mechanical properties periclase-cgromite of materials are compared depending on different of types phosphate binding and introduction of the various additives. Is determined, that most rational is the introduction treepolyphosphate sodume
- …