Sciweavers

509 search results - page 7 / 102
» A Model-Driven Based Environment for Automatic Model Coordin...
Sort
View
167
Voted
JUCS
2010
130views more  JUCS 2010»
14 years 11 months ago
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
147
Voted
ICECCS
2006
IEEE
126views Hardware» more  ICECCS 2006»
15 years 10 months ago
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
Tiziana Margaria, Christian Kubczak, Marc Njoku, B...
131
Voted
TEAA
2005
Springer
116views Hardware» more  TEAA 2005»
15 years 10 months ago
MDA and Analysis of Web Applications
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...
Behzad Bordbar, Kyriakos Anastasakis
COORDINATION
2004
Springer
15 years 10 months ago
CoorSet: A Development Environment for Associatively Coordinated Components
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
Kevin Kane, James C. Browne
CAISE
2007
Springer
15 years 10 months ago
Modeling Ubiquitous Business Process Driven Applications
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
Victoria Torres, Pau Giner, Vicente Pelechano