Navigation

  • Skip to Content
NTNU Home

ntnu.edu

  • Studies
    • Master's programmes in English
    • For exchange students
    • PhD opportunities
    • All programmes of study
    • Courses
    • Financing
    • Language requirements
    • Application process
    • Academic calendar
    • FAQ
  • Research and innovation
    • NTNU research
    • Research excellence
    • Strategic research areas
    • Innovation resources
    • PhD opportunities
  • Life and housing
    • Student in Trondheim
    • Student in Gjøvik
    • Student in Ålesund
    • For researchers
    • Life and housing
  • About NTNU
    • Contact us
    • Faculties and departments
    • Libraries
    • International researcher support
    • Vacancies
    • About NTNU
    • Maps
  1. Home
  2. Employees

Språkvelger

Norsk

Rolv Richard Berven Bræk

Rolv Richard Berven Bræk

Affiliated
Department of Information Security and Communication Technology

rolv.braek@ntnu.no
+4773592670 Elektro A, A271, Gløshaugen, O. S. Bragstads plass 2
About Publications Media

About

Research area

  • Model-driven service and systems engineering
  • Systems engineering methodology
  • Software design for real time systems

Reserach group: networked systems

Personal web page: Rolv Bræk

 

Background

Professor at NTNU in in Systems development since 2000

Adjunct Research Scientist Ericsson Norwegian Advanced Research Centre,2001 – 2002

Adjunct Professor at NTNU in Systems Development 1996-2000   

Principal Research Scientist at SINTEF 1987 - 2000    

Adjunct Professor at NTH in Systems Development 1988 - 1993      

Acting Director of Research at ELAB 1987 - 1989         .

Research scientist at ELAB 1985 - 1987         .

Research fellowship from the Royal Norwegian Council for Scientific and Industrial Research 1984 - 1985        

Research scientist at ELAB 1979 - 1984        .

Head of the Teletraffic Group at ELAB (3 year assignment) 1976 - 1979

Research scientist at ELAB 1974 - 1976

Assistant Professor at NTH 1973 - 1974       

Scientific Assistant at  NTH 1970 - 1973       

Research scientist at ELAB 1969 - 1970        

Scientific Assistant at NTH 1968 - 1969

 

 

 

 

Publications

  • Chronological
  • By category
  • See all publications in Cristin

2016

  • Fatima, Urooj; Bræk, Rolv. (2016) Modular solutions to common design problems using activities and the interface-modular method. Lecture Notes in Computer Science (LNCS). volum 9959 LNCS.
    Academic article

2015

  • Fatima, Urooj; Bræk, Rolv. (2015) A Modular Method for Global System Behaviour Specification. MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015.
    Academic chapter/article
  • Fatima, Urooj; Bræk, Rolv. (2015) The interface-modular method for global system behaviour specification. Communications in Computer and Information Science. volum 580.
    Academic article

2014

  • Slåtten, Vidar; Herrmann, Peter Michael; Bræk, Rolv. (2014) Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification. 2014. ISBN 978-82-326-0345-9. Doktoravhandlinger ved NTNU (211).
    PhD thesis

2013

  • Bræk, Rolv. (2013) On Properties of Modeling Approaches. CEUR Workshop Proceedings. volum 1076.
    Academic article
  • Castejón, Humberto Nicolás; V. Bochman, Gregor; Bræk, Rolv. (2013) On the realizability of collaborative services. Software and Systems Modeling (SoSyM). volum 12 (3).
    Academic article
  • Fatima, Urooj; Bræk, Rolv. (2013) On Deriving Detailed Component Design from High-Level Service Specification. Lecture Notes in Computer Science (LNCS). volum 7744.
    Academic article
  • Urooj, Fatima; Bræk, Rolv. (2013) Modelling Multiplicity in Choreography Models. Third International Workshop on Model-Driven Requirements Engineering (MoDRE).
    Academic chapter/article

2012

  • Fatima, Urooj; Bræk, Rolv. (2012) Model Driven Service Engineering (MDSE). Reported at Comparing Modeling Approaches Workshop (CMA'12) co-located with MODELS 2012. 2012.
    Report
  • Fatima, Urooj; Bræk, Rolv; Castejón, Humberto Nicolás. (2012) Session Initiation as a Service. Lecture Notes in Computer Science (LNCS). volum 7083.
    Academic article
  • Mussbacher, Gunter; Al Abed, Wisam; Alam, Omar; Ali, Shaukat; Beugnard, Antoine; Bonnet, Valentin; Bræk, Rolv; Capozucca, Alfredo; H. C. Cheng, Betty; Fatima, Urooj; France, Robert; Georg, Geri; Guelfi, Nicolas; Paul, Istoan; Jezequel, Jean-Marc; Kienzle, Jörg; Klein, Jacques; Lézoray, Jean-Baptiste; Malakuti, Somayeh; Moreira, Ana; Phung-Khac, An; Troup, Lucy. (2012) Comparing Six Modeling Approaches. Lecture Notes in Computer Science (LNCS). volum 7167.
    Academic article

2011

  • Fatima, Urooj; Bræk, Rolv; Castejon, Humberto Nicolas. (2011) Session Initiation as a Service. SDL 2011: Integrating System and Software Modeling.
    Academic chapter/article
  • Han, Fenglin; Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv; Herrmann, Peter Michael. (2011) Towards Choreography Model Transformation via Graph Transformation. Proceedings 2011 2nd IEEE International Conference On Software Engineering and Service Science.
    Academic chapter/article
  • Kathayat, Surya Bahadur; Bræk, Rolv. (2011) From Flow-Global Choreography to Component Types. Lecture Notes in Computer Science (LNCS). volum 6598.
    Academic article
  • Kathayat, Surya Bahadur; Bræk, Rolv. (2011) Modeling Collaborative Learning Services - A Case Study. Proceedings of the 2011 International Conference on Collaboration Technologies and Systems.
    Academic chapter/article
  • Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv. (2011) A Model-Driven Framework for Component-based Development. Lecture Notes in Computer Science (LNCS). volum 7083.
    Academic article
  • Kraemer, Frank Alexander; Kathayat, Surya Bahadur; Bræk, Rolv. (2011) Unified Modeling of Service Logic with User Interfaces. International journal of intelligent and cooperative information systems. volum 20 (2).
    Academic article
  • Zoric, Josip; Bræk, Rolv. (2011) Scenario based techno-business analysis of service platforms and their service portfolios. Telecommunications Systems. volum 46 (2).
    Academic article

2010

  • Bræk, Rolv; Castejon, Humberto Nicolas; Le, Hien Nam; Rossebø, Judith Ellen Yarranton. (2010) Policy-Based Service Composition and Recommendation. Service Intelligence and Service Science: Evolutionary Technologies and Challenges.
    Academic chapter/article
  • Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv. (2010) Automatic Derivation of Components Using Choreographies - A Case Study. Proceedings of the International Conference on Software Engineering.
    Academic chapter/article

2009

  • Floch, Jacqueline; Sanders, Richard; Bræk, Rolv. (2009) Compositional Service Engineering Using Semantic Interfaces. At Your Service. Service oriented computing from an EU perspective.
    Academic chapter/article
  • Bræk, Rolv; Rossebø, Judith Ellen Yarranton. (2009) Methodology for Policy-Enabled Dynamic composition of services. 2009.
    Report
  • Kathayat, Surya Bahadur; Bræk, Rolv. (2009) Platform Support for Situated Collaborative Learning. International Conference on Mobile, Hybrid, and On-line Learning, 2009. ELML '09.
    Academic chapter/article
  • Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter. (2009) Compositional Service Engineering with Arctis. Telektronikk. volum 105 (1.2009).
    Academic article
  • Kraemer, Frank Alexander; Kathayat, Surya Bahadur; Bræk, Rolv. (2009) Unified Modeling of Service Logic with User Interfaces. Proceeding of the first international workshop on Model driven service engineering and data quality and security 2009.
    Other
  • Kraemer, Frank Alexander; Samset, Haldor; Bræk, Rolv. (2009) An Automated Method for Web Service Orchestration Based on Reusable Building Blocks. Web Services, 2009. ICWS 2009. IEEE International Conference on.
    Academic chapter/article

2008

  • Amyot, Daniel; Becca, Hanana; Bræk, Rolv; Rossebø, Judith Ellen Yarranton. (2008) Next Generation Service Engineering. Proceedings of the ITU-T NGN Kaleidoscope Conference.
    Academic chapter/article
  • Castejón, Humberto Nicolás; von Bochmann, Gregor; Bræk, Rolv. (2008) Using Collaborations in the Development of Distributed Services. 2008. AVANTEL Technical Report (2/2008).
    Report
  • Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2008) Using Composition Policies to Manage Authentication and Authorization Patterns and Services. 2008. ISBN 978-82-993980-5-3. AVANTEL Technical Report (3/2008).
    Report
  • Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2008) Using Composition Policies to Manage Authentication and Authorization Patterns and Services. Proceedings of the Third International Conference on Availability, Reliability and Security.
    Other
  • Samset, Haldor; Bræk, Rolv. (2008) Describing Active Services for Publication and Discovery. Software Engineering Research, Management and Applications.
    Academic chapter/article
  • Samset, Haldor; Bræk, Rolv. (2008) Dynamic Service Discovery using Active Lookup and Registration. Congress on Services - Part I, 2008. SERVICES '08. IEEE.
    Academic chapter/article

2007

  • Castejón, Humberto Nicolás; Bochmann, Gregor; Bræk, Rolv. (2007) Realizability of Collaboration-based Service Specifications. Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007).
    Academic chapter/article
  • Castejón, Humberto Nicolás; von Bochmann, Gregor; Bræk, Rolv. (2007) Investigating the realizability of collaboration-based service specifications. 2007. AVANTEL Technical Report (3/2007).
    Report
  • Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. Lecture Notes in Computer Science (LNCS).
    Academic article

