Sciweavers

3294 search results - page 193 / 659
» Taxonomy of Process Modeling Languages
Sort
View
ECOWS
2007
Springer
16 years 20 days ago
Structural Matching of BPEL Processes
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...
Rik Eshuis, Paul W. P. J. Grefen
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
GPCE
2004
Springer
15 years 12 months ago
SourceWeave.NET: Cross-Language Aspect-Oriented Programming
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
Andrew Jackson, Siobhán Clarke
UML
2005
Springer
15 years 12 months ago
MoDELS 2005 Doctoral Symposium Summary
The MoDELS Doctoral Symposium brought together nine doctoral students and five mentors to spend a day discussing student research presentations. A truly international representatio...
Jeff Gray
FDL
2004
IEEE
15 years 10 months ago
GBLD: A Formal Model for Layout Description and Generation
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
I-Lun Tseng, Adam Postula