Publications for Rolv Bræk

Books and editorial work

R. Bræk guest editor Telektronikk No 4, 2000 Special issue on languages for communication systems.

R. Bræk, A. Sarma, editors SDL’95: with MSC in CASE. Proceedings of the seventh SDL Forum, 26-29 September 1995, Oslo Norway. Elsevier Science 1995. ISBN 0 444 822690

R. Bræk, Ø. Haugen Engineering Real Time Systems An Object Oriented Methodology using SDL Hemel Hempstead: Prentice Hall, 1993.

R. Bræk, P.J. Emstad Telesystemering. Språk og metoder for systemarbeid innen telematikk (Telematics systems engineering. Languages and methods) Tapir Publishing, 1984. ISBN 82-519-0636-9.

R. Bræk, J. Hygen, S. Høysæter, T. Johansen, P. Scott Håndbok i systemarbeid (Handbook in Software Engineering) Tapir Publishing, 1982.

Peer reviewed journal papers and book chapters

Kathayat, Surya Bahdur; Nam Le,Hien and Bræk, Rolv. Collaboration-based Model-Driven Approach for Business Service Composition. Accepted for publication in Handbook of Research on E-Business Standards and Protocols: Documents, Data & Advanced Web Technologies (to appear). IGI Global, 2012.

Castejo ́n, Humberto Nicolas, Bochmann, Gregor von and Bræk, Rolv: On the Realizability of Collaborative Services. Accepted for publication in the Journal of Software and Systems Modeling, Springer, 2012.

Zoric, Josip and Bræk, Rolv. Scenario based techno-business analysis of service platforms and their service portfolios. (Journal Of) Telecommunication Systems, vol 46 (2), 2011 Springer, ISSN 1018-4864 (Print) 1572-9451 (Online), online publication 5. March 2010, print publication January 2011.

Bræk, Rolv; Castejon, Humberto Nicolas; Le, Hien Nam; Rossebø, Judith Ellen Yarranton. Policy-Based Service Composition and Recommendation. I: Service Intelligence and Service Science: Evolutionary Technologies and Challenges. IGI Global 2010 ISBN 9781615208197.

Floch, Jacqueline; Sanders, Richard; Bræk, Rolv. Compositional Service Engineering Using Semantic Interfaces. In: At Your Service. Service oriented computing from an EU perspective. MIT Press 2009 ISBN 978-0-262-04253-6. s. 101-128

Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter. Compositional Service Engineering with Arctis. Telektronikk 2009 ;Volum 105.(1.2009) s. 135-151

Rolv Bræk, Geir Melby; Model Driven Service Engineering. Invited chapter in Model-driven Software Development. Volume II of Research and Practice in Software Engineering. Beydeda, Sami; Book, Matthias; Gruhn, Volker (Eds) Springer 2005, XII, 464 p. 195 illus., Hardcover ISBN: 3-540-25613-X

R. Bræk On Methodology using the ITU-T languages and UML Telektronikk No 4, 2000

A. Meisingset, R.Bræk The ITU-T languages in a nutshell Telektronikk No 4, 2000 Special issue on languages for communication systems.

R. Bræk et al; Quality by construction exemplified by TIMe – The Integrated Method Telektronikk Vol 95 No 1 1999, ISSN 0085-7130

R. Bræk SDL Basics Computer Networks and ISDN Vol 28, No 12 June 1996

Peer reviewed conference proceedings

Kathayat, Surya Bahadur; Nam Le, Hien and Bræk, Rolv. A model-driven frame- work for component-based development. In Proc. of the 15th International Conference on System Design Languages, organized by the SDL Forum Society, Toulouse 2011. Springer, LNCS 2011.

Fatima, Urooj; Bræk, Rolv and Castejon, Humberto Nicloas. Session Initiation as a Service. In Proc. of the 15th International Conference on System Design Languages, organized by the SDL Forum Society, Toulouse 2011. Springer, LNCS 2011.

