7 Search Results for "van den Heuvel, Willem-Jan"


Document
A Self-Dual Distillation of Session Types

Authors: Jules Jacobs

Published in: LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022)


Abstract
We introduce ƛ ("lambda-barrier"), a minimal extension of linear λ-calculus with concurrent communication, which adds only a single new fork construct for spawning threads. It is inspired by GV, a session-typed functional language also based on linear λ-calculus. Unlike GV, ƛ strives to be as simple as possible, and adds no new operations other than fork, no new type formers, and no explicit definition of session type duality. Instead, we use linear function function type τ₁ -∘ τ₂ for communication between threads, which is dual to τ₂ -∘ τ₁, i.e., the function type constructor is dual to itself. Nevertheless, we can encode session types as ƛ types, GV’s channel operations as ƛ terms, and show that this encoding is type-preserving. The linear type system of ƛ ensures that all programs are deadlock-free and satisfy global progress, which we prove in Coq. Because of ƛ’s minimality, these proofs are simpler than mechanized proofs of deadlock freedom for GV.

Cite as

Jules Jacobs. A Self-Dual Distillation of Session Types. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 222, pp. 23:1-23:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@InProceedings{jacobs:LIPIcs.ECOOP.2022.23,
  author =	{Jacobs, Jules},
  title =	{{A Self-Dual Distillation of Session Types}},
  booktitle =	{36th European Conference on Object-Oriented Programming (ECOOP 2022)},
  pages =	{23:1--23:22},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-225-9},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{222},
  editor =	{Ali, Karim and Vitek, Jan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.23},
  URN =		{urn:nbn:de:0030-drops-162518},
  doi =		{10.4230/LIPIcs.ECOOP.2022.23},
  annote =	{Keywords: Linear types, concurrency, lambda calculus, session types}
}
Document
09021 Abstracts Collection – Software Service Engineering

Authors: Frank Leymann, Tony Shan, Olaf Zimmermann, and Willem-Jan van den Heuvel

Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)


Abstract
From 04.01. to 07.01.2009, the Dagstuhl Seminar 09021 ``Software Service Engineering '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Frank Leymann, Tony Shan, Olaf Zimmermann, and Willem-Jan van den Heuvel. 09021 Abstracts Collection – Software Service Engineering. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{leymann_et_al:DagSemProc.09021.1,
  author =	{Leymann, Frank and Shan, Tony and Zimmermann, Olaf and van den Heuvel, Willem-Jan},
  title =	{{09021 Abstracts Collection – Software Service Engineering}},
  booktitle =	{Software Service Engineering},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9021},
  editor =	{Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.1},
  URN =		{urn:nbn:de:0030-drops-20463},
  doi =		{10.4230/DagSemProc.09021.1},
  annote =	{Keywords: Service engineering, software engineering, service-oriented computing, service-oriented analysis and design, SOA, systems engineering, Web engineering}
}
Document
Cases of Software Services Design in Practice

Authors: Susanne Patig

Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)


Abstract
During the last years, several approaches for the design of software services in service-oriented architectures (SOA) have been proposed. Often these approaches are too rough or too academic to provide guidance for real world SOA projects. Moreover, since the existing SOA design approaches are often not sufficiently validated, their successfulness in practice can be doubted. The research presented here aims at learning from successful SOA projects. Two cases of such projects are described. In the cases similarities show up that are distinct from existing SOA design approaches (mainly the purely academic ones) and, thus, point to necessary enhancements of these approaches.

Cite as

Susanne Patig. Cases of Software Services Design in Practice. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{patig:DagSemProc.09021.3,
  author =	{Patig, Susanne},
  title =	{{Cases of  Software Services Design in Practice}},
  booktitle =	{Software Service Engineering},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9021},
  editor =	{Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.3},
  URN =		{urn:nbn:de:0030-drops-20473},
  doi =		{10.4230/DagSemProc.09021.3},
  annote =	{Keywords: SOA Design Approaches, Service Design, Case Study}
}
Document
09021 Executive Summary – Software Service Engineering

Authors: Willem-Jan van den Heuvel, Olaf Zimmermann, Frank Leymann, and Tony Shan

Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)


Abstract
Service-Oriented Architecture (SOA) constitutes an important, standards-based and technology-independent distributed computing paradigm and architectural style for discovering, binding, assembling, and publishing loosely-coupled and network-available software services. With SOA-enabled applications operating in highly complex, distributed, and heterogeneous execution environments, SOA practitioners encounter the limits of traditional software engineering. In this Dagstuhl seminar, we have discussed and explored the fundamental tenets underpinning the development and maintenance of SOA systems. As a result of our discussions, we position software service engineering as an evolving and converging discipline that embraces the open world assumption. Software service engineering entails a departure from traditional software engineering disciplines such as component-based development, supplementing them with techniques and patterns tailored to service enablement, composition, and management.