2006

  • Castejón, Humberto Nicolás; Bræk, Rolv. (2006) A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. Proceedings of the 2006 ICSE international workshop on Scenarios and state machines: models, algorithms, and tools.
    Other
  • Kraemer, Frank Alexander; Herrmann, Peter Michael; Bræk, Rolv. (2006) Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. Lecture Notes in Computer Science (LNCS). volum 4276.
    Academic article
  • Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2006) A Policy-driven Approach to Dynamic Composition of Authentication and Authorization Patterns and Services. Journal of Computers. volum 1 (8).
    Academic article
  • Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2006) Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. First International Conference on Availability, Reliability and Security (ARES'06).
    Academic chapter/article
  • Castejón, Humberto Nicolás; Bræk, Rolv. (2006) Formalizing Collaboration Goal Sequences for Service Choreography. Lecture Notes in Computer Science (LNCS). volum 4229.
    Academic article

2005

  • Bræk, Rolv; Melby, Geir. (2005) Model Driven Service Engineering. Model-driven Software Development. Volume II of Research and Practice in Software Engineering.
    Academic chapter/article
  • Castejón, Humberto Nicolás; Bræk, Rolv. (2005) Dynamic Role Binding in a Service Oriented Architecture. IFIP International Federation for Information Processing. volum 190.
    Academic article
  • Bræk, Rolv; Floch, Jacqueline. (2005) ICT convergence: Modeling issues. Lecture Notes in Computer Science (LNCS). volum 3319.
    Academic article
  • Floch, Jacqueline; Bræk, Rolv. (2005) A compositional approach to service validation. Lecture Notes in Computer Science (LNCS). volum 3530.
    Academic article
  • Sanders, Richard Torbjørn; Castejón, Humberto Nicolás; Kraemer, Frank Alexander; Bræk, Rolv. (2005) Using UML 2.0 Collaborations for Compositional Service Specification. Lecture Notes in Computer Science (LNCS). volum 3713.
    Academic article
  • Sanders, Richard; Bræk, Rolv; V. Bochman, Gregor; Amyot, Daniel. (2005) Service Discovery and Component Reuse with Semantic Interfaces. Lecture Notes in Computer Science (LNCS).
    Academic article

2004

  • Bræk, Rolv; Helvik, Bjarne Emil; Knapskog, Svein Johan; Kristiansen, Lill; Kure, Øivind. (2004) Information Society of 2020; Networks and networked systems. Infosam2020, Information Society of 2020.
    Academic chapter/article
  • Nørvåg, Kjetil; Bratbergsengen, Kjell; Bræk, Rolv; Dybdahl, Haakon; Elster, Anne Cathrine; Hallgren, Torbjørn; Hartmann, Morten; Hauglid, Jon Olav; Knapskog, Svein Johan; Natvig, Lasse. (2004) Computer Systems. Infosam2020, Information Society of 2020.
    Academic chapter/article

2003

  • Sanders, Richard; Floch, Jacqueline; Bræk, Rolv. (2003) Dynamic Behaviour Arbitration using Role Negotiation. Proceedings of 9th EUNICE Open European Summer School and IFIP WG6.3 Workshop on Next Generation Networks, Balatonfüred, Hungary, 8th-10th November 2003, ISBN 963-421-576-9.
    Academic article

2002

  • Aagesen, Finn Arve; Bræk, Rolv. (2002) EUNICE'2002. 2002. ISBN 82-993980-5-3.
    Nonfiction book

2000

  • Bræk, Rolv. (2000) Guest Editorial. Telektronikk. volum 96 (4).
    Chronicle
  • Bræk, Rolv. (2000) On Methodology Using the ITU-T Languages and UML. Telektronikk. volum 96 (4).
    Academic article
  • Meisingset, Arve; Bræk, Rolv. (2000) The ITU-T Languages in a Nutshell. Telektronikk. volum 96 (4).
    Academic article

1999

  • Aagesen, Finn Arve; Bræk, Rolv; Floch, Jacqueline; Helvik, Bjarne Emil; Johansen, Ulrik Albert; Meling, Hein; Wuwongse, Vilas. (1999) A Reference Model for Plug and Play. 1999. Plug-and Play Technical Report (1/99).
    Report
  • Bræk, Rolv; Gorman, Joe; Haugen, øystein; Melby, Geir; Møller-Pedersen, Birger; Sanders, Richard Torbjørn. (1999) Quality by Construction Exemplified by TIMe - The Integrated Methodology. Telektronikk. volum 95 (1).
    Popular scientific article
  • Johansen, Ulrik Albert; Aagesen, Finn Arve; Helvik, Bjarne Emil; Bræk, Rolv. (1999) Design specification of the PaP support functionality. 1999. Plug-and Play Technical Report (2/99).
    Report

1997

  • Bræk, Rolv; Haugen, Øystein; Melby, Geir; Møller-Pedersen, Birger; Stålhane, Tor; Sanders, Richard Torbjørn. (1997) TIMe : The Integrated Method. 1997.
    Report

1995

  • Bræk, Rolv; Møller-Pedersen, Birger. (1995) Common methodology : version 2. 1995. Rapport / SISU II.
    Report
  • Sommerville, I.; Mayobre, G.; Bræk, Rolv; Floch, J.; Mertes, K.; Breuer, M.; Leger, J.; Pendaries, J.-M.; Gandrieau, M.-A.; Tryggeseth, Eirik. (1995) Proteus framework. 1995.
    Report
  • Bræk, Rolv; Møller-Pedersen, Birger. (1995) Common methodology, SISU II. 1995.
    Report

1993

  • Bræk, Rolv. (1993) REBOOT SISU reuse methodology. 1993. SISU report & SISU-93001.
    Nonfiction book
  • Bræk, Rolv; Haugen, Øystein. (1993) Engineering real time systems : an object-oriented methodology using SDL. Prentice-Hall. 1993. ISBN 0-13-034448-6. BCS practitioner series.
    Nonfiction book
  • Bræk, Rolv; Waløen, Åge; Aaserud, Oddvar. (1993) Mekatronikk metodeutvikling : forprosjektrapport utarbeidet på oppdrag fra TBLs Teknologiutvalg for mekatronikk. 1993.
    Nonfiction book

1992

  • Haugen, Øystein; Bræk, Rolv. (1992) Engineering real time systems - an object-oriented methodology using SDC. 1992. SISU Report.
    Nonfiction book

Scientific articles

  • Fatima, Urooj; Bræk, Rolv. (2016) Modular solutions to common design problems using activities and the interface-modular method. Lecture Notes in Computer Science (LNCS). volum 9959 LNCS.
    Academic article
  • Fatima, Urooj; Bræk, Rolv. (2015) The interface-modular method for global system behaviour specification. Communications in Computer and Information Science. volum 580.
    Academic article
  • Bræk, Rolv. (2013) On Properties of Modeling Approaches. CEUR Workshop Proceedings. volum 1076.
    Academic article
  • Castejón, Humberto Nicolás; V. Bochman, Gregor; Bræk, Rolv. (2013) On the realizability of collaborative services. Software and Systems Modeling (SoSyM). volum 12 (3).
    Academic article
  • Fatima, Urooj; Bræk, Rolv. (2013) On Deriving Detailed Component Design from High-Level Service Specification. Lecture Notes in Computer Science (LNCS). volum 7744.
    Academic article
  • Fatima, Urooj; Bræk, Rolv; Castejón, Humberto Nicolás. (2012) Session Initiation as a Service. Lecture Notes in Computer Science (LNCS). volum 7083.
    Academic article
  • Mussbacher, Gunter; Al Abed, Wisam; Alam, Omar; Ali, Shaukat; Beugnard, Antoine; Bonnet, Valentin; Bræk, Rolv; Capozucca, Alfredo; H. C. Cheng, Betty; Fatima, Urooj; France, Robert; Georg, Geri; Guelfi, Nicolas; Paul, Istoan; Jezequel, Jean-Marc; Kienzle, Jörg; Klein, Jacques; Lézoray, Jean-Baptiste; Malakuti, Somayeh; Moreira, Ana; Phung-Khac, An; Troup, Lucy. (2012) Comparing Six Modeling Approaches. Lecture Notes in Computer Science (LNCS). volum 7167.
    Academic article
  • Kathayat, Surya Bahadur; Bræk, Rolv. (2011) From Flow-Global Choreography to Component Types. Lecture Notes in Computer Science (LNCS). volum 6598.
    Academic article
  • Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv. (2011) A Model-Driven Framework for Component-based Development. Lecture Notes in Computer Science (LNCS). volum 7083.
    Academic article
  • Kraemer, Frank Alexander; Kathayat, Surya Bahadur; Bræk, Rolv. (2011) Unified Modeling of Service Logic with User Interfaces. International journal of intelligent and cooperative information systems. volum 20 (2).
    Academic article
  • Zoric, Josip; Bræk, Rolv. (2011) Scenario based techno-business analysis of service platforms and their service portfolios. Telecommunications Systems. volum 46 (2).
    Academic article
  • Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter. (2009) Compositional Service Engineering with Arctis. Telektronikk. volum 105 (1.2009).
    Academic article
  • Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. Lecture Notes in Computer Science (LNCS).
    Academic article
  • Kraemer, Frank Alexander; Herrmann, Peter Michael; Bræk, Rolv. (2006) Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. Lecture Notes in Computer Science (LNCS). volum 4276.
    Academic article
  • Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2006) A Policy-driven Approach to Dynamic Composition of Authentication and Authorization Patterns and Services. Journal of Computers. volum 1 (8).
    Academic article
  • Castejón, Humberto Nicolás; Bræk, Rolv. (2006) Formalizing Collaboration Goal Sequences for Service Choreography. Lecture Notes in Computer Science (LNCS). volum 4229.
    Academic article
  • Castejón, Humberto Nicolás; Bræk, Rolv. (2005) Dynamic Role Binding in a Service Oriented Architecture. IFIP International Federation for Information Processing. volum 190.
    Academic article
  • Bræk, Rolv; Floch, Jacqueline. (2005) ICT convergence: Modeling issues. Lecture Notes in Computer Science (LNCS). volum 3319.
    Academic article
  • Floch, Jacqueline; Bræk, Rolv. (2005) A compositional approach to service validation. Lecture Notes in Computer Science (LNCS). volum 3530.
    Academic article
  • Sanders, Richard Torbjørn; Castejón, Humberto Nicolás; Kraemer, Frank Alexander; Bræk, Rolv. (2005) Using UML 2.0 Collaborations for Compositional Service Specification. Lecture Notes in Computer Science (LNCS). volum 3713.
    Academic article
  • Sanders, Richard; Bræk, Rolv; V. Bochman, Gregor; Amyot, Daniel. (2005) Service Discovery and Component Reuse with Semantic Interfaces. Lecture Notes in Computer Science (LNCS).
    Academic article
  • Sanders, Richard; Floch, Jacqueline; Bræk, Rolv. (2003) Dynamic Behaviour Arbitration using Role Negotiation. Proceedings of 9th EUNICE Open European Summer School and IFIP WG6.3 Workshop on Next Generation Networks, Balatonfüred, Hungary, 8th-10th November 2003, ISBN 963-421-576-9.
    Academic article
  • Bræk, Rolv. (2000) On Methodology Using the ITU-T Languages and UML. Telektronikk. volum 96 (4).
    Academic article
  • Meisingset, Arve; Bræk, Rolv. (2000) The ITU-T Languages in a Nutshell. Telektronikk. volum 96 (4).
    Academic article

