Towards Activity Context using Software Sensors

Service-Oriented Computing delivers the promise of configuring and reconfiguring software systems to address user's needs in a dynamic way. Context-aware computing promises to capture the user's needs and hence the requirements they have on systems. The marriage of both can deliver ad-hoc software solutions relevant to the user in the most current fashion. However, here it is a key to gather information on the users' activity (that is what they are doing). Traditionally any context sensing was conducted with hardware sensors. However, software can also play the same role and in some situations will be more useful to sense the activity of the user. Furthermore they can make use of the fact that Service-oriented systems exchange information through standard protocols. In this paper we discuss our proposed approach to sense the activity of the user making use of software

OLAP queries context-aware recommender system

It becomes hard and tedious to easily obtain relevant decisional data in large data warehouses. In order to ease user exploration during on-line analytical processing analysis, recommender systems are developed. However some recommendations can be inappropriate (irrelevant queries or non-computable queries). To overcome these mismatches, we propose to integrate contextual data into the recommender system. In this paper, we provide (i) an indicator of obsolescence for OLAP queries and (ii) a context-aware recommender system based on a contextual post-filtering for OLAP queries

Partial reconstitution of DNA large loop repair with purified proteins from Saccharomyces cerevisiae

Small looped mispairs are corrected by DNA mismatch repair. In addition, a distinct process called large loop repair (LLR) corrects heteroduplexes up to several hundred nucleotides in bacteria, yeast and human cells, and in cell-free extracts. Only some LLR protein components are known, however. Previous studies with neutralizing antibodies suggested a role for yeast DNA polymerase δ (Pol δ), RFC and PCNA in LLR repair synthesis. In the current study, biochemical fractionation studies identified FEN1 (Rad27) as another required LLR component. In the presence of purified FEN1, Pol δ, RFC and PCNA, repair occurred on heteroduplexes with loops ranging from 8 to 216 nt. Repair utilized a 5′ nick, with correction directed to the nicked strand, irrespective of which strand contained the loop. In contrast, repair of a G/T mismatch occurred at low levels, suggesting specificity of the reconstituted system for looped mispairs. The presence of RPA enhanced reactivity on some looped substrates, but RPA was not required for activity. Although additional LLR factors remain to be identified, the excision and resynthesis steps of LLR from a 5′ nick can be reconstituted in a purified system with FEN1 and Pol δ, together with PCNA and its loader RFC

Addressing the evolution of automated user behaviour patterns by runtime model interpretation

