• Publications
  • Influence
Modeling and validation of service-oriented architectures: application vs. style
TLDR
We propose UML models of both the architectural style of the platform and the application scenario to validate the consistency between platform and application. Expand
  • 160
  • 13
  • PDF
Style-based modeling and refinement of service-oriented architectures
TLDR
We address the modeling of such architectures by refining business-oriented architectures, which abstract from technology aspects, into service-oriented ones, focusing on the ability of dynamic reconfiguration (binding to new services at run time) typical for SOA. Expand
  • 107
  • 8
  • PDF
Process-Oriented, Flexible Composition of Web Services with UML
TLDR
This paper discusses the Business Process Execution Language for Web Services (BPEL4WS), an existing service composition language, and proposes UML-WSC as a visual language. Expand
  • 90
  • 5
  • PDF
Process Modeling Using UML
TLDR
The Unified Modeling Language (UML)1 is a visual, object-oriented, and multipurpose modeling language. Expand
  • 50
  • 5
  • PDF
Style-based refinement of dynamic software architectures
TLDR
In this paper, we address the correct refinement of abstract architectural models into more platform-specific representations by using architectural styles formalized by graph transformation rules. Expand
  • 65
  • 3
Towards a UML Profile for Service-Oriented Architectures 1
TLDR
Application development naturally starts with functional requirements given by the business that shall be supported. Expand
  • 43
  • 2
  • PDF
Dynamic software architectures: a style based modeling and refinement technique with graph transformations
TLDR
A good architectural design allows to capture the overall complexity of large, distributed systems at a higher level of abstraction. Expand
  • 18
  • 2
Behavioral Refinement of Graph Transformation-Based Models
  • R. Heckel, S. Thöne
  • Mathematics, Computer Science
  • Electron. Notes Theor. Comput. Sci.
  • 11 April 2005
TLDR
We describe the refinement of dynamic models expressed as instances of a dynamic meta-model, formalized as a typed graph transformation system. Expand
  • 18
  • 1
  • PDF
Behavior-Preserving Refinement Relations between Dynamic Software Architectures
TLDR
We propose a notion of refinement which requires the preservation of both structure and behavior at the lower level of abstraction. Expand
  • 15
  • 1
  • PDF
Process-oriented, consistent integration of software components
TLDR
We present a process modeling language that combines UML and XML in order to support consistent, flexible, and executable processes. Expand
  • 9
  • PDF