The industrial virtual enterprise

Hardwick, Martin; Bolton, Richard W.

doi:10.1145/260750.260770

Cited by 51 publications

(15 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Sergot [13] presents an extension of the C + language that includes direct support for specification of (a version of) the 'counts as' relation for action [8] and a treatment of permitted/forbidden states, actions and paths (in the spirit of [18]). We are currently formalising our framework using extended C + in order to directly use laws of the form (5) and not approximate them with laws of the form (6). Furthermore, we are investigating ways of improving the computation of CCALC rules resulting from the society specification shown.…”

Section: Summary and Current Workmentioning

confidence: 99%

“…Negotiation protocols [2,11] and Virtual Enterprises [6] are two examples of application domains where software agents form computational societies in order to achieve their possibly competing goals. Key characteristics of such societies are agent heterogeneity, unpredictable behaviour [7], conflicting individual goals, limited trust and a high probability of non-conformance to specifications.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Specifying Electronic Societies with the Causal Calculator

Artikis

Sergot

Pitt

2003

Agent-Oriented Software Engineering III

View full text Add to dashboard Cite

Abstract. In previous work [1] we presented a framework for the specification of open computational societies i.e. societies where the behaviour of the members and their interactions cannot be predicted in advance. We viewed computational systems from an external perspective, with a focus on the institutional and the social aspects of these systems. The social constraints and roles of the open societies were specified with the use of the Event Calculus. In this paper, we formalise our framework with the use of the C + language, a formalism with explicit state transition semantics. We use the implementation of the C + language, the Causal Calculator, a software tool for representing commonsense knowledge about action and change, to animate and validate the specifications of computational societies. We demonstrate the utility of the Causal Calculator (by specifying and executing a Contract-Net Protocol) and comment on its functionality regarding the specification of computational societies.

show abstract

Section: Summary and Current Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Specifying Electronic Societies with the Causal Calculator

Artikis

Sergot

Pitt

2003

Agent-Oriented Software Engineering III

View full text Add to dashboard Cite

show abstract

“…In this context, the concept of Virtual Enterprise [4] with its sharing of data, costs, skills, and technology allows this new kind of enterprise to put products in the market that they could not previously deliver individually. The European Society of Concurrent Engineering [5] defines a Virtual Enterprise as a "distributed, temporary alliance of independent, co-operating companies in the design and manufacturing of products and services.…”

Section: Extended and Virtual Enterprisementioning

confidence: 99%

Product data quality and collaborative engineering

Contero

Company

Vila

et al. 2002

IEEE Comput. Grap. Appl.

View full text Add to dashboard Cite

In this paper, the impact of product data quality in the implementation of collaborative engineering in an extended enterprise framework is analyzed. Previously, some definitions about collaborative and concurrent engineering and present concepts like extended and/or virtual enterprise, digital mock-up, virtual prototype and virtual factory are reviewed.The product data model as a key element for the product development process is analyzed. The different views of this model are placed according to the fields where they apply. The importance of product model quality in the current status of data exchange standards is highlighted, with particular attention to ISO 10303 (STEP) new developments. Current state-of-art on data quality models, and product data quality recommendations such as VDA 4955/2 and SASIG PDQ, are also revised. Finally, our own product data quality model is presented. This comprises three points of view or levels: morphological, syntactic and semantic. Hence, it provides a tool for a better understanding of product data quality that helps find solutions that avoid the interoperability problem. Throughout the paper, references to the automotive industry will be used to illustrate concepts. Front-page photo:The left image represents an automotive radiator model simplified for FEM analysis. The central image shows the mesh model, and the right image represents modal analysis results

show abstract

“…The members of such systems are assumed to be autonomous, reflecting the independence of their users, and heterogeneous, reflecting the independence of their designers [83]. A few examples of this type of MAS are electronic marketplaces [80], virtual enterprises [46], virtual organisations [35], and digital media rights management applications [8].…”

Section: Introductionmentioning

confidence: 99%

Dynamic specification of open agent systems

Artikis

2011

Journal of Logic and Computation

View full text Add to dashboard Cite

Multi-Agent Systems (MAS) where the agents are developed by different parties and serve different interests, are often classified as 'open'. The specification of open MAS is largely seen as a design-time activity. Moreover, there is no support for run-time specification modification. Due to environmental, social, or other conditions, however, it is often required to revise the MAS specification during its execution. To address this requirement, we present an infrastructure for 'dynamic' open MAS specifications, that is, specifications that may be modified at run-time by the agents. We adopt a bird's eye view of an open MAS, as opposed to an agent's own perspective whereby it reasons about how it should act. The infrastructure consists of well-defined procedures for proposing a modification of the 'rules of the game', as well as decisionmaking over and enactment of proposed modifications. We evaluate proposals for rule modification by modelling a dynamic specification as a metric space, and by considering the effects of accepting a proposal on system utility. Furthermore, we constrain the enactment of proposals that do not meet the evaluation criteria. We employ the action language C + to formalise dynamic specifications, and the 'Causal Calculator' implementation of C + to execute the specifications. We illustrate our infrastructure by presenting a dynamic specification of a resource-sharing protocol.

show abstract

The industrial virtual enterprise

Cited by 51 publications

References 1 publication

Specifying Electronic Societies with the Causal Calculator

Specifying Electronic Societies with the Causal Calculator

Product data quality and collaborative engineering

Dynamic specification of open agent systems

Contact Info

Product

Resources

About