Filters








45,450 Hits in 6.7 sec

Specifying Cooperation Environment Requirements using Formal and Graphical Techniques

Marisol Sánchez-Alonso, Juan Manuel Murillo
2002 Workshop em Engenharia de Requisitos  
Using formal languages to specify system requirements guarantees the correctness of systems specifications.  ...  This graphic (and visual) technique increases users' understanding whilst lack of precisions is avoided.  ...  2) the changes in dependency policies can be easily expressed 3) usefulness in the representation of open and distributed systems where the elements configuration, the Specifying Cooperation Environment  ... 
dblp:conf/wer/Sanchez-AlonsoM02 fatcat:vowtmwliavc3vj7gzln6nvoecy

Computer-Aided Formal Specification for Concurrent Engineering Platforms [chapter]

R. Guetari, G. T. Nguyen
1996 Advanced IT Tools  
These formal techniques are intended to help users specify consistently their needs and verif>:: them.  ...  However, there is an enormous difficulty to put into use the mathematical techniques and concepts.  ...  The graphic formalism of CAST IS close to the ARGONAUTE environment, dedicated to the ARGOS language (Maraninchi 1992 ; Jourdan 1994) .  ... 
doi:10.1007/978-0-387-34979-4_25 fatcat:nmioqp6i6baxrd5kwlxjya4nvm

The CIP method

Hugo Fierz
1999 Software engineering notes  
This problem is solved by means of techniques and tools adapted to the technology of the interface devices.  ...  The problem of constructing an embedded system is decomposed into a functional and a connection problem. The functional problem is solved by constructing a formal reactive behavioural model.  ...  The functional behaviour of a CIP system is specified by an operational model of cooperating extended state machines. 'Operational' means that the model is formally executable [4] .  ... 
doi:10.1145/318774.319255 fatcat:y7r7lsq5tfgy7bkb7ddykib6te

The CIP Method: Component- and Model-Based Construction of Embedded Systems [chapter]

Hugo Fierz
1999 Lecture Notes in Computer Science  
This problem is solved by means of techniques and tools adapted to the technology of the interface devices.  ...  The problem of constructing an embedded system is decomposed into a functional and a connection problem. The functional problem is solved by constructing a formal reactive behavioural model.  ...  Thanks also to Hansruedi Müller for his excellent work on the CIP Tool and to Hans Otto Trutmann for his constructive ideas based on real project experiences.  ... 
doi:10.1007/3-540-48166-4_23 fatcat:bkmabyskzfh43m4a2imzta5w5i

COFRE: Environment for Specifying Coordination Requirements using Formal, and Graphical Techniques

Marisol Sánchez-Alonso, Juan Manuel Murillo, Juan Hernández
2004 Journal of research and practice in information technology  
An example of such methodology is presented in this paper providing a graphic technique, a method of generating formal interpretable specifications for the reproduction of coordinated environments and  ...  The method is based on the use of the formal language Maude (as a simulation tool) and Coordinated Roles as a coordination model.  ...  COFRE (Coordination Formal Requirements Environment), is a set of tools offering all the above features, and provides a methodology to make the system specification easy based on formal and graphical techniques  ... 
dblp:journals/acj/Sanchez-AlonsoMH04 fatcat:r2zutlwdgffgtf2nb5i6xnikkm

Graphical formalisms for modelling critical infrastructures [chapter]

A. Bondavalli, P. Lollini, L. Montecchi
2012 Critical Infrastructure Security  
The second part of the chapter investigates how a subset of the identifi ed requirements are actually met adopting a specifi c graphical modelling formalism, the Stochastic Activity Networks formalism,  ...  This chapter focuses on the usage of graphical formalisms for modelling and simulation of CIs.  ...  Acknowledgements The authors acknowledge the support given by the European Commission to the research projects CRUTIAL and HIDENETS.  ... 
doi:10.2495/978-1-84564-562-5/04 fatcat:xq7yos2yzretznjx2mwnkuj3pm

Using Petri Nets to specify collaborative three dimensional interaction

Rafael Rieder, Marcio S. Pinho, Alberto B. Raposo
2009 2009 13th International Conference on Computer Supported Cooperative Work in Design  
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, Interaction Technique  ...  The user operations in the Virtual Environment are represented as Petri Net nodes and these nodes, when linked, represent the interaction process stages.  ...  Acknowledgements This work was partially funded by Tecgraf, Computer Graphics Technology Group, at PUC-Rio.  ... 
doi:10.1109/cscwd.2009.4968101 dblp:conf/cscwd/RiederPR09 fatcat:4kommtikybggjitifw3rmrr2ju

INCOME/STAR: Facing the Challenges for Cooperative Information System Development Environments [chapter]