The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-013-0371-3The use of high-level abstraction models can facilitate and improve not only system development but also runtime system evolution. This is the idea of this work, in which behavioural models created at design time are also used at runtime to evolve system behaviour. These behavioural models describe the routine tasks that users want to be automated by the system. However, users¿ needs may change after system deployment, and the routine tasks automated by the system must evolve to adapt to these changes. To facilitate this evolution, the automation of the specified routine tasks is achieved by directly interpreting the models at runtime. This turns models into the primary means to understand and interact with the system behaviour associated with the routine tasks as well as to execute and modify it. Thus, we provide tools to allow the adaptation of this behaviour by modifying the models at runtime. This means that the system behaviour evolution is performed by using high-level abstractions and avoiding the costs and risks associated with shutting down and restarting the system.This work has been developed with the support of MICINN, under the project EVERYWARE TIN2010-18011, and the support of the Christian Doppler Forschungsgesellschaft and the BMWFJ, Austria.Serral Asensio, E.; Valderas Aranda, PJ.; Pelechano Ferragud, V. (2013). Addressing the evolution of automated user behaviour patterns by runtime model interpretation. Software and Systems Modeling. https://doi.org/10.1007/s10270-013-0371-3SWeiser, M.: The computer of the 21st century. Sci. Am. 265, 66–75 (1991)Serral, E., Valderas, P., Pelechano, V.: Context-adaptive coordination of pervasive services by interpreting models during runtime. Comput. J. 56(1), 87–114 (2013)Ajila, S.A., Alam, S.: Using a formal language constructs for software model evolution. In: Third IEEE International Conference on Semantic Computing (IEEE-ICSC 2009). Berkeley, CA, USA, pp. 390–395 (2009)Bennett, K., Rajlich, V.: Software Maintenance and Evolution: A Roadmap. In: 22nd International Conference on Software Engineering (ICSE 2000). Limerick, Ireland, pp. 75–87 (2000)Mens, T.: The ERCIM working group on software evolution: the past and the future. In: Proceedings of the Joint International and Annual ERCIM Workshops on Principles of Software Evolution (IWPSE) and Software Evolution (Evol) Workshops. ACM (2009)Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R.: Challenges in software evolution. In: Report of the ChaSE 2005 Workshop Organised by the ERCIM Working Group on Software Evolution. IWPSE-05. Lisbon, Portugal, pp. 13–22 (2005)Hirschfeld, R., Kawamura, K., Berndt, H.: Dynamic service adaptation for runtime system extensions. In: Wireless On-Demand Network Systems, pp. 227–240. Springer, Berlin, Heidelberg, Madonna di Campiglio, Italy (2004)Lientz, B.P., Swanson, E.B.: Software maintenance management: a study of the maintenance of computer applications software in 487 data processing organizations. Addison-Wesley, Reading, MA (1980)Buckley, J., Mens, T., Zenger, M., Rashid, A., Kniesel, G.: Towards a taxonomy of software change. J. Softw. Maint. Evolut. Res. Pract. 17(5), 309–332 (2003)Hardian, B., Indulska, J., Henricksen, K.: Balancing autonomy and user control in context-aware systems—a survey. In: CoMoRea, IEEE PerCom Workshops 2006. (2006)Biegel, G., Cahill, V.: A framework for developing mobile, context-aware applications. In: The 2nd IEEE Conference on Pervasive Computing and Communication (PerCom), pp. 361–365 (2004)Hofer, T., Schwinger, W., Pichler, M., Leonhartsberger, G., Altmann, J.: Context-awareness on mobile devices—the hydrogen approach. In: The 36th Annual Hawaii International Conference on System Sciences, pp. 292–302 (2002)Dey, A.K.: Understanding and using context. Pers. Ubiquitous Comput. 5(1), 4–7 (2001)Sheng, Q.Z., Benatallah, B.: ContextUML: a UML-based modelling language for model-driven development of context-aware web services. In: Proceedings of the International Conference on Mobile, Business (ICMB’05). pp. 206–212 (2005)Henricksen, K., Indulska, J.: A software engineering framework for context-aware pervasive computing. In: Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications (PerCom 2004), pp. 77–86. IEEE, Orlando, FL, USA (2004)Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. Int. J. Ad Hoc Ubiquitous Comput. 2(4), 263–277 (2007)Ye, J., Coyle, L., Dobson, S., Nixon, P.: Ontology-based models in pervasive computing systems. Knowl. Eng. Rev. 22(4), 315–347 (2007)Chen, H., Finin, T., Joshi, A.: An ontology for context-aware pervasive computing environments. Special Issue on Ontologies for Distributed Systems. Knowl. Eng. Rev. 18(3), 197–207 (2004)Welty, C., McGuinness, D.L.: OWL Web Ontology Language Guide. vol. W3C Recomm. W3C Recommendation 10 Feb 2004 (2004)Shepherd, A.: HTA as a framework for task analysis. Ergonomics 41, 1537–1552 (1998)Serral, E., Valderas, P., Pelechano, V.: Towards the model driven development of context-aware pervasive systems. Special Issue on Context Modelling, Reasoning and Management. PMC 6(2), 254–280 (2010)Serral, E.: Automating Routine Tasks in Smart Environments. A Context-aware Model-driven Approach, Technical University of Valencia (2011)Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, Indianapolis (2002)Muñoz, J., Ferragud, D.V.P.: Model Driven Development of Pervasive Systems. Building a Software Factory. Universidad Politécnica de Valencia, Valencia (2008)Juric, M.B., Sarang, P.: Business Process Execution Language for Web Services: BPEL and BPEL4WS (2006)Loke, S.W., Smanchat, S., Ling, S., Indrawan, M.: Formal mirror models: an approach to just-in-time reasoning for device ecologies. Int. J. Smart Home 2(1), 15–32 (2008)Code Generation conference. http://www.codegeneration.net/cg2010/ (2010)Guy, M.: Report 2: API Good Practice Good practice for provision of and consuming APIs. UKOLN (2009)Bloch, J.: How to design a good API and why it matters. pp. 506–507 (2005)Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)Bernstein, P.: Multiversion concurrency control—theory and algorithms. ACM Trans. Database Syst. 8(4), 465–484 (1983)Cooper, S., Dann, W., Pausch, R.: Alice: a 3-D tool for introductory programming concepts. J. Comput. Sci. Coll. 15, 107–116 (2000)Pérez, F., Valderas, P.: Allowing end-users to actively participate within the elicitation of pervasive system requirements through immediate visualization. In: Fourth International Workshop on Requirements Engineering Visualization (REV), pp. 31–40. IEEE, Atlanta, Georgia, USA (2009)Lieberman, H., Paternó, F., Wulf, V.: End User Development. Springer, Dordrecht (2006)Nielsen, J.: Usability Engineering. Morgan Kaufmann Publishers Inc, San Francisco (1993)Van Welie, M., Trætteberg, H.: Interaction Patterns in User, Interfaces. pp. 13–16 (2000)Galitz, W.O.: The Essential Guide to User Interface Design: An Introduction to GUI Design Principles and Techniques. Wiley, New York (2002)Kitchenham, B., Pickard, L., Pfleeger, S.L.: Case studies for method and tool evaluation. Softw. IEEE 12(4), 52–62 (1995)Wohlin, C., Runeson, P., Höst, M., Ohlsson, M.C., Regnell, B., Wesslén, A.: Experimentation in Software Engineering. Springer, Berlin (2012)Jones, J.V.: Applied software measurement: assuring productivity & quality (2nd ed’97). McGraw-Hill, New York (1997)Strang, T., Linnhoff-Popien, C.: A context modeling survey. In: First International Workshop on Advanced Context Modelling, Reasoning And Management at UbiComp (2004)Lewis, J.R.: Psychometric Evaluation of an After-Scenario Questionnaire for Computer Usability Studies? The ASQ. SIGCHI Bulletin (1991)Cook, D.J., Youngblood, M., Heierman, I.I.I.E.O., Gopalratnam, K., Rao, S., Litvin, A., Khawaja, F.: MavHome: An Agent-based Smart Home. In: First IEEE International Conference on Pervasive Computing and, Communications (PerCom’03), pp. 521–524 (2003)Hagras, H., Callaghan, V., Colley, M., Clarke, G., Pounds-Cornish, A., Duman, H.: Creating an ambient-intelligence environment using embedded agents. IEEE Intell. Syst. 19(6), 12–20 (2004)Rashidi, P., Cook, D.J.: Keeping the resident in the loop: adapting the smart home to the user. IEEE Trans. Syst. Man Cybern. 39(5), 949–959 (2009)Webb, G.I., Pazzani, M.J., Billsus, D.: Machine learning for user modeling. User model. User-Adapt Interact. 11(1–2), 19–29 (2001)Valiant, L.G.: A theory of the learnable. Commun. ACM 27(11), 1134–1142 (1984)Serral, E., Valderas, P., Pelechano, V.: (2011) Improving the cold-start problem in user task automation by using models at runtime. In: Information Systems Development, pp. 671–683. (2011)García-Herranz, M., Haya, P.A., Esquivel, A., Montoro, G., Alamán, X.: Easing the smart home: semi-automatic adaptation in perceptive environments. J. Univers. Comput. Sci. 14(9), 1529–1544 (2008)Henricksen, K., Indulska, J., Rakotonirainy, A.: Using context and preferences to implement self-adapting pervasive computing applications. Sofw. Pract. Exp. 36(11–12), 1307–1330 (2006)Johnson, P.: Tasks and situations: considerations for models and design principles in human computer interaction, pp. 1199–1204. HCI International. Munich, Germany (1999)Cook, D.J., Das, S.K.: Smart environments: technologies, protocols, and applications, vol. 43. Wiley-Interscience, New York (2005)Paternò, F.: ConcurTaskTrees: an Engineered approach to model-based design of interactive systems. In: The Handbook of Analysis for Human-Computer Interaction, pp. 483–500 (2002)Pribeanu, C., Limbourg, Q., Vanderdonckt1, J.: Task modelling for context-sensitive user interfaces. In: Interactive Systems: Design, Specification, and Verification (DSV-IS), pp. 49–68. Springer, Berlin, Heidelberg 2001, Glasgow, Scotland, UK (2001)Souchon, N., Limbourg, Q., Vanderdonckt., J.: Task modelling in multiple contexts of use. In: Interactive Systems: Design, Specification, and Verification (DSV-IS), pp. 59–73 (2002)Huang, R., Cao, Q., Zhou, J., Sun, D., Su, Q.: Context-aware active task discovery for pervasive computing. In: International Conference on Computer Science and Software Engineering, pp. 463–466. IEEE, Wuhan, China (2008)Sousa, J.P., Poladian, V., Garlan, D., Schmerl, B.: Task-based adaptation for ubiquitous computing. IEEE Trans. Syst. Man Cybern. 36(3), 328–340 (2006)Masuoka, R., Parsia, B., Labrou, Y.: Task Computing—The Semantic Web Meets Pervasive Computing. In: 2nd International Semantic Web Conference on the Semantic Web (ISWC 2003), pp. 866–881. vol. LNCS 2870. Sanibel Island, FL, USA (2003)Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An architecture-based approach to self-adaptive software. IEEE Intell. Syst. Their Appl. 14(3), 54–62 (1999)Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., Gjørven, E.: Using Architecture Models for Runtime Adaptability. IEEE Software. 23(2), 62–70 (2006)Morin, B., Jézéquel, J.-M., Fleurey, F., Solberg, A.: Models at runtime to support dynamic adaptation. IEEE Comput. Soc. pp. 46–53 (2009)Cetina, C., Giner, P., Fons, J., Pelechano, V.: Using feature models for developing self-configuring smart homes. In: Fifth International Conference on Autonomic and Autonomous Systems, pp. 179–188. IEEE, Valencia, Spain (2009)Garlan, D., Schmerl, B.: Using architectural models at runtime: research challenges. In: Proceedings of the European Workshop on Software Architectures, pp. 200–205. Springer, Berlin, Heidelberg, St Andrews, UK (2004)Blumendorf, M., Lehmann, G., Feuerstack, S., Albayrak, S.: Executable models for human-computer interaction. In: Interactive Systems, Design, Specification, and Verification Workshop (DSV-IS 2008), pp. 238–251. Springer Berlin Heidelberg, Kingston, Canada (2008)Ballagny, C., Hameurlain, N., Barbier, F.: MOCAS: a state-based component model for self-adaptation. In: Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 206–215. IEEE, San Francisco, California (2009)Amoui, M., Derakhshanmanesh, M., Ebert, J., Tahvildari, L.: Achieving dynamic adaptation via management and interpretation of runtime models. J. Syst. Softw. 85(12), 2720–2737 (2012)Blair, G., Bencomo, N., France, R.B.: [email protected]. IEEE Comput. 42, 22–27 (2009)Zhang, J., Cheng, B.H.C.: Model based development of dynamically adaptive software. In: International Conference on Software Engineering (ICSE’06), pp. 371–380. ACM, Shanghai, China (2006