Cite as

Willem-Jan van den Heuvel, Olaf Zimmermann, Frank Leymann, and Tony Shan. 09021 Executive Summary – Software Service Engineering. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{vandenheuvel_et_al:DagSemProc.09021.2,
  author =	{van den Heuvel, Willem-Jan and Zimmermann, Olaf and Leymann, Frank and Shan, Tony},
  title =	{{09021 Executive Summary – Software Service Engineering}},
  booktitle =	{Software Service Engineering},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9021},
  editor =	{Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.2},
  URN =		{urn:nbn:de:0030-drops-20412},
  doi =		{10.4230/DagSemProc.09021.2},
  annote =	{Keywords: Service engineering, software engineering, service-oriented computing, service-oriented analysis and design, SOA, systems engineering, Web engineering}
}
Document
Designing Software Services for Business Agility

Authors: Harald Wesenberg

Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)


Abstract
This presentation focuses on identifying the right services for a domain. The work is based on 10+ years of experience from StatoilHydro identifying and building services that are stable and useful for many years, even across technology shifts. By focusing on workflows with their activities, events and information usage, a set of reusable services can be identified through little effort (espescially if the workflows already exists) and built/composed from existing services. This approach is especially suitable for agile development practices, as it significantly reduces the amount of up-front analysis compared to traditional service design practices.

Cite as

Harald Wesenberg. Designing Software Services for Business Agility. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{wesenberg:DagSemProc.09021.4,
  author =	{Wesenberg, Harald},
  title =	{{Designing Software Services for Business Agility}},
  booktitle =	{Software Service Engineering},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9021},
  editor =	{Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.4},
  URN =		{urn:nbn:de:0030-drops-20445},
  doi =		{10.4230/DagSemProc.09021.4},
  annote =	{Keywords: Enterprise Architecture, SOA, Domain Driven Design, Business Architecture, Software Service}
}
Document
On Composing RESTful Services

Authors: Cesare Pautasso

Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)


Abstract
Composition is one of the central tenets of service oriented computing. This paper discusses how composition can be applied to RESTful services in order to foster their reuse. Given the specific constraints of the REST architectural style, a number of challenges for current service composition languages and technologies are identified to point out future research directions.

Cite as

Cesare Pautasso. On Composing RESTful Services. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{pautasso:DagSemProc.09021.5,
  author =	{Pautasso, Cesare},
  title =	{{On Composing RESTful Services}},
  booktitle =	{Software Service Engineering},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9021},
  editor =	{Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.5},
  URN =		{urn:nbn:de:0030-drops-20433},
  doi =		{10.4230/DagSemProc.09021.5},
  annote =	{Keywords: REST, Web Service Composition, RESTful Service Composition}
}
Document
Software Service Engineering - Architect's Dream or Developer's Nightmare?

Authors: Gregor Hohpe

Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)


Abstract
Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as composition, process modeling, protocol design, declarative programming, event-based programming, and object-document mapping. These architectural ideals can be fraught with challenges for developers who are faced with unfamiliar programming models and immature tools. This paper briefly reviews the service-oriented architecture concepts and highlights the most pressing challenges for developers. These challenges suggest several focus areas for tool builders and software service engineering researchers.

Cite as

Gregor Hohpe. Software Service Engineering - Architect's Dream or Developer's Nightmare?. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{hohpe:DagSemProc.09021.6,
  author =	{Hohpe, Gregor},
  title =	{{Software Service Engineering - Architect's Dream or Developer's Nightmare?}},
  booktitle =	{Software Service Engineering},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9021},
  editor =	{Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.6},
  URN =		{urn:nbn:de:0030-drops-20423},
  doi =		{10.4230/DagSemProc.09021.6},
  annote =	{Keywords: Event-based programming, declarative programming, object-document mapping, patterns, process modeling, protocol design, service composition, software}
}
  • Refine by Author
  • 2 Leymann, Frank
  • 2 Shan, Tony
  • 2 Zimmermann, Olaf
  • 2 van den Heuvel, Willem-Jan
  • 1 Hohpe, Gregor
  • Show More...

  • Refine by Classification
  • 1 Software and its engineering → Concurrent programming languages

  • Refine by Keyword
  • 3 SOA
  • 2 Service engineering
  • 2 Web engineering
  • 2 service-oriented analysis and design
  • 2 service-oriented computing
  • Show More...

  • Refine by Type
  • 7 document

  • Refine by Publication Year
  • 6 2009
  • 1 2022

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail