Sciweavers

860 search results - page 22 / 172
» Describing Process Patterns with UML
Sort
View
TSE
2010
156views more  TSE 2010»
15 years 24 days ago
Discovering Services during Service-Based System Design Using UML
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...
George Spanoudakis, Andrea Zisman
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 11 days ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
MKWI
2008
117views Business» more  MKWI 2008»
15 years 3 months ago
Knowledge Acquisition from EPC Models for Extraction of Process Patterns in Engineering Domains
: This paper presents an approach for the automated extraction of process patterns from Event-driven Process Chain (EPC) models in engineering domains. The manually extraction of p...
Andreas Bögl, Maximilian Kobler, Michael Schr...
JUCS
2006
108views more  JUCS 2006»
15 years 2 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
JSS
2008
122views more  JSS 2008»
15 years 28 days ago
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
Vahid Garousi, Lionel C. Briand, Yvan Labiche