A naturally occurring human RPA subunit homolog does not support DNA replication or cell-cycle progression

Replication Protein A (RPA) is a single-stranded DNA-binding protein essential for DNA replication, repair, recombination and cell-cycle regulation. A human homolog of the RPA2 subunit, called RPA4, was previously identified and shown to be expressed in colon mucosal and placental cells; however, the function of RPA4 was not determined. To examine the function of RPA4 in human cells, we carried out knockdown and replacement studies to determine whether RPA4 can substitute for RPA2 in the cell. Unlike RPA2, exogenous RPA4 expression did not support chromosomal DNA replication and lead to cell-cycle arrest in G2/M. In addition, RPA4 localized to sites of DNA repair and reduced γ-H2AX caused by RPA2 depletion. These studies suggest that RPA4 cannot support cell proliferation but can support processes that maintain the genomic integrity of the cell

Formulation of a mmaA4 Gene Deletion Mutant of Mycobacterium bovis BCG in Cationic Liposomes Significantly Enhances Protection against Tuberculosis

A new vaccination strategy is urgently needed for improved control of the global tuberculosis (TB) epidemic. Using a mouse aerosol Mycobacterium tuberculosis challenge model, we investigated the protective efficacy of a mmaA4 gene deletion mutant of Mycobacterium bovis BCG (ΔmmaA4BCG) formulated in dimethyl dioctadecyl ammonium bromide (DDA) – D(+) trehalose 6,6 dibenenate (TDB) (DDA/TDB) adjuvant. In previous studies, deletion of the mmaA4 gene was shown to reduce the suppression of IL-12 production often seen after mycobacterial infections. While the non-adjuvanted ΔmmaA4BCG strain did not protect mice substantially better than conventional BCG against a tuberculous challenge in four protection experiments, the protective responses induced by the ΔmmaA4BCG vaccine formulated in DDA/TDB adjuvant was consistently increased relative to nonadjuvanted BCG controls. Furthermore, the ΔmmaA4BCG-DDA/TDB vaccine induced significantly higher frequencies of multifunctional (MFT) CD4 T cells expressing both IFNγ and TNFα (double positive) or IFNγ, TNFα and IL-2 (triple positive) than CD4 T cells derived from mice vaccinated with BCG. These MFT cells were characterized by having higher IFNγ and TNFα median fluorescence intensity (MFI) values than monofunctional CD4 T cells. Interestingly, both BCG/adjuvant and ΔmmaA4BCG/adjuvant formulations induced significantly higher frequencies of CD4 T cells expressing TNFα and IL-2 than nonadjuvanted BCG or ΔmmaA4BCG vaccines indicating that BCG/adjuvant mixtures may be more effective at inducing central memory T cells. Importantly, when either conventional BCG or the mutant were formulated in adjuvant and administered to SCID mice or immunocompromised mice depleted of IFNγ, significantly lower vaccine-derived mycobacterial CFU were detected relative to immunodeficient mice injected with non-adjuvanted BCG. Overall, these data suggest that immunization with the ΔmmaA4BCG/adjuvant formulation may be an effective, safe, and relatively inexpensive alternative to vaccination with conventional BCG

