The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In the current product development, collaboration between participants claims more attention. Especially with the advance of Web Service and Semantic Web, semantic collaboration among participants over the internet is prosperously developing. In this paper, we propose a semantic paradigm to integrate customer demands and product designs by following the MDA (Model-Driven Architecture) mode. Platform...
In this paper, we analyse some existing approaches to service composition in terms of their strength, limitations and challenges. Some important concepts and principles are discussed which lead to a novel model-driven approach to attacking these challenges in the context of services engineering and Service-Oriented Computing (SOC). This approach is applied on a case study in a real world context....
This paper presents the approach of the translation from timed automata into B-method. We are modeling using a network of timed automata, extended with data types, which is the modeling language used for UPPAAL tool and convert this model into B-method system. The integration of UPPAAL and B-method gives the advantages of both tools; the UPPAAL modeling facility and the B-method usability and available...
The Dynamic Traffic Information publish platform is a core component of the ITS information service system, which focuses on the function of retrieving ITS data from background servers and delivering them to the registered client terminators. The Intelligent Transportation System data format is characterized by its diversity and the complexity, and the traditional data representation cannot fulfill...
As Web services composition arouses a growing interest, most research works address implementation and execution issues. As a consequence, many composition languages (BPEL, XLANG, WSFL, WSCI, to name a few of them) have been proposed in the past few years. However, a weakness of these languages is that they are difficult to use in early stages of development, such as specification. UML-S is an extension...
Cycle based architecture simulation environment framework dasiaMICSpsila is proposed. The framework proposes the abstracted interfaces for system components, so that a new simulation environment for a system can be built only by implementing additional components required in its architecture under Mics interface definition. Mics interface also allows to use existing simulation tools as system components...
Maintaining consistency constraints in a complicated development environment is ever an open problem, as different development tools are usually involved which in turn use various files or databases to store their data. To solve this problem, current XML technology was used to build a repository which manages all data of a development effort. XML queries were also presented to state consistency constraints...
In Object Management Group model driven architecture models are the primary artifacts during software development, which are presented at the different levels of abstraction from programming details. Class diagram is the most often used model for visual representation of static aspects of software system, but still the formal generation of class diagram from problem domain is under investigation....
Nowadays, with the wide range of data increased incredibly over the years, extracting and integrating useful data from multiple information sources still has to face significant challenges in semantically integrating heterogeneous sources to data warehouse. Within the scope of this paper, a semantically coupling of a metamodel with an ontology will be applied, describing - at high abstraction levels...
This paper describes how to use automatic reading of OCR form templates in order to develop XML documents used on a global meta-modeling inference process. Document structure analysis is employed here for semi-automatically design of data domain models.
We present the design and implementation of a Web services orchestration engine developed to support the WebContent semantic Web framework. This framework is under development in the context of the WebContent project, whose goal is to provide a scalable and robust platform for the development of semantic content management applications for diverse domains. The WebContent framework is based on a set...
Integration of distributed software systems is an important issue in enterprise computing. Assembling of loosely coupled services via XML based protocols is a frequently used technique today. To overcome the struggle between safety of a strong typed interface and flexibility of generic parameters, we present a novel approach that uses model-typed interface parameters together with the idea of model...
In Grid systems, heterogenous resources from different administrative domains are exposed via common abstraction layers and can be shared across virtual organizations. An important aspect of these systems is discoverability based on common resource description. The open grid forum (OGF) is defining GLUE, a conceptual model and reference realizations to concrete data models for describing advertisable...
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+, an extension to traditional Linear Temporal Logic that includes full first-order quantification over the data inside a trace of XML messages. The algorithm works "on-the-fly": it keeps in memory only the states that are necessary at each step...
Furniture sector in Europe involves mainly to small and medium enterprises that try to succeed day by day in a market that is becoming more and more competitive everyday. The needs of the global economy have encouraged the furniture industry sector to use secure electronic commerce services. However, typically each of these companies uses different software to design, produce and sell their final...
In this paper, we present a CASE tool supporting conceptual modeling for moving objects database applications, which is called STXER (spatio-temporal extended entity-relational model). The main purpose of STXER is to support the database design for moving objects applications on typical object-relational DBMS. The STXER tool enhances the traditional ER model with moving characteristics. It can express...
This paper describes a benchmarking workload model for business process execution language (BPEL) engines for Web services. The proposed model is based on simulation of real world traffic conditions by defining a set of requirements which best characterize the end-users. The performance characteristics are evaluated on top of collected measurements such as success/fail rate, response times or round-trip...
Automated test case generation from behavioral models like finite state machines (FSMs) and statecharts has long been studied. Environments that enable a test designer to model a real complex software and to obtain test cases to validate such a software are mandatory in an automated test approach. This paper presents an environment, GTSC, which enables test sequences to be obtained from both Statechart-based...
In this paper, we present our generic three- layered data model for context. The conceptual and physical layers built on top of a XML schema layer constitute the backbone of our approach.
SBVR is a new standard that defines a metamodel for business-layer vocabularies and rules. This paper summarizes SBVR features and argues that the SBVR enables definition of true ontologies. The paper also summarizes experience with a partial SBVR implementation in the context of an existing technique for modeling businesses and transforming the models into implementations. The work contributes to...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.