Sciweavers

833 search results - page 33 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
LREC
2008
88views Education» more  LREC 2008»
13 years 9 months ago
KYOTO: a System for Mining, Structuring and Distributing Knowledge across Languages and Cultures
We outline work to be carried out within the framework of an impending EC project. The goal is to construct a language-independent information system for a specific domain (environ...
Piek Vossen, Eneko Agirre, Nicoletta Calzolari, Ch...
ICAS
2008
IEEE
181views Robotics» more  ICAS 2008»
14 years 2 months ago
Modeling User Interfaces to Workflow Information Systems
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
Josefina Guerrero García, Jean Vanderdonckt...
ECOWS
2008
Springer
13 years 9 months ago
Beyond Soundness: On the Semantic Consistency of Executable Process Models
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
Ingo Weber, Jörg Hoffmann, Jan Mendling
RULEML
2010
Springer
13 years 6 months ago
Transformation of SBVR Compliant Business Rules to Executable FCL Rules
 The  main  source  of  changing  requirements  of  the  dynamic  business   environment  is  response  to  changes  in  regulations  and  contracts  towards  ...
Aqueo Kamada, Guido Governatori, Shazia Wasim Sadi...
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
13 years 9 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...