Cell cycle-specific UNG2 phosphorylations regulate protein turnover, activity and association with RPA

Human UNG2 is a multifunctional glycosylase that removes uracil near replication forks and in non-replicating DNA, and is important for affinity maturation of antibodies in B cells. How these diverse functions are regulated remains obscure. Here, we report three new phosphoforms of the non-catalytic domain that confer distinct functional properties to UNG2. These are apparently generated by cyclin-dependent kinases through stepwise phosphorylation of S23, T60 and S64 in the cell cycle. Phosphorylation of S23 in late G1/early S confers increased association with replication protein A (RPA) and replicating chromatin and markedly increases the catalytic turnover of UNG2. Conversely, progressive phosphorylation of T60 and S64 throughout S phase mediates reduced binding to RPA and flag UNG2 for breakdown in G2 by forming a cyclin E/c-myc-like phosphodegron. The enhanced catalytic turnover of UNG2 p-S23 likely optimises the protein to excise uracil along with rapidly moving replication forks. Our findings may aid further studies of how UNG2 initiates mutagenic rather than repair processing of activation-induced deaminase-generated uracil at Ig loci in B cells

Continuous and Periodic Expansion of CAG Repeats in Huntington's Disease R6/1 Mice

Huntington's disease (HD) is one of several neurodegenerative disorders caused by expansion of CAG repeats in a coding gene. Somatic CAG expansion rates in HD vary between organs, and the greatest instability is observed in the brain, correlating with neuropathology. The fundamental mechanisms of somatic CAG repeat instability are poorly understood, but locally formed secondary DNA structures generated during replication and/or repair are believed to underlie triplet repeat expansion. Recent studies in HD mice have demonstrated that mismatch repair (MMR) and base excision repair (BER) proteins are expansion inducing components in brain tissues. This study was designed to simultaneously investigate the rates and modes of expansion in different tissues of HD R6/1 mice in order to further understand the expansion mechanisms in vivo. We demonstrate continuous small expansions in most somatic tissues (exemplified by tail), which bear the signature of many short, probably single-repeat expansions and contractions occurring over time. In contrast, striatum and cortex display a dramatic—and apparently irreversible—periodic expansion. Expansion profiles displaying this kind of periodicity in the expansion process have not previously been reported. These in vivo findings imply that mechanistically distinct expansion processes occur in different tissues