Journal publications

  • Bræk, Rolv. (2000) Guest Editorial. Telektronikk. volum 96 (4).
    Chronicle
  • Bræk, Rolv; Gorman, Joe; Haugen, øystein; Melby, Geir; Møller-Pedersen, Birger; Sanders, Richard Torbjørn. (1999) Quality by Construction Exemplified by TIMe - The Integrated Methodology. Telektronikk. volum 95 (1).
    Popular scientific article

Books

  • Aagesen, Finn Arve; Bræk, Rolv. (2002) EUNICE'2002. 2002. ISBN 82-993980-5-3.
    Nonfiction book
  • Bræk, Rolv. (1993) REBOOT SISU reuse methodology. 1993. SISU report & SISU-93001.
    Nonfiction book
  • Bræk, Rolv; Haugen, Øystein. (1993) Engineering real time systems : an object-oriented methodology using SDL. Prentice-Hall. 1993. ISBN 0-13-034448-6. BCS practitioner series.
    Nonfiction book
  • Bræk, Rolv; Waløen, Åge; Aaserud, Oddvar. (1993) Mekatronikk metodeutvikling : forprosjektrapport utarbeidet på oppdrag fra TBLs Teknologiutvalg for mekatronikk. 1993.
    Nonfiction book
  • Haugen, Øystein; Bræk, Rolv. (1992) Engineering real time systems - an object-oriented methodology using SDC. 1992. SISU Report.
    Nonfiction book

