This paper presents a formal development of an Isabelle/HOL theory for the behavioral aspects of artifacts produced in the design of software components with the B method. We first provide a formalization of semantic objects such as labelled transition systems and notions of behavior and simulation. We define an interpretation of the B method using such concepts. We also address the issue of co...

Services are software components or systems designed to support interoperable machine or application-oriented interaction over a network. The popularity of services grows because they are easily accessible, very flexible, provide reach functionality, and can constitute more complex services. During the service selection, the user considers not only functional requirements to a service but also ...

The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand on trustworthiness. Existing modeling formalisms leave gap between highly abstract, largely structural models and executable code on the implementation level. In HATS we aim to close this gap with an object-oriented,...

This paper presents a comparison of experimental results and a fuzzy rule based system model for calculating the cutting force in the turning operation. A full bridge dynamometer was used to measure the cutting forces over the mild steel work piece and Cemented Carbide Insert tool for different combinations of cutting velocity, feed rate and depth of cut. The rake angle, approach angle and nose...

The paper describes a specification approach for knowledge-based systems (kbs) combining semiformal and formal specification techniques. The semiformal knowledge representation uses a hypermedia-based formalism which serves as a communication basis between expert and knowledge engineer. This representation is also the basis for the formalization process resulting in the formal and executable mo...

Advanced recommender systems of the third generation (3G) emphasize employment of semantically clear models of customer crossdomain profile learned using all available data sources. The paper focuses on conceptual level of ontology-based formal model of the customer profile built in actionable form. Learning of cross-domain customer profile as well as its use in recommendation scenario requires...

Using formal speciications to represent software components facilitates the determination of reusability because they more precisely characterize the functionality of the software, and the well-deened syntax makes processing amenable to automation. This paper presents an approach, based on formal methods, to the search, retrieval, and modiication of reusable software components. From a two-tier...

This paper addresses a set of methodological problems arising in the empirical validation of agent-based (AB) economics models and discusses how these are currently being tackled. These problems are generic for all those engaged in AB modelling, not just economists. The discussion is therefore of direct relevance to JASSS readers. The paper has two objectives. The first objective is the identif...

The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are still not really used in practice. This chapter presents two case studies that illustrate the value of FMB approaches for developing and evaluating component-based software. In the first study, Z (or Z) and Statecharts ar...

In this paper we present our work on the construction of composite services for distributed computing environments. In this work we take our theoretical results in formal techniques for exogenous coordination of software components and we apply these techniques to existing practical approaches to distributed systems in the area of service-oriented computing. We address major issues such as (a) ...