Kathayat, Surya Bahadur; Bræk, Rolv. From Flow-Global Choreography to Component Types. System Analysis and Modelling (SAM 2010); 2010-10-04 - 2010-10-05

Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv. Automatic Derivation of Components Using Choreographies - A Case Study. I: Proceedings of the International Conference on Software Engineering. : GSTF Digital Library 2010 ISBN 9789810874667.

Kraemer, Frank Alexander; Samset, Haldor; Bræk, Rolv. An Automated Method for Web Service Orchestration based on Reusable Building Blocks. 7th IEEE International Conference on Web Services (ICWS 2009); 2009-07-06 - 2009-07-10

Kraemer, Frank Alexander; Kathayat, Surya Bahadur; Bræk, Rolv. Unified Modeling of Service Logic with User Interfaces. I: Proceeding of the first international workshop on Model driven service engineering and data quality and security 2009. Association for Computing Machinery (ACM) 2009 ISBN 978-1-60558-816-2. s. 37-44 NTNU

Kathayat, Surya Bahadur; Bræk, Rolv. Platform Support for Situated Collaborative Learning. I: International Conference on Mobile, Hybrid, and On-line Learning, 2009. ELML '09.. IEEE Computer Society 2009 ISBN 978-1-4244-3361-2. s. 53-60

Amyot, Daniel; Becca, Hanana; Bræk, Rolv; Rossebø, Judith Ellen Yarranton. Next Generation Service Engineering. I: Proceedings of the ITU-T NGN Kaleidoscope Conference. Geneve: IU-T 2008 ISBN 978-92-61-12441-0.

Rossebø, Judith Ellen Yarranton; Bræk, Rolv. Using Composition Policies to Manage Authentication and Authorization Patterns and Services. I: Proceedings of the Third International Conference on Availability, Reliability and Security. IEEE Computer Society 2008 ISBN 978-0-7695-3102-1. s. 597-603

Samset, Haldor; Bræk, Rolv. Behavioral Contracts and Service Substitutability: A Contribution to Dependable SOA. DSN 2008 Workshop on Architecting Dependable Systems; 2008-06-27 - 2008-06-27

Samset, Haldor; Bræk, Rolv. Describing Active Services for Publication and Discovery. 6th International Conference on Software Engineering Research, Management and Applications; 2008-08-20 - 2008-08-22

Samset, Haldor; Bræk, Rolv. Dynamic Service Discovery using Active Lookup and Registration. SERVICES'08 IEEE; 2008-07-06 - 2008-07-11

Castejón, Humberto Nicolás; Bochmann, Gregor; Bræk, Rolv. Realizability of Collaboration-based Service Specifications. I: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007). IEEE Computer Society 2007 ISBN 0-7695-3057-5.

Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. 13th SDL Forum; 2007-09-18 - 2007-09-21

Samset, Haldor; Bræk, Rolv. Dealing with Active and Stateful Services in the Service-Oriented Architecture. First International Workshop on Telecom Service Oriented Architectures (TSOA-07); 2007-09-17 - 2007-09-17

Judith E. Rossebø, Rolv Bræk; Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. The First International Conference on Availabilty, Reliability and Security ARES 2006, 20-22 April, 2006, Vienna, Austria,

Humberto Nicolás Castejón and Rolv Bræk; A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. ICSE's 5th Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), May 27-28, 2006, Shanghai, China. 2006. IEEE Computer Society Proceedings.

Kraemer, F.A., Herrmann, P., Bræk, R.: Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. In Meersmann, R., Tari, Z., eds.: Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA), 2006, Montpellier, France. Volume 4276 of Lecture Notes in Computer Science., Springer–Verlag Heidelberg (2006) 1613–1632

Castejón, H.N., Bræk, R.: Formalizing Collaboration Goal Sequences for Service Choreography. In Najm, E., Pradat-Peyre, J.F., eds.: 26th IFIP WG 6.1 Intl. Conf. on Formal Methods for Networked and Distributed Systems (FORTE’06). Volume 4229 of Lecture Notes in Computer Science., Springer (2006)