Part of book/report

  • Fatima, Urooj; Bræk, Rolv. (2015) A Modular Method for Global System Behaviour Specification. MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015.
    Academic chapter/article
  • Urooj, Fatima; Bræk, Rolv. (2013) Modelling Multiplicity in Choreography Models. Third International Workshop on Model-Driven Requirements Engineering (MoDRE).
    Academic chapter/article
  • Fatima, Urooj; Bræk, Rolv; Castejon, Humberto Nicolas. (2011) Session Initiation as a Service. SDL 2011: Integrating System and Software Modeling.
    Academic chapter/article
  • Han, Fenglin; Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv; Herrmann, Peter Michael. (2011) Towards Choreography Model Transformation via Graph Transformation. Proceedings 2011 2nd IEEE International Conference On Software Engineering and Service Science.
    Academic chapter/article
  • Kathayat, Surya Bahadur; Bræk, Rolv. (2011) Modeling Collaborative Learning Services - A Case Study. Proceedings of the 2011 International Conference on Collaboration Technologies and Systems.
    Academic chapter/article
  • Bræk, Rolv; Castejon, Humberto Nicolas; Le, Hien Nam; Rossebø, Judith Ellen Yarranton. (2010) Policy-Based Service Composition and Recommendation. Service Intelligence and Service Science: Evolutionary Technologies and Challenges.
    Academic chapter/article
  • Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv. (2010) Automatic Derivation of Components Using Choreographies - A Case Study. Proceedings of the International Conference on Software Engineering.
    Academic chapter/article
  • Floch, Jacqueline; Sanders, Richard; Bræk, Rolv. (2009) Compositional Service Engineering Using Semantic Interfaces. At Your Service. Service oriented computing from an EU perspective.
    Academic chapter/article
  • Kathayat, Surya Bahadur; Bræk, Rolv. (2009) Platform Support for Situated Collaborative Learning. International Conference on Mobile, Hybrid, and On-line Learning, 2009. ELML '09.
    Academic chapter/article
  • Kraemer, Frank Alexander; Kathayat, Surya Bahadur; Bræk, Rolv. (2009) Unified Modeling of Service Logic with User Interfaces. Proceeding of the first international workshop on Model driven service engineering and data quality and security 2009.
    Other
  • Kraemer, Frank Alexander; Samset, Haldor; Bræk, Rolv. (2009) An Automated Method for Web Service Orchestration Based on Reusable Building Blocks. Web Services, 2009. ICWS 2009. IEEE International Conference on.
    Academic chapter/article
  • Amyot, Daniel; Becca, Hanana; Bræk, Rolv; Rossebø, Judith Ellen Yarranton. (2008) Next Generation Service Engineering. Proceedings of the ITU-T NGN Kaleidoscope Conference.
    Academic chapter/article
  • Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2008) Using Composition Policies to Manage Authentication and Authorization Patterns and Services. Proceedings of the Third International Conference on Availability, Reliability and Security.
    Other
  • Samset, Haldor; Bræk, Rolv. (2008) Describing Active Services for Publication and Discovery. Software Engineering Research, Management and Applications.
    Academic chapter/article
  • Samset, Haldor; Bræk, Rolv. (2008) Dynamic Service Discovery using Active Lookup and Registration. Congress on Services - Part I, 2008. SERVICES '08. IEEE.
    Academic chapter/article
  • Castejón, Humberto Nicolás; Bochmann, Gregor; Bræk, Rolv. (2007) Realizability of Collaboration-based Service Specifications. Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007).
    Academic chapter/article
  • Castejón, Humberto Nicolás; Bræk, Rolv. (2006) A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. Proceedings of the 2006 ICSE international workshop on Scenarios and state machines: models, algorithms, and tools.
    Other
  • Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2006) Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. First International Conference on Availability, Reliability and Security (ARES'06).
    Academic chapter/article
  • Bræk, Rolv; Melby, Geir. (2005) Model Driven Service Engineering. Model-driven Software Development. Volume II of Research and Practice in Software Engineering.
    Academic chapter/article
  • Bræk, Rolv; Helvik, Bjarne Emil; Knapskog, Svein Johan; Kristiansen, Lill; Kure, Øivind. (2004) Information Society of 2020; Networks and networked systems. Infosam2020, Information Society of 2020.
    Academic chapter/article
  • Nørvåg, Kjetil; Bratbergsengen, Kjell; Bræk, Rolv; Dybdahl, Haakon; Elster, Anne Cathrine; Hallgren, Torbjørn; Hartmann, Morten; Hauglid, Jon Olav; Knapskog, Svein Johan; Natvig, Lasse. (2004) Computer Systems. Infosam2020, Information Society of 2020.
    Academic chapter/article

Report

  • Slåtten, Vidar; Herrmann, Peter Michael; Bræk, Rolv. (2014) Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification. 2014. ISBN 978-82-326-0345-9. Doktoravhandlinger ved NTNU (211).
    PhD thesis
  • Fatima, Urooj; Bræk, Rolv. (2012) Model Driven Service Engineering (MDSE). Reported at Comparing Modeling Approaches Workshop (CMA'12) co-located with MODELS 2012. 2012.
    Report
  • Bræk, Rolv; Rossebø, Judith Ellen Yarranton. (2009) Methodology for Policy-Enabled Dynamic composition of services. 2009.
    Report
  • Castejón, Humberto Nicolás; von Bochmann, Gregor; Bræk, Rolv. (2008) Using Collaborations in the Development of Distributed Services. 2008. AVANTEL Technical Report (2/2008).
    Report
  • Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2008) Using Composition Policies to Manage Authentication and Authorization Patterns and Services. 2008. ISBN 978-82-993980-5-3. AVANTEL Technical Report (3/2008).
    Report
  • Castejón, Humberto Nicolás; von Bochmann, Gregor; Bræk, Rolv. (2007) Investigating the realizability of collaboration-based service specifications. 2007. AVANTEL Technical Report (3/2007).
    Report
  • Aagesen, Finn Arve; Bræk, Rolv; Floch, Jacqueline; Helvik, Bjarne Emil; Johansen, Ulrik Albert; Meling, Hein; Wuwongse, Vilas. (1999) A Reference Model for Plug and Play. 1999. Plug-and Play Technical Report (1/99).
    Report
  • Johansen, Ulrik Albert; Aagesen, Finn Arve; Helvik, Bjarne Emil; Bræk, Rolv. (1999) Design specification of the PaP support functionality. 1999. Plug-and Play Technical Report (2/99).
    Report
  • Bræk, Rolv; Haugen, Øystein; Melby, Geir; Møller-Pedersen, Birger; Stålhane, Tor; Sanders, Richard Torbjørn. (1997) TIMe : The Integrated Method. 1997.
    Report
  • Bræk, Rolv; Møller-Pedersen, Birger. (1995) Common methodology : version 2. 1995. Rapport / SISU II.
    Report
  • Sommerville, I.; Mayobre, G.; Bræk, Rolv; Floch, J.; Mertes, K.; Breuer, M.; Leger, J.; Pendaries, J.-M.; Gandrieau, M.-A.; Tryggeseth, Eirik. (1995) Proteus framework. 1995.
    Report
  • Bræk, Rolv; Møller-Pedersen, Birger. (1995) Common methodology, SISU II. 1995.
    Report

Media

2013

  • Academic lecture
    Bræk, Rolv. (2013) On Properties of Modeling Approaches. Comparing Modeling Approaches @ Models 2013 . Models 2013; Miami. 2013-10-01 - 2013-10-01.

2012

  • Academic lecture
    Fatima, Urooj; Bræk, Rolv. (2012) On Deriving Detailed Component Design from High-Level Service Specification. 7th System Analysis and Modeling (SAM) Workshop . SDL Forum Society; Innsbruck. 2012-10-01 - 2012-10-02.

2011

  • Academic lecture
    Bræk, Rolv; Kathayat, Surya Bahadur. (2011) Analyzing Realizability of Choreographies Using Initiating and Responding Flows. MoDeVVa '11 Model-Driven Engineering, Verification, and Validation . MODELS 2011 Conference; Wellington. 2011-10-17 - 2011-10-17.
  • Academic lecture
    Fatima, Urooj; Bræk, Rolv. (2011) Model Driven Service Engineering Applied to bCMS. COMPARING MODELING APPROACHES WORKSHOP AT MODELS 2011 ; Wellington. 2011-10-18.
  • Academic lecture
    Kathayat, Surya Bahadur; Bræk, Rolv. (2011) Modeling Collaborative Learning - A Case Study. The 2011 International Conference on Collaboration Technologies and Systems ; Philadelphia, Pennsylvania. 2011-05-23 - 2011-05-27.
  • Academic lecture
    Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv. (2011) A Model-Driven Framework for Component-based Development. SDL 2011: Integrating System and Software Modeling . SDL Forum Society; Toulouse. 2011-07-05 - 2011-07-07.

2010

  • Academic lecture
    Kathayat, Surya Bahadur; Bræk, Rolv. (2010) From Flow-Global Choreography to Component Types. System Analysis and Modelling (SAM 2010) ; Oslo. 2010-10-04 - 2010-10-05.
  • Academic lecture
    Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv. (2010) Automatic Derivation of Components Using Choreographies - A Case Study. International Conference on Software Engineering (SE) 2010 ; 2010-12-05 - 2010-12-07.

2009

  • Poster
    Gladysh, Sergiy; Bræk, Rolv. (2009) “РАДУГА”: Runtime Dynamic Composition of Distributed Collaborative Services in Ubiquitous Environments. VERDIKT conference 2009 . Norges Forskningsråd - The Research Council of Norway; Oslo. 2009-11-03 - 2009-11-04.
  • Academic lecture
    Kathayat, Surya Bahadur; Bræk, Rolv. (2009) Platform Support for Situated Collaborative Learning. International Conference on Mobile, Hybrid, and On-line Learning eL&mL 2009 . IARIA; Cancun. Mexico. 2009-02-01 - 2009-02-07.
  • Academic lecture
    Kraemer, Frank Alexander; Kathayat, Surya Bahadur; Bræk, Rolv. (2009) Unified Modeling of Service Logic with User Interfaces. MOSE 2009 - INTERNATIONAL WORKSHOP ON MODEL-DRIVEN SERVICE ENGINEERING ; 2009-11-06 - 2009-11-06.
  • Academic lecture
    Kraemer, Frank Alexander; Samset, Haldor; Bræk, Rolv. (2009) An Automated Method for Web Service Orchestration based on Reusable Building Blocks. 7th IEEE International Conference on Web Services (ICWS 2009) ; Los Angeles. 2009-07-06 - 2009-07-10.

2008

  • Academic lecture
    Amyot, Daniel; Becca, Hanana; Bræk, Rolv; Rossebø, Judith Ellen Yarranton. (2008) Next Generation Service Engineering. ITU-T NGN Kalaidescope Conference: Innovations in NGN . International Telecommunication Union - Telecommunication; Geneva. 2008-05-12 - 2008-05-13.
  • Academic lecture
    Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2008) Using Composition Policies to Manage Authentication and Authorization Patterns and Services. The Third International Conference on Availability, Reliability and Security (“ARES 2008 – The International Dependability Conference”) . Technical University of Catalonia; Barcelona. 2008-03-04 - 2008-03-07.
  • Academic lecture
    Samset, Haldor; Bræk, Rolv. (2008) Behavioral Contracts and Service Substitutability: A Contribution to Dependable SOA. DSN 2008 Workshop on Architecting Dependable Systems ; Anchorage. 2008-06-27 - 2008-06-27.
  • Academic lecture
    Samset, Haldor; Bræk, Rolv. (2008) Describing Active Services for Publication and Discovery. 6th International Conference on Software Engineering Research, Management and Applications . ACIS; Praha. 2008-08-20 - 2008-08-22.
  • Academic lecture
    Samset, Haldor; Bræk, Rolv. (2008) Dynamic Service Discovery using Active Lookup and Registration. SERVICES'08 IEEE . IEEE; Honolulu. 2008-07-06 - 2008-07-11.

2007

  • Academic lecture
    Castejón, Humberto Nicolás; Bochmann, Gregor; Bræk, Rolv. (2007) Realizability of Collaboration-based Service Specifications. 14th Asia-Pacific Software Engineering Conference ; Nagoya. 2007-12-04 - 2007-12-07.
  • Academic lecture
    Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. 13th SDL Forum . SDL Forum Society; Paris. 2007-09-18 - 2007-09-21.
  • Academic lecture
    Samset, Haldor; Bræk, Rolv. (2007) Dealing with Active and Stateful Services in the Service-Oriented Architecture. First International Workshop on Telecom Service Oriented Architectures (TSOA-07) ; Wien. 2007-09-17 - 2007-09-17.

2006

  • Academic lecture
    Castejón, Humberto Nicolás; Bræk, Rolv. (2006) A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. ICSE'06 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06) . ACM; Shanghai. 2006-05-27 - 2006-05-28.
  • Academic lecture
    Castejón, Humberto Nicolás; Bræk, Rolv. (2006) Formalizing Collaboration Goal Sequences for Service Choreography. 26th IFIP WG 6.1 Intl. Conf. on Formal Methods for Networked and Distributed Systems (FORTE'06) . IFIP WG 6.1; Paris. 2006-09-26 - 2006-09-29.
  • Academic lecture
    Kraemer, Frank Alexander; Herrmann, Peter Michael; Bræk, Rolv. (2006) Aligning UML 2.0 State Machines and Temporal logic for the Efficient Execution of Services. OTM Confederated Conferences, Distributed Objects and Applications (DOA) ; Montpellier. 2006-10-30 - 2006-11-01.
  • Academic lecture
    Rossebø, Judith Ellen Yarranton; Bræk, Rolv. (2006) Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. First International Conference on Availability, Reliability and Security (ARES'06) . IEEE Computer Society; Wien. 2006-04-20 - 2006-04-22.

2005

  • Academic lecture
    Bræk, Rolv. (2005) Current work at NTNU: Rapid service engineering with plug and play. FET INFORMATION EVENT, Situated and Autonomic Communication Brussels, . EU; Brussels. 2005-01-13 - 2005-01-13.
  • Academic lecture
    Bræk, Rolv; Floch, Jacqueline. (2005) A Compositional Approach to Service Validation. SDL Forum 2005 . SDL Forum Society; Grimstad. 2005-06-20 - 2005-06-23.
  • Academic lecture
    Castejón, Humberto Nicolás; Bræk, Rolv. (2005) Dynamic Role Binding in a Service Oriented Architecture. The 2005 IFIP International Conference on Intelligence in Communication Systems, INTELLCOMM 2005 . IFIP; Montreal. 2005-10-17 - 2005-10-19.
  • Academic lecture
    Sanders, Richard; Castejón, Humberto Nicolás; Kraemer, Frank Alexander; Bræk, Rolv. (2005) Using UML 2.0 Collaborations for Compositional Service Specification. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems . ACM/IEEE; Montego Bay. 2005-10-02 - 2005-10-07.
  • Academic lecture
    Sanders, Richard Torbjørn; Bræk, Rolv; V. Bochman, Gregor; Amyot, Daniel. (2005) Service Discovery and Component Reuse with Semantic Interfaces. SDL Forum 2005 . SDL Forum Society; Grimstad. 2005-06-20 - 2005-06-23.

2004

  • Academic lecture
    Bræk, Rolv. (2004) A framework for compositional service engineering. Gjesteforelesning . School of Infortmation Technology and Engineering; University of Ottawa. 2004-12-09 - 2004-12-09.
  • Academic lecture
    Bræk, Rolv. (2004) Delivery of convergent telecom services on J2EE platforms. ICIN 2004 . Adera; Bordaux. 2004-10-18 - 2004-10-20.
  • Academic lecture
    Bræk, Rolv. (2004) ICT Convergence: Modeling Issues. Fouth SDL and MSC workshop . SDL forum Society; Ottawa. 2004-06-02 - 2004-06-04.
  • Academic lecture
    Bræk, Rolv. (2004) MDA in perspective. First European Workshop on Model Driven Architecture . Eurescom; Twente. 2004-03-18 - 2004-03-19.
  • Academic lecture
    Bræk, Rolv. (2004) Towards Model Driven Service Engineering Using Role and Actor Modeling. Gjesteforelesning . University of Ottawa - SITE; Ottawa. 2004-08-19.
  • Academic lecture
    Bræk, Rolv; Sanders, Richard. (2004) Discovering Service Opportunities by Evaluating Service Goals. 10th Open European Summer School and IFIP Workshop on the . EUNICE, IFIP; Tampere. 2004-06-14 - 2004-06-16.
  • Academic lecture
    Bræk, Rolv; Sanders, Richard. (2004) Modeling Peer-to-peer Service Goals in UML. SEFM 2004 . IEEE; Beijing. 2004-09-26 - 2004-09-30.

2003

  • Academic lecture
    Bræk, Rolv. (2003) Foremal Method Research at NTNU, Department of Telematics. Eighth International Workshop onFormal Methods for Industrial Critical Systems (FMICS'03) . [Mangler data]; Røros, Norway. 2003-05-07.
  • Academic lecture
    Bræk, Rolv; Hasnes, Geir. (2003) A method for Reengineering Courseware Facilitating Sharing and Reuse. 5th International Conference on New Educational Environments . [Mangler data]; Lucerne, Switzerland. 2003-05-28.
  • Academic lecture
    Floch, Jacqueline; Bræk, Rolv. (2003) Using Projections for the Detection of Anomalous Behaviors. 11th International SDL Forum . [Mangler data]; Stuttgart, Germany. 2003-07-04.
  • Academic lecture
    Floch, Jacqueline; Bræk, Rolv. (2003) Using SDL for Modeling Behaviour Composition. 11th International SDL Forum . [Mangler data]; Stuttgart, Germany. 2003-07-04.
  • Academic lecture
    Floch, Jacqueline; Sanders, Richard; Bræk, Rolv. (2003) Challenges and Results of Establishing the Teleservice Laboratory at NTNU. NIK'2003 (Norsk informatikkonferanse 2003) . [Mangler data]; Oslo, Norway. 2003-11-26.

2002

  • Academic lecture
    Floch, Jacqueline; Bræk, Rolv. (2002) A Validation Method Adapted to Dynamic Service Composition. Norsk Informatikkonferanse NIK'2002 . [Mangler data]; Konsberg. 2002-11-27.
  • Academic lecture
    Floch, Jacqueline; Bræk, Rolv. (2002) Towards PaP Services: Design and Validation Issues. EUNICE'2002 . [Mangler data]; Trondheim, Norway. 2002-09-04.

2001

  • Academic lecture
    Floch, Jacqueline; Bræk, Rolv; Sanders, Richard. (2001) Using UML for Implemenattion Design of SDL systems. 10th international SDL Forum . [Mangler data]; Copenhagen. 2001-06-29.

2000

  • Academic lecture
    Floch, Jacqueline; Bræk, Rolv. (2000) Towards dynamic composition of hybrid communication services. IFIP TC6/WG6.7 Sixth International Conference on Intelligence in Networks (SmartNet 2000) . [Mangler data]; Vienna, Austria, September 18-22.

1999

  • Academic lecture
    Bræk, Rolv. (1999) Using roles with types and objects for service development. IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Neteorks (Smartnet 99) . [Mangler data]; Pathumthani, Thailand November 22-26, 1999.
  • Academic lecture
    Bræk, Rolv. (1999) Using roles with types and objects for service development. IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks (SMARTNET '99) . [Mangler data]; Pathumthani, Thailand 22.-26. november 1999.
  • Academic lecture
    Aagesen, Finn Arve; Helvik, Bjarne Emil; Wuwongse, Vilas; Meling, Hein; Bræk, Rolv; Johansen, Ulrik Albert. (1999) Towards a plug and play architecture for telecommunications. IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks (SMARTNET '99) . [Mangler data]; Pathumthani, Thailand, 22.-26. november 1999. 1999-11-22 - 1999-11-26.

1998

  • Academic lecture
    Bræk, Rolv; Møller-Pedersen, Birger. (1998) Frameworks by means of virtual types - exemplified by SDL. FORTE . [Mangler data]; Paris.
  • Popular scientific lecture
    Bræk, Rolv; Møller-Pedersen, Birger. (1998) Making Frameworks using SDL (Invited talk, not in proceedings). 1st Workshop of the SDL Forum Society on SDL and MSC (SAM) . [Mangler data]; Berlin.
  • Academic lecture
    Shakeri, Ahmad; Bræk, Rolv. (1998) Principle design in mechatronic systems development process : with an introduction to UML. 2nd Tampere International Conference on Machine Automation . [Mangler data]; Tampere.
  • Academic lecture
    Møller-Pedersen, Birger; Bræk, Rolv. (1998) Frameworks by means of virtual types – exemplified by SDL. IFIP TC6/WG6.1 Joint International Conference on FORMAL DESCRIPTION TECHNIQUES (FORTE XI), FORTE’98 ; Paris. 1998-11-03 - 1998-11-06.

1997

  • Popular scientific lecture
    Bræk, Rolv. (1997) TIMe : The Integrated Method. Telelogic User Conference . [Mangler data]; San Francisco.
  • Academic lecture
    Bræk, Rolv; Shakeri, Ahmad. (1997) Specifications and descriptions in mechatronic product development : with an introduction to SDL. 3rd International Mechatronic Design and Modeling Workshop . [Mangler data]; Ankara.
  • Academic lecture
    Shakeri, Ahmad; Bræk, Rolv. (1997) Development of mechatronic systems. 5th Iranian Conference on Electrical Engineering . [Mangler data]; Teheran.
  • Academic lecture
    Shakeri, Ahmad; Bræk, Rolv. (1997) Modelling the behaviour of mechatronic systems. International Conference on Engineering Design . [Mangler data]; Tampere.

1996

  • Academic lecture
    Møller-Pedersen, Birger; Haugen, Øystein; Bræk, Rolv. (1996) A simple and practical solution to the inheritance of behaviour of statechart-like specified classes. NIK 1996 ; Alta. 1996-11-18 - 1996-11-20.
  • Academic lecture
    Bræk, Rolv; Haugen, Øystein; Møller-Pedersen, Birger. (1996) A simple and practical approach to the inheritance of behaviour of statechart-like specified classes. Norsk Informatikk Konferanse (NIK) ; 1996-11-01.
NTNU
Studies
  • Master's programmes in English
  • For exchange students
  • PhD opportunities
  • Courses
  • Career development
  • Continuing education
  • Application process
Contact
  • Contact NTNU
  • Employees
  • For alumni
  • Press contacts
  • Researcher support
Discover NTNU
  • Experts
  • Vacancies
  • Pictures from NTNU
  • Innovation resources
  • NTNU in Gjøvik
  • NTNU in Trondheim
  • NTNU in Ålesund
  • Maps
About NTNU
  • NTNU's strategy
  • Research excellence
  • Strategic research areas
  • Organizational chart
  • Libraries
  • About the university
Services
  • For employees
  • For students
  • Blackboard
  • Intranet

Norwegian University of Science and Technology

Use of cookies
Accessibility statement (in Norwegian)
Privacy policy
Editoral responsibility
Sign In