Sciweavers

3816 search results - page 142 / 764
» Characteristic relational patterns
Sort
View
CAISE
2010
Springer
15 years 1 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
14 years 6 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»
16 years 29 days 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
16 years 23 days 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»
16 years 18 days 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