Group for Object-orientation, modeling, and languages (OMS), master thesis

Transkript

1 Group for Object-orientation, modeling, and languages g (OMS), master thesis 14. August and 4. October

2 OMS, at the core of computer science OO Programming and programming languages Making new programming language mechanisms (packages of classes) Let the compiler catch more programming errors when using patterns. Make a small/medium sized system Modelling and design pattens Can modelling (like UML) be made executable, and programs models? Design patterns for distributed and parallel programs Design Patterns for Secure Programming Software Engineering Evaluating the various System Development methods. Finding the best agile method. Making tools (eclipse) for embedded systems Parallel tools & algorithms New parallel algorithms, triangulation Comparing GPU/Multicore/Grid computing; tools and efficiency Working extensions to the Joly system Cloud computing Security

3 Courses to take fall 2012/spring 2013: Take >= 30 credits from this list Fall 2012: Programming languages (INF 3110) 10 credits Operating systems (INF 4151) 20 credits Algorithms and efficiency (INF4130) 10 credits Process Improvement and Agile Methods in Systems Development (INF 5181) 10 credits Unassailable IT-systems (INF 5150) 10 credits Spring 2013: Models of concurrency (INF 4140) 10 credits Distributed Objects (INF 5510) 10 credits Compiler technique (INF5110) 10 credits

4 How to contact us at OMS: Me (parallel alg) : Arne Maus, arnem@ifi.uio.no Languages: Stein Krogdahl: steinkr@ifi.uio.no Modelling: Birger Møller-Pederesen: birger@ifi.uio.no Software Engineering: Dag Sjøberg: dagsj@ifi.uio.no Also: Dag Langmyhr: dag@ifi.uio.no

5 One of these two master thesis proposals 1. Comparing three parallel programming environments: a) openmp / C++ and b) Java on a multi core CPU, with c) MPI message based programming on a cluster. Both a more theoretical ti comparison and practical programming a small number of (sorting) algorithms comparing execution times, ease of programming, debugging times etc. 2. Implementing ParallelRecursiveProcedures on a multi core CPU in Java. recursion a tree b c d e f g g f a b c d e 5 single machine, stack g... f. b,c,d,e a Threads on a multicore CPU a b d e c f

6

7 Executable Modeling on Android Øystein Haugen offers one or two Master theses within the following area Goal: Executable (UML) modeling on Android 1) Consider existing approaches to modeling on Android 2) Migrate the JavaFrame framework used in INF5150 (an existing executable UML runtime system) to Android 3) Perform experiments starting from existing UML models 4) Evaluate the modeling dli and the models dl Contact Øystein Haugen og

8 Common Variability Language Øystein Haugen offers one or two Master theses within the following area CVL is a language for describing software product lines. It is being standardized in the OMG (Object Management Group) SINTEF and IFI are leading this effort. Experiment with the Common Variability Language 1) Perform case studies - toy examples and real examples 2) Make intricate examples to highlight problematic areas and suggest mitigation More info on CVL on Contact Øystein Haugen oysteinh@ifi.uio.no or Oystein.haugen@sintef.no

9 Masteroppgave i samarbeid med BEKK Bekk Consulting AS (BEKK) er et norsk konsulentselskap. Vi er i dag omkring 300 ansatte, og har hovedkontor på Vippetangen i Oslo BEKK har mer enn 30 faggrupper med stor aktivitet. Vi er alltid interessert i kontakt med flinke studenter med ambisjoner om masteroppgave relatert til programmering, design eller webteknologi. Masteroppgavepresentasjon høsten 2012

10 Oppgaver ved Bekk - tidligere Eksempler på tidligere og pågående oppgaver ved NTNU/UiO: Mobile first og offentlige nettsteder Katanoo - towards a highly scalable web analytics tool DSL i Native Java Testdrevet JavaScript Open Source og søketeknologi for virksomheter Ta kontakt med Arne Maus eller Jon Grov ( , jon.grov@bekk.no) for mer informasjon

11 Oppgave innenswat-prosjektet og PT-mekanismen Stein Krogdahl: OMS, NFR-prosjekt, , totalramme 8 mill. Her har vi bla.a. utviklet: PT-mekanismen (PT= Package Templates ) Med PT kan man skrive Templater (= maler ) for pakker. Disse kan instansieres ved compiletime F.eks. en Graf-pakke med klassene Node og Kant (med implemetasjon vha. pekere etc): Package Template Graph (Kan typesjekkes separat) Node => City; Edge => Road class City { ; + +} class Road { ; + +} class Node { } class Edge { } Resten av programmet Node => Switch; Edge => Cable class Switch { ; + +} class Cable { ; + +} To instansieringer av Graph Programmet Kan også slå sammen klasser fra flere instansieringer ( merging ). Kan lese om PT på:

12 Skal neppe starte opp mer enn én ny masteroppgave Hovedforslag: Skrive et program-bibliotek (eller et rammeverk?) av templater i PT Kan ta utgangspunkt i et eksisterende bibliotek e.l. Under veis: Vurdere om PT-mekansimen trenger tillegg for å få til gode biblioteks-enheter Kan vi få til et feller bibliotek med de som ikke bruker PT? Er mekanismene i PT for synlighetsregulering l i gode nok? Annet: Også andre temaer rundt PT-mekanismen kan være Også andre temaer rundt PT mekanismen kan være aktuelle å se på

13 BusML - Business Modeling Language with environment for Business representation, innovation, analysis and simulation In collaboration with CSI Center for Service Innovation (NHH-Bergen, AHO, Telenor, DnB, EVRY, Posten, Induct) and EU project NEFFICS 1) Evaluate different proposed frameworks for Business Model Innovation and representation and the SINTEF lead OMG standardisation of VDML Value Delivery Modeling Language g 2) Propose your BusML Business Modeling language with analysis/simulation possibilities 3) Perform experiments with your BusML language 4) Evaluate BusML in the context of CSI partner companies requirements More info on NEFFICS and CSI on and Ref. also (INF5120: Model based System Development) Contact Arne J. Berre arneb@ifi.uio.no no og Arne.J.Berre@sintef.no no

14 ServiceML Service Modeling Language for Agile Software Innovation with example from environmental mobile apps/services/sensors In cooperation with EU projects CITI-SENSE and ENVIROFI (with NILU, Ruter, Oslo kommune, Future Internet PPP) Goal: ServiceML modeling language and environment for rapid innovation and development of internet apps/services 1) Evaluate existing languages for service/sensor modeling (SoaML, USDL, SenML) 2) Propose your ServiceML service modeling/execution language 3) Perform experiments with your ServiceML language g in an Agile open software innovation environment with existing internet services and sensors 4) Evaluate the modeling and the execution in the context of environmental mobile apps, services and sensors for the future internet. More info on org and eu Ref. also (INF5120: Model based System Development) Contact Arne J. Berre arneb@ifi.uio.no og Arne.J.Berre@sintef.no