Rolv Bræk

Proceedings of the System Analysis and Modeling: Theory and Practice, 2012

2011

Scenario based techno-business analysis of service platforms and their service portfolios.

[BibT_eX]

[DOI]

Josip Zoric

Telecommun. Syst., 2011

Unified Modeling of Service Logic with User Interfaces.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2011

A Model-Driven Framework for Component-Based Development.

[BibT_eX]

[DOI]

Hien Nam Le

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Session Initiation as a Service.

[BibT_eX]

[DOI]

Urooj Fatima

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Comparing Six Modeling Approaches.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2011

Analyzing realizability of choreographies using initiating and responding flows.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

Modeling collaborative learning services - A case study.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011

2010

From Flow-Global Choreography to Component Types.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

2009

An Automated Method for Web Service Orchestration Based on Reusable Building Blocks.

[BibT_eX]

[DOI]

Haldor Samset

Proceedings of the IEEE International Conference on Web Services, 2009

2008

Dynamic Service Discovery Using Active Lookup and Registration.

[BibT_eX]

[DOI]

Haldor Samset

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

Using Composition Policies to Manage Authentication and Authorization Patterns and Services.

[BibT_eX]

[DOI]

Judith E. Y. Rossebø

Proceedings of the The Third International Conference on Availability, 2008

2007

Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.

[BibT_eX]

[DOI]

Peter Herrmann

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

Dealing with Active and Stateful Services in the Service-Oriented Architecture.

[BibT_eX]

[DOI]

Haldor Samset

Proceedings of the Service-Oriented Computing, 2007

Realizability of Collaboration-based Service Specifications.

[BibT_eX]

[DOI]

Gregor von Bochmann

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

A Policy-driven Approach to Dynamic Composition of Authentication and Authorization Patterns and Services.

[BibT_eX]

[DOI]

Judith E. Y. Rossebø

J. Comput., 2006

A collaboration-based approach to service specification and detection of implied scenarios.

[BibT_eX]

[DOI]

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.

[BibT_eX]

[DOI]

Peter Herrmann

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Formalizing Collaboration Goal Sequences for Service Choreography.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition.

[BibT_eX]

[DOI]

Judith E. Y. Rossebø

Proceedings of the The First International Conference on Availability, 2006

2005

Using UML 2.0 Collaborations for Compositional Service Specification.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Service Discovery and Component Reuse with Semantic Interfaces.

[BibT_eX]

[DOI]

Gregor von Bochmann

Daniel Amyot

Proceedings of the SDL 2005: Model Driven, 2005

A Compositional Approach to Service Validation.

[BibT_eX]

[DOI]

Proceedings of the SDL 2005: Model Driven, 2005

Dynamic Role Binding in a Service Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the Intelligence in Communication Systems, 2005

Model-Driven Service Engineering.

[BibT_eX]

[DOI]

Geir Melby

Proceedings of the Model-Driven Software Development, 2005

2004

Modeling Peer-to-Peer Service Goals in UML.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

ICT Convergence: Modeling Issues.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

2003

Formal Methods Research at NTNU, Department of Telematics.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Using Projections for the Detection of Anomalous Behaviors.

[BibT_eX]

[DOI]

Proceedings of the SDL 2003: System Design, 2003

Using SDL for Modeling Behavior Composition.

[BibT_eX]

[DOI]

Proceedings of the SDL 2003: System Design, 2003

2001

Using UML for Implementation Design of SDL Systems.

[BibT_eX]

[DOI]

Ulrik Johansen

Proceedings of the SDL 2001: Meeting UML, 2001

2000

Towards Dynamic Composition of Hybrid Communication Services.

[BibT_eX]

[DOI]

Proceedings of the Telecommunication Network Intelligence, 2000

1999

Using Roles with Types and Objects for Service Development.

[BibT_eX]

[DOI]

Proceedings of the Intelligence in Networks, 1999

Towards a Plug and Play Architecture for Telecommunications.

[BibT_eX]

[DOI]

Proceedings of the Intelligence in Networks, 1999

1996

SDL Basics.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1996

1993

Engineering real time systems - an object-oriented methodology using SDL (2. pr.).

[BibT_eX]