In this paper, techniques are proposed for limiting state explosion in the context of resource allocation problems. It is shown that given any system organized into a—possibly irregular—network of n—possibly hetero...
详细信息
the Object Management Group (OMG) is in the process of defining a UML Profile for Schedulability, Performance and Time that will enable the construction of models for making quantitative predictions regarding these ch...
详细信息
this paper describes DrawNET++, a prototype version of a model design framework based on the definition of model objects. DrawNET++ provides a graphical front-end to existing performance tools and a practical mean to ...
详细信息
As new standards for technology specifications related to XML are unveiled, and stable tools to implement them become available, the widespread usage of XML as a universal format for data exchange between heterogeneou...
详细信息
As new standards for technology specifications related to XML are unveiled, and stable tools to implement them become available, the widespread usage of XML as a universal format for data exchange between heterogeneous systems (using the Internet), will increasingly become a reality. therefore, in order to deal efficiently withthe large amounts of XML data that will be generated in the near future it is imperative to find efficient alternatives for the storage and management of this special kind of data. For that matter, object-oriented databases seem to be a good alternative. We begin with an analysis of the different alternatives available to store and manage XML data. After that, we concentrate our attention on the object-oriented (OO) database approach and, in that context, we present a first set of rules that allow the translation from a simple database schema specified in ODL (Object Definition Language) into a schema specified in XML-SCHEMA. In the near future we intend not only to expand this set with new rules that will handle other, more complex, OO modeling constructs, but also to create another set of transformation rules to work the other way round (i.e. from XML-SCHEMA to ODL). Our aim is to cover all the possible modeling situations one may come across in OO database schemas specified in ODL.
the proceedings contain 36 papers. the topics discussed include: viewpoint-oriented software development: tool support for integrating multiple perspectives by distributed graph transformation;consistent integration o...
ISBN:
(纸本)3540672826
the proceedings contain 36 papers. the topics discussed include: viewpoint-oriented software development: tool support for integrating multiple perspectives by distributed graph transformation;consistent integration of formal methods;on memory-block traversal problems in model-checking timed systems;symbolic model checking for rectangular hybrid systems;efficient data structure for fully symbolic verification of real-time software systems;verification of parameterized systems using logic program transformations;abstracting WS1S systems to verify parameterized networks;FMona: A tool for expressing validation techniques over infinite state systems;compositional state space generation with partial order reductions for asynchronous communicating systems;Salsa: combining constraint solvers with BDDs for automatic invariant checking;and symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation.
the requirements that the electronic documents should fulfil to replace those written on paper are, in first place, the authentication, the integrity and the confidentiality. But, as shown withthree examples, other f...
详细信息
ISBN:
(纸本)0769512305
the requirements that the electronic documents should fulfil to replace those written on paper are, in first place, the authentication, the integrity and the confidentiality. But, as shown withthree examples, other factors should be considered. Firstly, we have the registration acts, in which the literal text of the document should be filed in a trustworthy manner during a long period of time. Secondly, we have the time stamping which, in our example, is undertaken at the same time as the signatory sings the document. And lastly, we should consider the possibility of emulating the possession mechanism, in an effort to conserve the advantages so that the autonomy of the persons supposes the power to execute transactions through a simple exchange of a title on paper.
the proceedings contain 36 papers. the special focus in this conference is on Software, Formal Methods tools, Hybrid systems, Parameterized systems and Efficient Model-Checking. the topics include: On the construction...
ISBN:
(纸本)3540672826
the proceedings contain 36 papers. the special focus in this conference is on Software, Formal Methods tools, Hybrid systems, Parameterized systems and Efficient Model-Checking. the topics include: On the construction of automata from linear arithmetic constraints;an extensible type system for component-based design;viewpoint-oriented software development;tool support for integrating multiple perspectives by distributed graph transformation;an architecture for interactive program provers;on memory-block traversal problems in model-checking timed systems;symbolic model checking for rectangular hybrid systems;efficient data structure for fully symbolic verification of real-time software systems;verification of parameterized systems using logic program transformations;abstracting ws1s systems to verify parameterized networks;a tool for expressing validation techniques over infinite state systems;transitive closures of regular relations for verifying infinite-state systems;using static analysis to improve automatic test generation;efficient diagnostic generation for Boolean equation systems;compositional state space generation with partial order reductions for asynchronous communicating systems;checking for CFFD-preorder with tester processes;integrating low level symmetries into reachability analysis;model checking support for the ASM high-level language;combining constraint solvers with BDDS for automatic invariant checking;symbolic reachability analysis based on sat-solvers;symbolic representation of upward-closed sets;an experimental evaluation for asynchronous concurrent systems and tool-based specification of visual languages and graphic editors.
E-collaboration and collaborative systems bring geographically dispersed teams together, supporting communication, coordination and cooperation. In this paper we review forty-four products and research prototypes that...
详细信息
ISBN:
(纸本)0769512305
E-collaboration and collaborative systems bring geographically dispersed teams together, supporting communication, coordination and cooperation. In this paper we review forty-four products and research prototypes that offer collaborative services. the findings of our survey provide a list of the basic collaboration services, such as non real-time discussions, email, whiteboard, real-time discussions, screen sharing, file & document sharing and document management, and the examined products are presented with regards to, those services. In sequence, they are classified to five functional categories, also defined taking into account the analysed features. In conclusion, important issues, of collaborative computing are touched upon, and areas, for improvement are identified.
We shortly motivate the idea of possible IT support business-process oriented knowledge management (BPOKM) and sketch some basic approaches to achieve this goal. then we describe the DECOR (Delivery of context-sensiti...
详细信息
ISBN:
(纸本)0769512305
We shortly motivate the idea of possible IT support business-process oriented knowledge management (BPOKM) and sketch some basic approaches to achieve this goal. then we describe the DECOR (Delivery of context-sensitive organisational knowledge) project, which develops, tests, and consolidates methods and tools for BPOKM. In the DECOR project, three end-user environments serve as test-beds for validation and iterative improvement of innovative approaches to build: (i) knowledge archives organised around formal representations of business processes to facilitate navigation and access, (ii) active information delivery services which offer the user in a context-sensitive manner helpful information from the knowledge archive, and (iii) methods for an organisation analysis from the knowledge perspective, required as, supporting methods to design and introduce the former two systems Finally we present the basic modules of the DECOR toolkit.
暂无评论