Publications

2007

Realizability of Collaboration-based Service Specifications ( abstract )

Humberto Nicolás Castejón and Gregor von Bochmann and Rolv Bræk
Accepted at: 14th Asia Pacific Software Engineering Conference (APSEC'07), Nagoya, Japan, December 5-7

---

Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications ( abstract | bibtex | Springerlink (http://www.springerlink.com/content/71m18gmvu9046n3r) )

Frank Alexander Kraemer, Rolv Bræk, and Peter Herrman
13th SDL Forum, Paris, 2007, Volume 4745 of Lecture Notes of Computer Science, Springer

---

Design of Trusted Systems with Reusable Collaboration Models ( abstract | bibtex | Springer (http://www.springer.com/west/home/computer/security+and+cryptology?SGWID=4-40160-22-173749008-detailsPage=ppmmedia%7Ctoc) )

Peter Herrmann and Frank Alexander Kraemer
5th International Conference on Trust Management (iTrust 2007), Moncton, Canada. Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, Springer.

---

Transforming Collaborative Service Specifications into Efficiently Executable State Machines ( abstract | bibtex | pdf (http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/11) )

Frank Alexander Kraemer and Peter Herrmann
In: Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), Braga, Portugal

2006

Service Specification by Composition of Collaborations --- An Example ( abstract | bibtex )

Frank Alexander Kraemer and Peter Herrmann
Proceedings of the 2006 WI-IAT Workshops (2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology), Hong Kong, 2006

---

Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services ( abstract | SpringerLink (http://dx.doi.org/10.1007/11914952_41) | bibtex )

Frank Alexander Kraemer and Peter Herrmann and Rolv Bræk
In: Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA), Oct 29th–Nov 3rd, 2006, Montpellier, France. Volume 4276 of Lecture Notes in Computer Science, Springer–Verlag (2006). © Springer-Verlag, Heidelberg 2006

---

Formalizing Collaboration Goal Sequences for Service Choreography ( abstract | pdf | bibtex )

Humberto Nicolás Castejón and Rolv Bræk
In: Proc. of the 26th IFIP WG 6.1 Intl. Conf. on Formal Methods for Networked and Distributed Systems (FORTE'06), September 26-29, 2006, Paris, France. ©IFIP. Springer-Verlag LNCS 4229

---

Application of Stuck-free Conformance to Service-role Composition ( abstract | bibtex )

Fritjof Engelhardtsen and Andreas Prinz
In: Proceedings of the 5th Workshop on System Analysis and Modelling (SAM'06), May 31-June 2, 2006, Kaiserslautern, Germany.

---

A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios ( abstract | pdf | bibtex )

Humberto Nicolás Castejón and Rolv Bræk
In: Proceedings of the ICSE'06 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), May 27-28, 2006, Shanghai, China. ©ACM Press

---

Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. ( abstract | bibtex )

Judith E. Rossebø and Rolv Bræk
In: The First International Conference on Availabilty, Reliability and Security ARES 2006, 20-22 April, 2006, Vienna, Austria. ©IEEE Computer Society Press

---

2005

Using UML 2.0 Collaborations for Compositional Service Specification ( abstract | pdf | bibtex )

Richard Torbjørn Sanders, Humberto Nicolás Castejón, Frank Alexander Kraemer and Rolv Bræk
In: ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Montego Bay, Jamaica, October 2005, ©Springer-Verlag LNCS 3713, pp. 460-475

---

Dynamic Role Binding in a Service Oriented Architecture ( abstract | pdf | bibtex )

Humberto Nicolás Castejón and Rolv Bræk
In: IFIP International Conference on Intelligence in Communication Systems (INTELLCOMM 2005), Montreal, Canada, October 2005, ©IFIP, Springer-Verlag, ISBN 0-387-29121-0

---

Synthesizing State-machine Behaviour from UML Collaborations and Use Case Maps ( abstract | pdf | bibtex )

Humberto Nicolás Castejón
In: 12th SDL Forum, Grimstad, Norway, June 2005, ©Springer-Verlag LNCS 3530, pp. 339-359, ISBN 3-540-26612-7

---

Service Discovery and Component Reuse with Semantic Interfaces ( abstract | pdf | bibtex )

Richard Sanders, Rolv Bræk, Gregor von Bochmann and Daniel Amyot
In: 12th SDL Forum, Grimstad, Norway, June 2005, ©Springer-Verlag LNCS 3530, pp. 85-102, ISBN 3-540-26612-7

---

A Compositional Approach to Service Validation ( abstract | bibtex )

Jacqueline Floch and Rolv Bræk
In: 12th SDL Forum, Grimstad, Norway, June 2005, ©Springer-Verlag LNCS 3530, pp. 281-297, ISBN 3-540-26612-7

---

Model Driven Service Engineering ( abstract | bibtex )

Rolv Bræk and Geir Melby
In: Model-driven Software Development. Volume II of Research and Practice in Software Engineering, ©Springer-Verlag, ISBN 3-540-25613-X

---

2004

Delivery of convergent telecom services on J2EE platforms ( abstract | )

Geir Melby and Rolv Bræk
In: International Conference on Intelligence in Service Delivery Networks, ICIN, Bordaux 18-20 October, 2004

---

Modeling Peer-to-peer Service Goals in UML ( abstract | pdf | bibtex )

Richard Torbjørn Sanders and Rolv Bræk
In: Proceedings of the 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, 26-30 September, 2004, ©IEEE Computer Society Press

---

Discovering Service Opportunities by Evaluating Service Goals ( abstract | pdf | bibtex )

Richard Torbjørn Sanders and Rolv Bræk
In: Proceedings of the 10th EUNICE and IFIP Workshop on Advances in Fixed and Mobile Networks, Tampere, Finland, 14-16 June 2004, ISBN 952-15-1187-7

---

ICT Convergence: Modeling Issues ( abstract | pdf | bibtex )

Rolv Bræk and Jacqueline Floch
In: Proceedings of System Analysis and Modeling, 4th International SDL and MSC Workshop (SAM 2004), Ottawa, Canada, June 1-4, 2004, ©Springer-Verlag LNCS 3319, pp. 237-256, ISBN 3-540-24561-8

---

2003

Dynamic Behaviour Arbitration using Role Negotiation ( abstract | pdf | bibtex )

Richard Torbjørn Sanders, Jacqueline Floch and Rolv Bræk
In: Proceedings of the 9th EUNICE and IFIP Workshop on Next Generation Networks, Balatonfüred, Hungary, 8-10 Sept. 2003, ISBN 963-421-576-9

---

Using Projections for the Detection of Anomalous Behaviors ( abstract | pdf | bibtex )

Jacqueline Floch and Rolv Bræk
In: 11th SDL Forum, Stuttgart, Germany, July 1-4, 2003, ©Springer-Verlag LNCS 2708, pp. 251-268

---

Using SDL for Modeling Behavior Composition ( abstract | pdf | bibtex )

Jacqueline Floch and Rolv Bræk
In: 11th SDL Forum, Stuttgart, Germany, July 1-4, 2003, ©Springer-Verlag LNCS 2708, pp. 36-54

---

2002

Service-Centred Approach to Telecom Service Development ( abstract | pdf | bibtex )

Richard Torbjørn Sanders
In: 8th EUNICE and IFIP Workshop on Adaptable Networks and Teleservices, Trondheim, Norway, September 2-4 2002, ISBN 82-993980-5-3

---

A Validation Method Adapted to Dynamic Service Composition ( abstract | pdf (http://www.item.ntnu.no/~jacf/paper/nik2002.pdf) | bibtex )

Jacqueline Floch and Rolv Bræk
In: Norsk Informatikkonferanse (NIK'02), Konsberg, Norway, November 2002<;/i>

---

Towards PaP Services: Design and Validation Issues ( abstract | pdf (http://www.item.ntnu.no/~jacf/paper/eunice-2002.pdf) | bibtex )

Jacqueline Floch and Rolv Bræk
In: <i>8th EUNICE and IFIP Workshop on Adaptable Networks and Teleservices, Trondheim, Norway, September 2-4 2002, ISBN 82-993980-5-3

---

2000

Towards dynamic composition of hybrid communication services ( abstract | pdf (http://www.item.ntnu.no/~jacf/paper/smarnett2000.pdf) | bibtex )

Jacqueline Floch and Rolv Bræk
In: IFIP TC6/WG6.7 6th International Conference on Intelligence in Networks (SMARTNET 2000), Vienna, Austria, September 2000, ©Kluwer IFIP Conference Proceedings 178, ISBN 0-7923-7932-2

---

1999

Using Roles with Types and Objects for Service Development ( abstract | pdf | bibtex )

Rolv Bræk
In: IFIP TC6/WG6.7 5th International Conference on Intelligence in Networks (SMARTNET'99), Pathumthani, Thailand, November 22-26, 1999, ©Kluwer IFIP Conference Proceedings 160, ISBN 0-7923-8691-4

---

Copyright Notices

ACM (http://www.acm.org/pubs/copyright_policy/)

Copyright by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.

IEEE (http://computer.org/policies.htm)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Springer-Verlag (http://www.springer.de/comp/lncs/)

The following copyright notice applies to all papers published in the Lecture Notes in Computer Science by Springer-Verlag, as mentionned in the Copyright Form (http://www.springer.de/comp/lncs/copyright.html). The Author may publish his/her contribution on his/her personal Web page provided that he/she creates a link to the above mentioned volume of LNCS at the Springer-Verlag server or to the LNCS series homepage (http://www.springer.de/comp/lncs/index.html), and that together with this electronic version it is clearly pointed out, by prominently adding "Copyright Springer-Verlag", that the copyright for this contribution is held by Springer.