Andreas Oberweis, Wolffried Stucky, Gabriele Zimmermann
1996 Distributed Information Systems in Business  
This paper surveys some innovative features of INCOME/STAR, an experimental environment for cooperative development of information systems.  ...  Distributed multi-user simulation and prototyping are proposed for the evaluation and analysis of NR/T-nets and the involved object schemata.  ...  Conversations are represented by conversation diagrams, a semi-formal graphical language which allows to specify communication processes in an easy and intuitive way (cf.  ... 
doi:10.1007/978-3-642-80216-4_2 fatcat:drff4d2a7bfell5j2yefa7dv7u

Using Service Orientation to Drive Business Processes

Arsalan Minhas, Friedrich H. Vogt
2005 2005 Pakistan Section Multitopic Conference  
This contribution proposes an approach that is necessary to model cross enterprise business processes using Service Oriented Modeling and its realization by leveraging standard Web Services protocols.  ...  It stresses the need for validation of produced models at every step of development which is essential to reduce the mistakes at early stages and raise the level of confidence.  ...  The use of graphical cooperation models also allows verifying that all actual data and information flows are depicted.  ... 
doi:10.1109/inmic.2005.334411 fatcat:dyy7dpbhkrbotgsp42d7a2bxam

Formal Specification and Verification of Autonomous Robotic Systems: A Survey [article]

Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon, Michael Fisher
2019 arXiv   pre-print
Specially, it identifies and categorises the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verification of autonomous robotics.  ...  Though commonly used, testing and simulation alone are insufficient to ensure the correctness of, or provide sufficient evidence for the certification of, autonomous robotics.  ...  Formal techniques can be used to provide trust and certification evidence, but it is clear that current techniques are insufficient.  ... 
arXiv:1807.00048v3 fatcat:ssc63easujgijisrznyzwo7ieq

The Cooperate Assistive Teamwork Environment for Software Description Languages

Henning Groenda, Stephan Seifermann, Karin Müller, Gerhard Jaworek
2015 Studies in Health Technology and Informatics  
This paper presents requirements for an accessible and language-aware team work environment as well as our plan for the assistive implementation of Cooperate.  ...  They often use graphical notations and leverage visual memory for expressing complex relations.  ...  Acknowledgments This work is funded by the German Federal Ministry of Labour and Social Affairs under grant 01KM141108.  ... 
pmid:26294461 fatcat:yvjza4hsvzcpbdnui6qm5np3j4

Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties [chapter]

Fabio Paternò, Carmen Santoro
2001 Lecture Notes in Computer Science  
In this paper we present a method that aims to integrate the use of formal techniques in the design process of interactive applications, with particular attention to those applications where both usability  ...  and safety are main concerns.  ...  We gratefully acknowledge support from the European Commission for the MEFISTO Esprit LTR Project (http://giove.cnuce.cnr.it/mefisto.html) and our colleagues in the project for useful discussions on the  ... 
doi:10.1007/3-540-44675-3_9 fatcat:f5f7hf7utbfv3digax5xj36q2i

Design and Implementation of Coordination Protocols for Distributed Cooperating Objects — A General Graph-Based Technique Applied to Corba [chapter]

Khalil Drira, Frédéric Gouëzec, Michel Diaz
1999 Formal Methods for Open Object-Based Distributed Systems  
This paper introduces a technique for the design and the implementation of coordination protocols in distributed cooperative applications using distributed objects and CORBA.  ...  .), Formal Methods for Open Object-Based Distributed Systems  ...  The technique presented in this paper, uses graphs as the basic formalism for the specification of configurations.  ... 
doi:10.1007/978-0-387-35562-7_8 fatcat:ri6qensq7jathbe5zcjch6qzbi

A Petri Nets based Approach to Specify Individual and Collaborative Interaction in 3D Virtual Environments

Alberto B. Raposo, Márcio S. Pinho, Rafael Rieder
2011 Journal of universal computer science (Online)  
interaction blocks in new virtual environment projects.  ...  The presented methodology integrates three modeling approaches: Petri Nets, a collaborative manipulation model based on the combination of single user interaction techniques taxonomy, and object-oriented  ...  Acknowledgements This work was partially funded by Tecgraf, Computer Graphics Technology Group, at PUC-Rio. We are also grateful for the fellowships granted by Dell/PUCRS  ... 
doi:10.3217/jucs-017-02-0243 dblp:journals/jucs/RiederPR11 fatcat:ly3emzxzhnfbvi7tnb4ogzerq4

Formal Specification and Prototyping of CORBA Systems [chapter]

Rémi Bastide, Ousmane Sy, Philippe Palanque
1999 Lecture Notes in Computer Science  
This technique allows specifying in an abstract, concise and precise way the behavior of CORBA servers, including internal concurrency and synchronization.  ...  The high level of formality of the chosen formalism allows for mathematical analysis of behavioral specifications.  ...  The final goal of the project is to provide a fully integrated CASE tool supporting our approach of behavioral specification of distributed object systems using high-level Petri nets.  ... 
doi:10.1007/3-540-48743-3_22 fatcat:d4h7ndsjsber5g2ejjyt3xguom
« Previous Showing results 1 — 15 out of 45,450 results