Multiple ATR-Chk1 Pathway Proteins Preferentially Associate with Checkpoint-Inducing DNA Substrates

The ATR-Chk1 DNA damage checkpoint pathway is a critical regulator of the cellular response to DNA damage and replication stress in human cells. The variety of environmental, chemotherapeutic, and carcinogenic agents that activate this signal transduction pathway do so primarily through the formation of bulky adducts in DNA and subsequent effects on DNA replication fork progression. Because there are many protein-protein and protein-DNA interactions proposed to be involved in activation and/or maintenance of ATR-Chk1 signaling in vivo, we systematically analyzed the association of a number of ATR-Chk1 pathway proteins with relevant checkpoint-inducing DNA structures in vitro. These DNA substrates included single-stranded DNA, branched DNA, and bulky adduct-containing DNA. We found that many checkpoint proteins show a preference for single-stranded, branched, and bulky adduct-containing DNA in comparison to undamaged, double-stranded DNA. We additionally found that the association of checkpoint proteins with bulky DNA damage relative to undamaged DNA was strongly influenced by the ionic strength of the binding reaction. Interestingly, among the checkpoint proteins analyzed the checkpoint mediator proteins Tipin and Claspin showed the greatest differential affinity for checkpoint-inducing DNA structures. We conclude that the association and accumulation of multiple checkpoint proteins with DNA structures indicative of DNA damage and replication stress likely contribute to optimal ATR-Chk1 DNA damage checkpoint responses