The PhD position is linked to the Consistency Checking of Interrelated Software Models (CoInSom) project in which HVL is collaborating with FHDW, Hannover (Germany) to establish a model-driven framework to strengthen the fusion and cooperation of businesses. Migrating interrelated ICT systems is often not feasible due to system dependencies, the services that companies provide, and the business logic and associated models. The project aims at the development of a framework for the definition of languages based on a common graph-based structure which can be used to: query interrelated models, express similarities between systems represented by these models, and merge the results, impose constraints and check consistency of constraints. This way, the vision is to open up for providing integrated services on top of existing functionalities in the spirit of the service-oriented architecture, which is normally the main outcome of cooperation and integration between businesses.
The PhD project will involve investigations into the theory and practice of interrelated models and their integration; modelling and simulation languages for querying interrelated models, expressing similarities between models, and merge the results and check consistency of constraints; construction of prototype software tools for the above mentioned languages and evaluating them in integration scenarios in companies or public sector systems such as health care systems. The PhD research fellows will be affiliated with the faculty's ICT-oriented strategic research programme on ICT engineering (http://ict.hib.no) which currently includes 20 professors and associate professors, a large group of PhD students, and more than 50 master's students. The ICT engineering research environment has a strong focus on use-inspired and applied research, and cooperation with national and international research groups, and with industry partners. The research programme form the basis of the newly established PhD programme in Computer Science: Software Engineering, Engineering Computing, and Sensor Networks. The PhD research fellows will be part of the research group on software engineering (http://prosjekt.hib.no/ict/research/model-based-software-engineering/) For more information about the positions, including instructions on how to apply, see: https://www.jobbnorge.no/ledige-stillinger/stilling/134868/phd-research-fellow-position-in-consistency-checking-of-interrelated-software-models-coinsom On January 1st, 2017, Bergen University College, Sogn og Fjordane University College and Stord/Haugesund University College merged to form Western Norway University of Applied Sciences. With about 16,000 students, it is one of the largest higher education institutions in Norway. A broad range of academic programmes is offered at Bachelor, Master and PhD levels. --- Lars Michael Kristensen, Professor, PhD Department of Computing, Mathematics, and Physics Westen Norway University of Applied Sciences, Bergen, Norway Email: [email protected]<https://mail.hib.no/owa/redir.aspx?C=f726cf027ded43d099dee82e0019fb5d&URL=mailto%3aLars.Michael.Kristensen%40hib.no> Web: http://home.hib.no/ansatte/lmkr<https://mail.hib.no/owa/redir.aspx?C=f726cf027ded43d099dee82e0019fb5d&URL=http%3a%2f%2fwww.hib.no%2fansatte%2flmkr> ICT Engineering: http://ict.hib.no<http://prosjekt.hib.no/ict/>
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
