Systematic software development using VDM
Systematic software development using VDM
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Safeware: system safety and computers
Safeware: system safety and computers
Proceedings of the 17th international conference on Software engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Checking progress with action priority: is it fair?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Formal verification of parallel programs
Communications of the ACM
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Safety critical systems: challenges and directions
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
It's About Time: Real-Time Logics Reviewed
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Second international workshop on from SofTware Requirements to Architectures (STRAW'03)
Proceedings of the 25th International Conference on Software Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Architecting Software Systems with Process Algebras
Architecting Software Systems with Process Algebras
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
Deriving tabular event-based specifications from goal-oriented requirements models
Requirements Engineering
Specifying and analyzing early requirements in Tropos
Requirements Engineering
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Goal-Oriented Requirements Animation
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Goal-Oriented Requirements Engineering, Part II
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Deriving non-zeno behavior models from goal models using ILP
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Deriving architecture specifications from KAOS specifications: a research case study
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Validation of contracts using enabledness preserving finite state abstractions
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
Synthesis of live behaviour models for fallible domains
Proceedings of the 33rd International Conference on Software Engineering
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Motivation modelling for human-service interaction
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Hi-index | 0.00 |
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operational models of the software and its environment. Event-based transition systems on the other hand are convenient formalisms for reasoning about software behaviour at the architectural level.The paper relates these two worlds by presenting a technique for translating formal specification of software operations built according to the KAOS goal-oriented method into event-based transition systems analysable by the LTSA toolset. The translation involves moving from a declarative, state-based, timed, synchronous formalism typical of requirements modelling languages to an operational, event-based, untimed, asynchronous one typical of architecture description languages. The derived model can be used for the formal analysis and animation of KAOS operation models in LTSA.The paper also provides insights into the two complementary formalisms, and shows that the use of synchronous temporal logic for requirements specification hinders a smooth transition from requirements to software architecture models.