There are many different normative frameworks for describing service systems that take a distinct conceptual perspective. They emphasize the physical arrangement or topology, the functions or processes, the chronology of experience, the causality of value creation, the flow of information or people, or other characteristics. These frameworks are deeply embedded in service system research and de...

Relating formal re nement techniques with commercial object oriented software development methods is important to achieve enhancement of the power and exibility of these software development methods and tools We will present an automata model together with a denotational and an op erational semantics to describe the behavior of objects Based on the given semantics we de ne a set of powerful re ...

Semantic Web technologies are finally, after a few years of infancy, truly entering the business world to support the growing needs of computer aided information selection and processing. There are already quite well-defined development processes and methods in the software engineering field to handle the construction of large scale and complex enterprise systems, and to reuse knowledge in diff...