Sciweavers

433 search results - page 17 / 87
» Towards a BPMN Semantics Using UML Models
Sort
View
ICWS
2007
IEEE
15 years 6 months ago
A Semantic Web Services-based Infrastructure for Context-Adaptive Process Support
Current technologies aimed at supporting processes – whether it is a business or learning process – primarily follow a metadata- and data-centric paradigm. Whereas process met...
Stefan Dietze, Alessio Gugliotta, John Domingue
FASE
2003
Springer
15 years 10 months ago
Modelling Recursive Calls with UML State Diagrams
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
Jennifer Tenzer, Perdita Stevens
SOCA
2007
IEEE
15 years 11 months ago
Context-aware Process Support through Automatic Selection and Invocation of Semantic Web Services
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
Stefan Dietze, Alessio Gugliotta, John Domingue
HASE
1999
IEEE
15 years 9 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 8 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe