A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Stepwise construction and refinement of dependability models
Proceedings International Conference on Dependable Systems and Networks
Preserved Fulltext
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
2014
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
International journal of software engineering and knowledge engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2009
IEICE transactions on communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Intentional Perspectives on Information Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1996
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 International Symposium on Theoretical Aspects of Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Proceedings. 30th Euromicro Conference, 2004.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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