Sciweavers

93 search results - page 4 / 19
» Context Dependency Management in Ontology Engineering: A For...
Sort
View
COORDINATION
2009
Springer
13 years 5 months ago
Automata for Context-Dependent Connectors
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
Marcello M. Bonsangue, Dave Clarke, Alexandra Silv...
ISEMANTICS
2010
13 years 6 months ago
Towards an approach for formalizing the supply chain operations
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
Milan Zdravkovic, Hervé Panetto, Miroslav T...
SEKE
2005
Springer
14 years 1 months ago
Using Ontologies to Add Semantics to a Software Engineering Environment
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
Ricardo de Almeida Falbo, Fabiano Borges Ruy, Rodr...
CAISE
2007
Springer
13 years 11 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
13 years 5 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink