Filters








35,623 Hits in 5.8 sec

Stepwise construction and refinement of dependability models

C. Betous-Almeida, K. Kanoun
Proceedings International Conference on Dependable Systems and Networks  
This paper presents a stepwise approach for dependability modeling, based on Generalized Stochastic Petri Nets (GSPNs).  ...  This approach allows the various dependencies to be taken into account at the right level of abstraction: Functional dependency, structural dependency and those induced by non-exponential distributions  ...  Acknowledgements The authors wish to thank Mohamed Kâaniche for his helpful comments on an earlier version of this paper.  ... 
doi:10.1109/dsn.2002.1028944 dblp:conf/dsn/Betous-AlmeidaK02 fatcat:ijc6m4nrird63gaqwixif7bnuu

Kaisa Sere: In Memoriam

Luigia Petre, Elena Troubitsyna, Marina Waldén
2014 Formal Aspects of Computing  
By developing these models via refinement, one would get a correct-by-construction reuse of correct models. Kaisa Sere was a scholar who was prolific in both theoretical and applied research.  ...  The RODIN project resulted in creating a large collection of reusable modelling and refinement patterns for developing dependable systems as well as in powerful tool support to automate the development  ... 
doi:10.1007/s00165-013-0292-5 fatcat:rn6mzzm7a5fqjcursath6hifvi

SYSTEMATIC CONSTRUCTION OF i* STRATEGIC DEPENDENCY MODELS FOR SOCIO-TECHNICAL SYSTEMS

XAVIER FRANCH, GEMMA GRAU, ENRIC MAYOL, CARME QUER, CLAUDIA AYALA, CARLOS CARES, FREDY NAVARRETE, MARIELA HAYA, PERE BOTELLA
2007 International journal of software engineering and knowledge engineering  
As a result, we may say that RiSD supports the construction process of goal-and agent-oriented models whilst increasing their understanding.  ...  In this paper we present RiSD, a method for building Strategic Dependency (SD) models in the i * notation. RiSD is defined in a prescriptive way to reduce uncertainness when constructing the model.  ...  Ayala, by the Mexican Council of Science and Technology (CONACyT) and the Catalan government Generalitat de Catalunya; C. Cares, by the MECE-SUP FRO0105 Project of the Chilean government; G.  ... 
doi:10.1142/s0218194007003148 fatcat:4qd34hsh5nhmpkjjtrm3p2zihe

On Applicability of Formal Methods and Tools to Dependable Services

Fuyuki ISHIKAWA, Shinichi HONIDEN
2009 IEICE transactions on communications  
As a variety of digital services are provided through networks, more and more efforts are made to ensure dependability of software behavior implementing services.  ...  This paper also discusses applications of formal methods to dependable networked software.  ...  B Method allows for such stepwise refinement of models until executable codes are obtained (Fig. 2) .  ... 
doi:10.1587/transcom.e92.b.9 fatcat:ik4pcpfbf5a4faa3ypurvvjc6a

The UML «include» Relationship and the Functional Refinement of Use Cases

Sofia Azevedo, Ricardo J. Mac, Alexandre Braganca, Hugo Ribeiro
2010 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications  
In this paper we focus on use cases for software development and we analyze them from the perspective of detail. In that context we explore the UML (Unified Modeling Language) «include» relationship.  ...  This work allows understanding the use case modeling activity with support for refinement and provides for specific guidelines on how to conduct such activity.  ...  The work we are presenting in this paper allows refining (also in a stepwise manner) software models that shall be handled before code is handled during the software construction phase. Cherfi, et al.  ... 
doi:10.1109/seaa.2010.65 dblp:conf/euromicro/AzevedoMBR10 fatcat:tvjsmfhrxbflpl2j6pqykbneye

Stepwise-Refining Speech Separation Network via Fine-Grained Encoding in High-order Latent Domain [article]

Zengwei Yao, Wenjie Pei, Fanglin Chen, Guangming Lu, David Zhang
2021 arXiv   pre-print
In this paper, we propose the Stepwise-Refining Speech Separation Network (SRSSN), which follows a coarse-to-fine separation framework.  ...  Then the proposed SRSSN learns a new latent domain along each basis function of the existing latent domain to obtain a high-order latent domain in the refining phase, which enables our model to perform  ...  Each block consists of two paths: an intrapath used for capturing the intra-dependencies within each chunk and an inter-path for modeling the inter-dependencies among chunks.  ... 
arXiv:2110.04791v1 fatcat:5ubzx2yjvfbmfayevvtfr6zzxy

Modeling Processes and Workflows by Business Rules [chapter]

Gerhard Knolmayer, Rainer Endl, Marcel Pfahrer
2000 Lecture Notes in Computer Science  
Stepwise refinement of business rules Most methods for developing information systems provide a mechanism for stepwise refinement.  ...  In order to allow the administration of the dependencies between process and workflow models at different degrees of accuracy, the business rules have to be represented in a rule repository.  ... 
doi:10.1007/3-540-45594-9_2 fatcat:eenssvunjrfpblgoed472x4gyy

Algebraic Specification and Program Development by Stepwise Refinement [chapter]

Donald Sannella
2000 Lecture Notes in Computer Science  
Various formalizations of the concept of "refinement step" as used in the formal development of programs from algebraic specifications are presented and compared.  ...  Acknowledgements: Hardly any of the above is new, and all of it is the product of collaboration.  ...  ] , to Furio Honsell for collaboration on [HS99] , and to Andrzej, Furio and John Longley for collaboration on [HLST00] .  ... 
doi:10.1007/10720327_1 fatcat:4f3jrkqdt5ef5b74ynxi7eaixy

Fostering the Adoption of i * by Practitioners: Some Challenges and Research Directions [chapter]

Xavier Franch
2010 Intentional Perspectives on Information Systems Engineering  
For each challenge, we present the problem that is addressed, its current state of the art and some envisaged lines of research.  ...  However, the i* framework has not been transferred to practitioners at the same extent yet: industrial experiences using i* are not many and have been mainly conducted by i* experts that are part of that  ...  Refinement steps may yield to new actors and dependencies, and also to the gradual construction of the Strategic Rationale (SR) i* diagram of each actor by decomposing their main goal using means-end and  ... 
doi:10.1007/978-3-642-12544-7_10 fatcat:bm42x3mhbbcbdjwfghb6q276xe

Multi-Modeling of an Industrial Application with DFD, E-R and Object-Oriented Methods [chapter]

J. Palazzo M. de Oliveira, N. Edelweiss
1996 IFIP Advances in Information and Communication Technology  
The final model may be translated to a extended relational database system allowing the modeling tools integration and the operational database construction.  ...  In this paper two modeling methods are used for the first level: the dynamic behavior is described in terms of Data Flow Diagrams and the static data structures and resources relationships are described  ...  Time is modeled as varying in a discrete form. 5.2 Stepwise specification construction in TF-ORM When using the TF-ORM data model, a specification can be constructed stepwise, presenting different refinement  ... 
doi:10.1007/978-0-387-35065-3_45 fatcat:x65jyjtmuva4pawfihpmhldedy

A Formal Framework for Hybrid Event B

Jie Liu, Jing Liu
2014 Electronical Notes in Theoretical Computer Science  
We also show the transformer semantics of the differential events and the weakest precondition refinement approach applied to hybrid systems, both of which support our stepwise development of hybrid systems  ...  In addition, we show the proof obligations of each refinements on differential events, which supports the stepwise development of refinement.  ...  Acknowledgment We would like to thank the reviewers of this paper for their valuable comments. This work is partially supported by the projects funded by the 973 Program  ... 
doi:10.1016/j.entcs.2014.12.002 fatcat:cxrph6vianhi5c6opuatvaarl4

Toward Component-Oriented Formal Software Development: An Algebraic Approach [chapter]

Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2004 Lecture Notes in Computer Science  
by means of stepwise refinement.  ...  In this paper, we adopt a somewhat simplified view of software components and discuss how they can be conveniently modelled in a framework that provides a modular approach to formal software development  ...  Conclusions and Further Work In this paper, we have recalled how the standard and quite general view of formal software development by stepwise refinement can be refined to take into account some notion  ... 
doi:10.1007/978-3-540-24626-8_5 fatcat:qstj66wjgbhnfmbxy7aepayglq

On Information Flow Control in Event-B and Refinement

Chunyan Mu
2013 2013 International Symposium on Theoretical Aspects of Software Engineering  
This paper investigates the problem of preserving information flow security in Event-B specification models and during the process of refining an abstract specification to be more concrete.  ...  That is, the stateinvariant and state-transition predicates of the models are used to generate the Galois connection.  ...  Refinement provides a way to construct stronger invariants and add details in a way to en-rich it step by step.  ... 
doi:10.1109/tase.2013.43 dblp:conf/tase/Mu13 fatcat:ds7ln2zf3ng4hl5dcufa6yeapq

Incorporating Modules into the i* Framework [chapter]

Xavier Franch
2010 Lecture Notes in Computer Science  
One of the most important causes for this problem is the lack of modularity constructs in the language: just the concept of actor boundary allows grouping related model elements.  ...  We explore the different types of modules that may be conceived in the framework, define them in terms of an i* metamodel, and introduce different model operators that support their application.  ...  Although it is true that separation of concerns may help to structure the i* models, the proposal still does not include modules to support the basic concept of stepwise refinement.  ... 
doi:10.1007/978-3-642-13094-6_34 fatcat:gg7msx2qyrby7atkpt5tx5dgmm

Formally designing Web services for mobile team collaboration

S. Dustdar, P. Fenkam
2004 Proceedings. 30th Euromicro Conference, 2004.  
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services.  ...  Through the formal re-design of a platform for mobile team collaboration, we investigate the suitability of existing formal specification and verification techniques to web services.  ...  Our abstract web service model includes the sequence construct, the if-the-else construct, the repeat construct, and the parallel construct.  ... 
doi:10.1109/eurmic.2004.1333408 dblp:conf/euromicro/DustdarF04 fatcat:psqd3zlytncpxakgq2ckecfrzy
« Previous Showing results 1 — 15 out of 35,623 results