Sciweavers

81 search results - page 6 / 17
» Formal executable semantics for conformance in the MDE frame...
Sort
View
ICESS
2005
Springer
14 years 26 days ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha
ICIW
2007
IEEE
13 years 11 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 1 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
ICWS
2007
IEEE
13 years 8 months ago
A Semantic Framework for Identifying Events in a Service Oriented Architecture
We propose a semantic framework for automatically identifying events as a step towards developing an adaptive middleware for Service Oriented Architecture (SOA). Current related r...
Karthik Gomadam, Ajith Ranabahu, Lakshmish Ramaswa...
MEDINFO
2007
134views Healthcare» more  MEDINFO 2007»
13 years 8 months ago
Framework for Clinical Data Standardization Based on Archetypes
Standardization of data is a prerequisite to achieve semantic interoperability in any domain. This is even more important in the healthcare sector where the need for exchanging he...
José Alberto Maldonado, David Moner, Diego ...