Richard T. Sanders, Rolv Bræk, Gregor v. Bochmann, and Daniel Amyot; Service Discovery and Component Reuse with Semantic Interfaces. Springer LNCS. SDL 2005: Model Driven Systems Design: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings. Editors: Andreas Prinz, Rick Reed, Jeanne Reed, Springer LNCS, ISBN: 3-540-26612-7

Jacqueline Floch, Rolv Bræk; A Compositional Approach to Service Validation. Springer LNCS. SDL 2005: Model Driven Systems Design: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings. Editors: Andreas Prinz, Rick Reed, Jeanne Reed, Springer LNCS, ISBN: 3-540-26612-7

Richard Torbjørn Sanders, Humberto Nicolás Castejón, Frank Alexander Kraemer and Rolv Bræk; Using UML 2.0 Collaborations for Compositional Service Specification. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, MODELS 05. Jamaica October 2005. Springer LNCS.

Humberto Nicolás Castejón, Rolv Bræk; Dynamic Role Binding in a Service Oriented Architecture. The 2005 IFIP International Conference on Intelligence in Communication Systems, Intellicom 2005, Montreal, Canada 17-19. October 2005. Springer IFIP.

Rolv Bræk, Jacqueline Floch ICT Convergence: Modeling Issues, SAM 2004: SDL and MSC, Fourth International Workshop, Ottawa, Canada, June 2-4 2004, Revised Selected Papers”, Ed. Daniel Amyot and Alan W. Williams. LNCS Volume 3319 / 2005. ISBN: 3-540-24561-8

Richard Sanders, Rolv Bræk; Modeling Peer-to-peer Service Goals in UML, 2nd IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS, Beijing - China 26 - 30 September, 2004 SEFM, Beijing 2004. IEEE Computer Society Press.

Geir Melby, Rolv Bræk Delivery of convergent telecom services on J2EE platforms International Conference on Intelligence in Service Delivery Networks, ICIN, Bordaux 18-20 October, 2004

Richard Sanders, Rolv Bræk; Discovering Service Opportunities by Evaluating Service Goals 10th Open European Summer School and IFIP Workshop on the EUNICE’2004-Advances in Fixed and Mobile Networks, Tampere Finland 2004

Richard Torbjørn Sanders, Jacqueline Floch, Rolv Bræk. Dynamic behaviour arbitration using role negotiation. In Proceedings of the 9th EUNICE and IFIP Workshop on Next Generation Networks, pages 76–81, 8-19 Sept 2003. Balatonf¨ured, Hungary.

Jacqueline Floch, Rolv Bræk; Using Projections for the Detection of Anomalous Behaviors 11th International SDL Forum, Stuttgart 2003, Springer LNCS.

Jacqueline Floch, Rolv Bræk¸ Using SDL for Modeling Behaviour Composition 11th International SDL Forum, Stuttgart 2003, Springer LNCS.

Rolv Bræk, Geir Hasnes; A method for Reengineering Courseware Facilitating Sharing and Reuse. 5th International Conference on New Educational Environments, Lucerne, Switzerland 2003.

Rolv Bræk; Formal Method Research at NTNU, Department of Telematics. Eighth International Workshop onFormal Methods for Industrial Critical Systems (FMICS'03) Røros, Norway 2003. Elsevier Science Electronic Notes in Theoretical Computer Science 80 (2003)

Jacqueline Floch, Richard Sanders, Rolv Bræk; Challenges and Results of Establishing the Teleservice Laboratory at NTNU. NIK'2003 (Norsk informatikkonferanse 2003) Oslo, Norway 2003.

Jacqueline Floch, Rolv Bræk; Towards PaP Services: Design and Validation Issues. EUNICE'2002. IFIP WG6.7 Workshop and EUNICE Summer School on Adaptable Networks and Teleservices.

Jacqueline Floch, Rolv Bræk; A Validation Method Adapted to Dynamic Service Composition. Norsk Informatikkonferanse NIK'2002, Kongsberg 2002

Jacqueline Floch, Richard Sanders, Ulrik Johansen and Rolv Bræk. Using UML for Implemenattion Design of SDL systems. Proceedings of the 10th SDL Forum, Copenhagen 2001.

J. Floch, R. Bræk Towards Dynamic Composition of Hybrid Communication Services IFIP International Conference on Intelligence in Networks, Smartnet 01, Vienna, October 2000. Kluver Academic Publishers.

2000-5 Jacqueline Floch, Rolv Bræk; Using UML for Implemenation Design of SDL systems. SDL Forum, Copenhagen 2000. Springer LNCS 2078

R. Bræk Using roles with types and objects for service development IFIP International Conference on Intelligence in Networks, Smartnet 99, Bangkok, November 1999. Kluver Academic Publishers.

Finn Arve Aagesen, Bjarne Helvik, Vilas Wuvongse, Hein Meling, Rolv Bræk and Ulrik Johansen: Towards a Plug and Play Architecture for Telecommunications, Proceedings of the the Fifht IFIP Conference on Intelligence in Networks, Bangkok 22-26 November 1999. Kluwer Academic Publisers.

R. Bræk, B. Møller-Pedersen Frameworks by means of virtual types – exemplified by SDL Proceedings of FORTE, Paris 3-6 November 1998: Formal Description Techniques and Protocol Specification, Testing and Verification Stan Budkowski, Ana Cavalli, Elie Najm editors Kluwer Academic Publishers, ISBN 0-412-84760-4, October 1998

A. Shakeri, R. Bræk Modelling the Behaviour of Mechatronic Systems International Conference on Engineering Design (IECD) Tampere, Finaland, August 1997

R. Bræk, A. Shakeri Specification and Description in Mechatronic Product development. 3rd International Mechatronics Design and Modeling Workshop Ankara, Turkey, September 1997.

R. Bræk, Ø. Haugen, B. Møller-Pedersen, A simple and practical solution to inheritance of behaviour Norwegian Informatics Conference Tromsø; Norway 1997

T. Frotveit, R. Bræk, S. Andresen Modelling Advanced Transport Telematics Architecture using Formal definition Techniques. VNIS ‘95. 30 July- 2 August 1995, Seattle, USA

Ø. Haugen, R. Bræk, G. Melby The SISU project In O. Færgeman, A Sarma (ed); SDL ‘93 Using Objects Proceedings of Sixth SDL Forum. Darmstadt, October 1993. Elsevier, 1993.

Ø. Haugen, R.Bræk, G.Melby The SISU project 2nd RACE Telecommunications Software Engineering Symposium. Issy-les-Molineaux (Paris) 18-19 November 1992.

R. Bræk, G. Hasnes New Pathways for SDL In R. Saracco, P. A. J. Tilanus (ed); SDL ‘87 State of the Art and Future Trends Proceedings of the Third SDL Forum, The Haag, April 1987 Elsevier, 1987. also in ELAB report STF44 A87042, April 1987.

R. Bræk, O. Helle, F. Sandvik SOM - A SDL compatible specification and design methodology. Experiences from 5 years of extensive use 4th International Conference on Software Engineering for Telecommunication Switching Systems, Coventry, the UK, 20-24 July, 1981. In Proceedings, IEE, July 1981. also in ELAB report STF44 A81208. November 1981.

R. Bræk Functional Specification and Description Language as a practical tool for improved system quality 3rd World Telecommunication Forum, Geneva, 24-26 September 1979. In Proceedings, ITU, Geneva, September 1979. also in ELAB report STF44 A79166, September 1979.

R. Bræk Unified system modeling and implementation International Switching Symposium (ISS), Paris, 7-11 May 1979. In Proceedings, ISS Committee, Paris, May 1979. also in ELAB report STF44 A79167, September 1979.