Sciweavers

3816 search results - page 142 / 764
» Characteristic relational patterns
Sort
View
CAISE
2010
Springer
13 years 3 months ago
Workflow Time Patterns for Process-Aware Information Systems
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
Andreas Lanz, Barbara Weber, Manfred Reichert
CANDC
2011
ACM
12 years 8 months ago
Perception, insight, and creativity in paradigm, a game of pattern exploration
This paper discusses Paradigm, a game of intuition and pattern exploration. We offer a sample case study aimed at illustrating the game’s relevance as a microdomain for studying...
William W. York, David C. Bender
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
14 years 2 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
IEEEARES
2007
IEEE
14 years 2 months ago
A Pattern System for Security Requirements Engineering
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
Denis Hatebur, Maritta Heisel, Holger Schmidt
DBPL
2007
Springer
83views Database» more  DBPL 2007»
14 years 2 months ago
Succinctness of Pattern-Based Schema Languages for XML
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
Wouter Gelade, Frank Neven